pcarbonn / pyDatalogLinks
a datalog implementation in Python
☆297Updated 11 months ago
Alternatives and similar repositories for pyDatalog
Users that are interested in pyDatalog are comparing it to the libraries listed below
Sorting:
- ☆71Updated 4 years ago
- An extensible, lightweight relational/logic programming DSL written in pure Python☆216Updated last month
- Python CFFI bindings for the 'C' Language Integrated Production System CLIPS☆191Updated 4 months ago
- Python Knowledge Engine☆124Updated 8 years ago
- Micro Graph Database for Python Applications☆315Updated 2 months ago
- PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.☆518Updated last month
- Python RETE algorithm☆64Updated 10 months ago
- pylog: an implementation of Prolog features in Python☆36Updated 7 months ago
- Straightforward unification in Python that's extensible via generic functions.☆49Updated 11 months ago
- Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.☆85Updated 3 years ago
- Logic Programming in Python☆31Updated 3 years ago
- Chimezie Ogbuji's FuXi reasoner. NON-FUNCTIONING, RETAINED FOR ARCHIVAL PURPOSES. For working code plus version and associated support re…☆50Updated 8 years ago
- Parser for Attempto Controlled English (ACE)☆198Updated last year
- Python library that enables using prolog syntax and logic programming in python☆126Updated 2 years ago
- Metagol - an inductive logic programming system☆203Updated 3 years ago
- Python interface for SWI-Prolog☆49Updated this week
- Resolution theorem proving for predicate logic in pure Python.☆96Updated last year
- ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.☆360Updated 2 weeks ago
- RDFLib store using SQLAlchemy dbapi as back-end☆155Updated last month
- OWL2 library for Prolog☆111Updated 5 years ago
- 竜 TatSu generates Python parsers from grammars in a variation of EBNF☆427Updated last month
- Logtalk - declarative object-oriented logic programming language☆458Updated this week
- Formal Concept Analysis with Python☆116Updated last month
- A python lens library for manipulating deeply nested immutable structures☆324Updated last year
- ☆58Updated 8 years ago
- RedisGraph python client☆190Updated 2 years ago
- RTEC is an Event Calculus implementation optimised for stream reasoning☆97Updated last month
- metaprogramming for don't-repeat-yourself Python☆25Updated 6 years ago
- The Python client and Jupyter helper for CozoDB☆56Updated 9 months ago
- Python interpreter for TLA+ specifications☆113Updated last year