MNoorFawi / pytholog
Python library that enables using prolog syntax and logic programming in python
☆116Updated last year
Related projects ⓘ
Alternatives and complementary repositories for pytholog
- Python interface for SWI-Prolog☆42Updated this week
- pylog: an implementation of Prolog features in Python☆35Updated last month
- Resolution theorem proving for predicate logic in pure Python.☆91Updated last year
- An extensible, lightweight relational/logic programming DSL written in pure Python☆183Updated last year
- Metagol - an inductive logic programming system☆201Updated 3 years ago
- Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.☆85Updated 3 years ago
- An inductive logic programming system☆206Updated last week
- PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.☆479Updated 3 weeks ago
- ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.☆315Updated 2 weeks ago
- Logic Programming in Python☆30Updated 3 years ago
- Classical CHAT80 NLP system for Prolog☆21Updated last year
- DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…☆196Updated 3 months ago
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Updated 3 years ago
- A Jupyter Kernel for SWI-Prolog☆25Updated 6 years ago
- An explainable inference software supporting annotated, real valued, graph based and temporal logic☆181Updated this week
- cplint is a suite of programs for reasoning with probabilistic logic programs☆69Updated this week
- Deep relational learning through differentiable logic programming.☆100Updated 3 months ago
- Straightforward unification in Python that's extensible via generic functions.☆43Updated 2 months ago
- ☆72Updated 3 years ago
- Machine Query Interface☆18Updated this week
- Official repository for Semlink resources☆32Updated 2 years ago
- Modelling of multi-agent-system as Kripke structure and implementation of its knowledge-base with modal logic formulas.☆59Updated 7 years ago
- Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions☆19Updated 3 weeks ago
- Port of Aleph to SWI-Prolog☆44Updated 9 months ago
- Pedagogical first-order prover in Python☆73Updated 2 weeks ago
- top-down interpreter for ASP programs with constraints☆15Updated 2 years ago
- Qualitative Reasoning: Spatio-Temporal Reasoning using Relation Algebras and Constraint Networks. Documentation is under construction a…☆31Updated last year
- ☆55Updated last year
- Konclude: A parallel, tableau-based, high-performance reasoner for the Description Logic SROIQV(D)/the Web Ontology Language (OWL) 2 DL☆35Updated 2 years ago