Alternatives and similar repositories for scallop:

Users that are interested in scallop are comparing it to the libraries listed below

• ML-KULeuven / problog
  ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.
  ☆323Updated 2 months ago
• logic-and-learning-lab / Popper
  An inductive logic programming system
  ☆212Updated 2 weeks ago
• ML-KULeuven / deepproblog
  DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…
  ☆207Updated 5 months ago
• mlb2251 / stitch
  A scalable abstraction learning library
  ☆75Updated last year
• scallop-lang / scallop-old
  [Archived] A scalable differentiable probabilistic Datalog engine, with Rust
  ☆72Updated 3 years ago
• SWI-Prolog / packages-swipy
  Python interface for SWI-Prolog
  ☆44Updated last week
• GustikS / NeuraLogic
  Deep relational learning through differentiable logic programming.
  ☆101Updated 5 months ago
• lab-v2 / pyreason
  An explainable inference software supporting annotated, real valued, graph based and temporal logic
  ☆197Updated 3 weeks ago
• kavigupta / neurosym-lib
  Neurosymbolic Library
  ☆21Updated this week
• asolarlez / sketch-frontend
  ☆34Updated 3 months ago
• stassa / louise
  Polynomial-time Meta-Interpretive Learning
  ☆118Updated 3 weeks ago
• asolarlez / sketch-backend
  ☆39Updated 3 months ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆63Updated 6 months ago
• ML-KULeuven / deepstochlog
  ☆26Updated 11 months ago
• ilaspltd / ILASP-releases
  ☆37Updated 2 months ago
• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆155Updated 2 months ago
• metagol / metagol
  Metagol - an inductive logic programming system
  ☆201Updated 3 years ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆73Updated 2 months ago
• ChuyueSun / Clover
  Clover: Closed-Loop Verifiable Code Generation
  ☆29Updated 7 months ago
• google-research / crossbeam
  ☆43Updated last year
• logic-and-learning-lab / ilp-experiments
  Experimentation framework for Popper
  ☆21Updated 8 months ago
• IBM / neuro-vector-symbolic-architectures
  PyTorch Implementation of the paper "A Neuro-vector-symbolic architecture for Solving Raven's Progressive Matrices" published in Nature M…
  ☆85Updated last year
• pythological / kanren
  An extensible, lightweight relational/logic programming DSL written in pure Python
  ☆193Updated last year
• ml-research / SLASH
  Scalable Neural-Probabilistic Answer Set Programming
  ☆17Updated 7 months ago
• SHoltzen / dice
  Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)
  ☆82Updated last year
• friguzzi / aleph
  Port of Aleph to SWI-Prolog
  ☆45Updated 11 months ago
• uwplse / ruler
  Rewrite Rule Inference Using Equality Saturation
  ☆121Updated 7 months ago
• egraphs-good / egglog-python
  Python bindings for the egg-smol rust library
  ☆67Updated this week
• jdnklau / fm-ml
  Collection of resources for research concerning Machine Learning and Formal Methods.
  ☆79Updated 3 years ago
• nathanael-fijalkow / DeepSynth
  General-purpose program synthesiser
  ☆37Updated 2 months ago