gooofy / zamia-prolog
Embeddable Prolog dialect implemented in pure Python. Stores its knowlegdebase using SQLAlchemy for scalability.
☆19Updated 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
- Poplog☆21Updated 14 years ago
- Base Forward Chaining Knowledge Base Maintenance System☆18Updated 3 years ago
- Prolog Implementation in Python☆11Updated 7 years ago
- Large lexicon for APE (~100,000 entries)☆28Updated 6 years ago
- A MiniKanren in Python☆35Updated 8 years ago
- Pyrolog: A Prolog interpreter written in Python using the PyPy translator toolchain. Clone of https://bitbucket.org/cfbolz/pyrolog☆24Updated 10 years ago
- Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…☆47Updated 2 weeks ago
- Apply and compose functions in Prolog☆19Updated 8 years ago
- custom type systems for python in prolog: http://alehander42.me/prolog_type_systems☆24Updated 8 years ago
- MUD Server written in Prolog using Forward chaining☆29Updated 2 years ago
- A Prolog implementation based on generators☆18Updated 10 years ago
- Write TAP tests with SWI-Prolog☆12Updated last year
- (Original: code.google.com/p/pylinda) A Linda implementation in Python.☆11Updated 2 years ago
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆26Updated 7 months ago
- Simple Prolog to JS transpiler☆20Updated 12 years ago
- Prolog Pengines + vue.js☆17Updated 5 years ago
- Extend Definite Clause Grammars for Prolog by the corresponding parse tree☆11Updated last year
- Random ideas about libraries for Prolog☆12Updated 8 years ago
- Pengines: Prolog engines☆12Updated this week
- the Meta-II VM in C☆19Updated 9 years ago
- Our Ludum Dare entry☆20Updated 7 years ago
- SWI-Prolog 2-Way interface to Commmon Language Interface☆13Updated 7 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated last year
- ☆21Updated 11 years ago
- A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database☆11Updated 2 years ago
- Prolog list utility predicates☆11Updated 6 years ago
- Optional types for Prolog☆11Updated 6 years ago
- Common Lisp programmable version of LarKC/OpenCYC (And soon Prolog)☆15Updated last year
- Pez is a Forth dialect based on Atlast, with expanded capabilities and more portability.☆33Updated 9 years ago
- A WAM (Warren Abstract Machine for Prolog) written in Common Lisp☆12Updated 5 years ago