Deep relational learning through differentiable logic programming.
☆113Aug 9, 2025Updated 6 months ago
Alternatives and similar repositories for NeuraLogic
Users that are interested in NeuraLogic are comparing it to the libraries listed below
Sorting:
- PyNeuraLogic lets you use Python to create Differentiable Logic Programs☆304Jan 22, 2026Updated last month
- ☆10May 24, 2021Updated 4 years ago
- Save, track and query 3D+time locations of objects in the AtomSpace☆16Apr 3, 2025Updated 11 months ago
- Java-based lightweight Prolog virtual machine☆37Jul 3, 2024Updated last year
- MOSES Machine Learning: Meta-Optimizing Semantic Evolutionary Search for the AtomSpace (https://github.com/opencog/atomspace)☆46Dec 10, 2025Updated 2 months ago
- PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.☆148Oct 2, 2024Updated last year
- Deep Learning and Logical Reasoning from Data and Knowledge☆344Nov 13, 2024Updated last year
- Port of SwiftyKanren to Kotlin☆18Feb 8, 2021Updated 5 years ago
- DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…☆301Aug 9, 2024Updated last year
- Generate networks from syntax (e.g. natural language, math proofs, action plans, biome/reactome nets)☆32Dec 9, 2025Updated 2 months ago
- Copies of prolog solvers for use from python☆19Jul 8, 2024Updated last year
- Base Forward Chaining Knowledge Base Maintenance System☆19Oct 2, 2021Updated 4 years ago
- Probabilistic programming system for fast and exact symbolic inference☆86Jul 10, 2024Updated last year
- A Hyperon MeTTa Interpreter/Transpilier that targets the Warren Abstract Machine☆23Mar 1, 2026Updated last week
- Framework and Language for Neurosymbolic Programming.☆455May 1, 2025Updated 10 months ago
- RockIt: A query engine for Markov logic☆11May 24, 2016Updated 9 years ago
- Functional composable pipelines allowing clean separation of the business logic and its implementation☆11Sep 6, 2025Updated 6 months ago
- PyTorch Explain: Interpretable Deep Learning in Python.☆171May 16, 2024Updated last year
- Reasonable Python is a module which adds F-Logic to Python☆26Jul 5, 2011Updated 14 years ago
- A CLOS implementation of an in memory hypergraph database and semantic networks.☆11Feb 16, 2021Updated 5 years ago
- cfid: R package for identifying counterfactuals.☆11Dec 11, 2025Updated 2 months ago
- crowd-defunding☆10Feb 3, 2026Updated last month
- ☆10Oct 15, 2016Updated 9 years ago
- First-order knowledge compilation for lifted probabilistic inference☆11Jun 14, 2017Updated 8 years ago
- NeuralTokenizer is a very simple to use text tokenizer which uses neural networks from the SimpleDNN library.☆10Jun 18, 2020Updated 5 years ago
- Difflog: Synthesizing Datalog Programs using Numerical Relaxation☆12Sep 26, 2019Updated 6 years ago
- ☆10Aug 25, 2020Updated 5 years ago
- 🗿 SAT solver wrappers for Kotlin☆11Mar 2, 2024Updated 2 years ago
- 🕸️ A visualizer for graphs defined as logic programs☆31Oct 12, 2024Updated last year
- Port of Aleph to SWI-Prolog☆52Feb 7, 2024Updated 2 years ago
- Lernd is ∂ILP (dILP) framework implementation based on Deepmind's paper Learning Explanatory Rules from Noisy Data.☆27Mar 25, 2023Updated 2 years ago
- A library enabling DAG structuring of data processing programs such as ETLs☆17Dec 13, 2025Updated 2 months ago
- The Swift Programming Language☆13Aug 4, 2021Updated 4 years ago
- Category theory in Coq, by Jason Gross☆16Jan 29, 2015Updated 11 years ago
- Artifact for paper "Chronosymbolic: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning" in Python☆11Aug 4, 2024Updated last year
- ☆13Dec 31, 2023Updated 2 years ago
- Graphs and grammars for Context-Free Path Querying algorithms evaluation.☆10Sep 11, 2024Updated last year
- Wave Partial Differential Equation Solver in Python☆14Jun 5, 2024Updated last year
- ☆14Sep 22, 2022Updated 3 years ago