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:
- ☆71Updated 4 years ago
- An extensible, lightweight relational/logic programming DSL written in pure Python☆227Updated 2 months ago
- Logic Programming in Python☆924Updated 6 years ago
- pylog: an implementation of Prolog features in Python☆36Updated 10 months ago
- PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.☆528Updated 4 months ago
- Python library that enables using prolog syntax and logic programming in python☆127Updated 2 years ago
- Python CFFI bindings for the 'C' Language Integrated Production System CLIPS☆195Updated 2 weeks ago
- Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.☆86Updated 3 years ago
- Parser for Attempto Controlled English (ACE)☆205Updated last year
- Python Knowledge Engine☆125Updated 8 years ago
- ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.☆377Updated last month
- Straightforward unification in Python that's extensible via generic functions.☆51Updated this week
- Metagol - an inductive logic programming system☆205Updated 4 years ago
- Logtalk - declarative object-oriented logic programming language☆468Updated last week
- Logic Programming in Python☆31Updated 4 years ago
- Python interface for SWI-Prolog☆49Updated 2 weeks ago
- Python interpreter for TLA+ specifications☆113Updated last year
- Resolution theorem proving for predicate logic in pure Python.☆96Updated last year
- OWL2 library for Prolog☆112Updated 6 years ago
- 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…☆253Updated last year
- Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.☆253Updated last week
- Micro Graph Database for Python Applications☆322Updated 2 weeks ago
- RTEC is an Event Calculus implementation optimised for stream reasoning☆99Updated this week
- Chimezie Ogbuji's FuXi reasoner. NON-FUNCTIONING, RETAINED FOR ARCHIVAL PURPOSES. For working code plus version and associated support re…☆51Updated 8 years ago
- RDFLib store using SQLAlchemy dbapi as back-end☆156Updated 4 months ago
- Machine Query Interface☆19Updated 2 weeks ago
- Tool for building graph-based hierarchical knowledge representation systems☆85Updated 2 years ago
- Formal Concept Analysis with Python☆117Updated last week
- The ErgoAI reasoning engine, an advanced object-oriented knowledge management system☆42Updated 7 months ago
- Recursive descent parsing library for Python based on functional combinators☆355Updated last year