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:
- SWI-Prolog 2-Way interface to Commmon Language Interface☆13Updated 8 years ago
- Prolog Implementation in Python☆11Updated 7 years ago
- Poplog☆21Updated 14 years ago
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆27Updated 4 months 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
- A JavaScript runtime for the SNOBOL4 programming language☆18Updated 3 years ago
- Base Forward Chaining Knowledge Base Maintenance System☆19Updated 3 years ago
- Noncanonical (but only existing) repo for the pijnu PEG parser☆24Updated 13 years ago
- (Original: code.google.com/p/pylinda) A Linda implementation in Python.☆12Updated 3 years ago
- Regular expressions for Prolog☆17Updated 7 years ago
- Answering Datalog Queries with Unix Shell Commands☆24Updated last year
- the Meta-II VM in C☆19Updated 9 years ago
- Apply and compose functions in Prolog☆19Updated 8 years ago
- A simple Prolog API for the Z3 constraint solver☆15Updated 7 years ago
- VLog is a high-performance Datalog engine. It is highly memory efficient and can process large programs with thousands of rules.☆17Updated 7 years ago
- Smallish programs written to learn something.☆51Updated last year
- ☆14Updated 4 years ago
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆18Updated 4 months ago
- Explainable machine learning☆17Updated 6 years ago
- ☆21Updated 12 years ago
- ALS Prolog Compiler & Development Environment☆16Updated 2 months ago
- A lightweight Description Logic reasoner for large-scale biomedical ontologies☆18Updated last month
- A rule engine based on Attempto Controlled English☆18Updated 7 months ago
- A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database☆11Updated 3 years ago
- Stackless Joy☆23Updated 2 months ago
- If at first you don't succeed☆12Updated 4 years ago
- Extend Definite Clause Grammars for Prolog by the corresponding parse tree☆11Updated 2 years ago
- A Prolog grammar written in Prolog, for parsing and serialising Prolog code.☆14Updated 3 years ago
- Yet another PEG parser combinator library and DSL☆56Updated last year