pcarbonn / pyDatalog
a datalog implementation in Python
☆287Updated 6 months ago
Alternatives and similar repositories for pyDatalog:
Users that are interested in pyDatalog are comparing it to the libraries listed below
- ☆71Updated 4 years ago
- Python Knowledge Engine☆119Updated 7 years ago
- An extensible, lightweight relational/logic programming DSL written in pure Python☆201Updated 2 years ago
- Parser for Attempto Controlled English (ACE)☆196Updated 11 months ago
- Metagol - an inductive logic programming system☆200Updated 3 years ago
- Logic Programming in Python☆915Updated 5 years ago
- Straightforward unification in Python that's extensible via generic functions.☆48Updated 6 months ago
- pylog: an implementation of Prolog features in Python☆36Updated 3 months 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…☆248Updated last year
- ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.☆332Updated 2 weeks ago
- Engines, queries, and data for dynamic Datalog computation☆124Updated 3 years ago
- Python bindings to picosat (a SAT solver)☆185Updated 2 weeks ago
- 竜 TatSu generates Python parsers from grammars in a variation of EBNF☆417Updated 2 months ago
- Python library that enables using prolog syntax and logic programming in python☆121Updated 2 years ago
- Logtalk - declarative object-oriented logic programming language☆440Updated this week
- Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.☆85Updated 3 years ago
- ☆285Updated last year
- PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.☆503Updated 3 months ago
- Python interface for SWI-Prolog☆45Updated 2 weeks ago
- ☆201Updated last year
- Python pattern matching like functional languages.☆161Updated 4 years ago
- OWL2 library for Prolog☆111Updated 5 years ago
- Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.☆243Updated last week
- List of languages that compile to python☆262Updated last year
- Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.☆297Updated 4 months ago
- PyCLIPS - a Python module to integrate CLIPS into Python☆36Updated 8 years ago
- cplint is a suite of programs for reasoning with probabilistic logic programs☆73Updated this week
- Literal support for Pyrsistent data structures in Python☆129Updated 3 years ago
- Python CFFI bindings for the 'C' Language Integrated Production System CLIPS☆184Updated last week
- Micro Graph Database for Python Applications☆310Updated last year