gooofy / zamia-prolog
Embeddable Prolog dialect implemented in pure Python. Stores its knowlegdebase using SQLAlchemy for scalability.
☆19Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for zamia-prolog
- SWI-Prolog 2-Way interface to Commmon Language Interface☆12Updated 7 years ago
- Prolog Implementation in Python☆11Updated 6 years ago
- A MiniKanren in Python☆36Updated 8 years ago
- Pyrolog: A Prolog interpreter written in Python using the PyPy translator toolchain. Clone of https://bitbucket.org/cfbolz/pyrolog☆22Updated 10 years ago
- Poplog☆21Updated 14 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 9 years ago
- A collection of demonstration languages in Lua/Terra suitable for learning or for forking when creating a new language☆10Updated 9 years ago
- ☆19Updated 7 years ago
- Python term rewriting☆27Updated 11 years ago
- Evolutionary feature synthesis☆17Updated 9 years ago
- Aerie: a regex-like engine nested word grammars☆16Updated 2 years ago
- (Original: code.google.com/p/pylinda) A Linda implementation in Python.☆11Updated 2 years ago
- A Datalog Framework for Python☆11Updated last year
- custom type systems for python in prolog: http://alehander42.me/prolog_type_systems☆24Updated 8 years ago
- A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database☆11Updated 2 years ago
- An implementation of the APL language in Python with the Numpy module☆28Updated 7 years ago
- Noncanonical (but only existing) repo for the pijnu PEG parser☆25Updated 13 years ago
- A Prolog implementation based on generators☆18Updated 10 years ago
- Prolog Reverse Proxy☆19Updated 6 years ago
- Write TAP tests with SWI-Prolog☆12Updated last year
- Optional types for Prolog☆11Updated 6 years ago
- Base Forward Chaining Knowledge Base Maintenance System☆18Updated 3 years ago
- ☆9Updated 8 years ago
- Logic Programming for Python3☆8Updated 8 years ago
- My MSc thesis: a grammar induction system☆15Updated 8 years ago
- A WAM (Warren Abstract Machine for Prolog) written in Common Lisp☆12Updated 5 years ago
- A multi-dimensional database navigator and editor☆18Updated 8 years ago
- A simple Prolog API for the Z3 constraint solver☆14Updated 6 years ago
- the Meta-II VM in C☆19Updated 9 years ago
- Chatbot impls in Prolog☆15Updated 2 years ago