pcarbonn / pyDatalogLinks
a datalog implementation in Python
☆300Updated last year
Alternatives and similar repositories for pyDatalog
Users that are interested in pyDatalog are comparing it to the libraries listed below
Sorting:
- An extensible, lightweight relational/logic programming DSL written in pure Python☆221Updated last month
- ☆72Updated 4 years ago
- Logic Programming in Python☆919Updated 6 years ago
- pylog: an implementation of Prolog features in Python☆36Updated 9 months ago
- Python Knowledge Engine☆125Updated 8 years ago
- Python CFFI bindings for the 'C' Language Integrated Production System CLIPS☆195Updated 6 months ago
- PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.☆526Updated 3 months ago
- ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.☆374Updated last week
- Metagol - an inductive logic programming system☆205Updated 4 years ago
- Straightforward unification in Python that's extensible via generic functions.☆50Updated last month
- Python RETE algorithm☆64Updated last year
- Parser for Attempto Controlled English (ACE)☆204Updated last year
- Logic Programming in Python☆31Updated 4 years ago
- Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.☆86Updated 3 years ago
- Python library that enables using prolog syntax and logic programming in python☆127Updated 2 years ago
- Python interface for SWI-Prolog☆49Updated last week
- Logtalk - declarative object-oriented logic programming language☆467Updated last week
- A simple Prolog Interpreter written in a few lines of Python 3. It runs a limited subset of Prolog and uses backtracking and generators i…☆252Updated last year
- Chimezie Ogbuji's FuXi reasoner. NON-FUNCTIONING, RETAINED FOR ARCHIVAL PURPOSES. For working code plus version and associated support re…☆51Updated 8 years ago
- Micro Graph Database for Python Applications☆321Updated last month
- Resolution theorem proving for predicate logic in pure Python.☆97Updated last year
- Formal Concept Analysis with Python☆117Updated this week
- RTEC is an Event Calculus implementation optimised for stream reasoning☆99Updated 3 months ago
- Tool for building graph-based hierarchical knowledge representation systems☆85Updated 2 years ago
- Python pattern matching like functional languages.☆160Updated 4 years ago
- Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.☆251Updated this week
- The ErgoAI reasoning engine, an advanced object-oriented knowledge management system☆42Updated 6 months ago
- 竜 TatSu generates Python parsers from grammars in a variation of EBNF☆430Updated last week
- Grammars suitable for lark parser and Hypothesis☆51Updated last year
- A pure Python LR/GLR parser - http://www.igordejanovic.net/parglare/☆144Updated last year