gooofy / zamia-prologLinks
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:
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆27Updated last month
- A Prolog implementation based on generators☆20Updated 10 years ago
- Prolog Implementation in Python☆12Updated 7 years ago
- A python parser that builds python ASTs in 502 lines of python without using modules☆61Updated 7 years ago
- Self-compiling compiler of a Python subset. Just enough Python to Python in Python.☆46Updated 2 years ago
- ☆72Updated 4 years ago
- Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…☆47Updated last week
- https://jenkins.logicmoo.org/job/logicmoo_workspace https://logicmoo.org/xwiki/☆44Updated 2 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
- Poplog☆21Updated 14 years ago
- Noncanonical (but only existing) repo for the pijnu PEG parser☆24Updated 14 years ago
- Yet another PEG parser combinator library and DSL☆56Updated 2 years ago
- ClioPatria provides an RDF application platform☆56Updated last month
- the Meta-II VM in C☆20Updated 10 years ago
- ☆21Updated 12 years ago
- MUD Server written in Prolog using Forward chaining☆28Updated 3 years ago
- A minimal Forth VM and Compiler implemented in PostScript☆29Updated 14 years ago
- custom type systems for python in prolog: http://alehander42.me/prolog_type_systems☆24Updated 9 years ago
- Java-based lightweight Prolog virtual machine☆34Updated last year
- Chart parser (Earley SPPF)☆27Updated 6 years ago
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆18Updated last month
- Fork of Ian Piumarta's maru self-bootstrapping lisp compiler. Work has moved to http://code.google.com/r/kurts68-maru/☆41Updated 4 years ago
- A MiniKanren in Python☆35Updated 9 years ago
- ☆14Updated 4 years ago
- Provide a reference implementation for the TTM programming language.☆10Updated 11 years ago
- A WAM (Warren Abstract Machine for Prolog) written in Common Lisp☆13Updated 6 years ago
- Base Forward Chaining Knowledge Base Maintenance System☆19Updated 4 years ago
- (Original: code.google.com/p/pylinda) A Linda implementation in Python.☆12Updated 3 years ago
- Simple Prolog to JS transpiler☆20Updated 12 years ago
- A tutorial for DCG's in swi-Prolog☆34Updated 4 years ago