gooofy / zamia-prolog
Embeddable Prolog dialect implemented in pure Python. Stores its knowlegdebase using SQLAlchemy for scalability.
☆20Updated 7 years ago
Alternatives and similar repositories for zamia-prolog
Users that are interested in zamia-prolog are comparing it to the libraries listed below
Sorting:
- Prolog Implementation in Python☆11Updated 7 years ago
- Pyrolog: A Prolog interpreter written in Python using the PyPy translator toolchain. Clone of https://bitbucket.org/cfbolz/pyrolog☆24Updated 11 years ago
- A MiniKanren in Python☆35Updated 8 years ago
- Poplog☆21Updated 14 years ago
- SWI-Prolog 2-Way interface to Commmon Language Interface☆13Updated 8 years ago
- A Prolog implementation based on generators☆20Updated 10 years ago
- Noncanonical (but only existing) repo for the pijnu PEG parser☆24Updated 13 years ago
- My MSc thesis: a grammar induction system☆16Updated 9 years ago
- (Original: code.google.com/p/pylinda) A Linda implementation in Python.☆12Updated 2 years ago
- the Meta-II VM in C☆19Updated 9 years ago
- A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database☆11Updated 3 years ago
- A collection of demonstration languages in Lua/Terra suitable for learning or for forking when creating a new language☆11Updated 9 years ago
- Reasonable Python is a module which adds F-Logic to Python☆25Updated 13 years ago
- ☆9Updated 9 years ago
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆17Updated 2 months ago
- ☆71Updated 4 years ago
- A python parser that builds python ASTs in 502 lines of python without using modules☆61Updated 6 years ago
- Extend Definite Clause Grammars for Prolog by the corresponding parse tree☆11Updated 2 years ago
- Write TAP tests with SWI-Prolog☆12Updated 2 years ago
- ☆21Updated 12 years ago
- Optional types for Prolog☆11Updated 6 years ago
- JudgeD: Probabilistic Datalog with Dependencies☆18Updated 5 years ago
- Self-compiling compiler of a Python subset. Just enough Python to Python in Python.☆46Updated 2 years ago
- The Graphplan algorithm is an automatic planning algorithm that can compute, given a set of rules, a plan of action to go from an initial…☆36Updated 10 years ago
- A rule engine based on Attempto Controlled English☆18Updated 6 months ago
- A lightweight Description Logic reasoner for large-scale biomedical ontologies☆18Updated 4 months ago
- Logic Programming for Python3☆8Updated 8 years ago
- Apply and compose functions in Prolog☆19Updated 8 years ago
- A Datalog Framework for Python☆11Updated 2 years ago
- Programmatic Control Flow☆12Updated 7 years ago