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:
- An extensible, lightweight relational/logic programming DSL written in pure Python☆217Updated this week
- ☆71Updated 4 years ago
- Python CFFI bindings for the 'C' Language Integrated Production System CLIPS☆193Updated 5 months ago
- pylog: an implementation of Prolog features in Python☆36Updated 8 months ago
- Logic Programming in Python☆918Updated 5 years ago
- PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.☆521Updated 2 months ago
- Python Knowledge Engine☆124Updated 8 years ago
- ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.☆364Updated last month
- Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.☆86Updated 3 years ago
- Logic Programming in Python☆31Updated 3 years ago
- Python library that enables using prolog syntax and logic programming in python☆126Updated 2 years ago
- Parser for Attempto Controlled English (ACE)☆202Updated last year
- RTEC is an Event Calculus implementation optimised for stream reasoning☆98Updated 2 months ago
- Formal Concept Analysis with Python☆116Updated 2 months ago
- Straightforward unification in Python that's extensible via generic functions.☆49Updated 11 months ago
- Micro Graph Database for Python Applications☆315Updated 2 weeks ago
- Python RETE algorithm☆64Updated 11 months ago
- Metagol - an inductive logic programming system☆204Updated 3 years ago
- Python interface for SWI-Prolog☆49Updated 2 weeks 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
- Resolution theorem proving for predicate logic in pure Python.☆96Updated last year
- Logtalk - declarative object-oriented logic programming language☆460Updated this week
- Grammars suitable for lark parser and Hypothesis☆50Updated last year
- RDFLib store using SQLAlchemy dbapi as back-end☆156Updated 2 months ago
- The ErgoAI reasoning engine, an advanced object-oriented knowledge management system☆41Updated 5 months ago
- PyCLIPS - a Python module to integrate CLIPS into Python☆37Updated 8 years ago
- RedisGraph python client☆190Updated 2 years ago
- OWL2 library for Prolog☆112Updated 6 years ago
- ☆57Updated 2 years ago
- Racer is a knowledge representation system that implements a highly optimized tableau calculus for the description logic SRIQ(D).☆112Updated 6 years ago