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
- SWI-Prolog 2-Way interface to Commmon Language Interface☆13Updated 8 years ago
- A MiniKanren in Python☆35Updated 8 years ago
- 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 JavaScript-based interface for graph traversal☆18Updated 2 years ago
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆26Updated 2 months ago
- Smallish programs written to learn something.☆51Updated last year
- Large lexicon for APE (~100,000 entries)☆28Updated 6 years ago
- A multi-dimensional database navigator and editor☆19Updated 9 years ago
- (Original: code.google.com/p/pylinda) A Linda implementation in Python.☆12Updated 2 years ago
- A Prolog implementation based on generators☆20Updated 10 years ago
- Reasonable Python is a module which adds F-Logic to Python☆25Updated 13 years ago
- ClioPatria provides an RDF application platform☆53Updated last year
- A lightweight Description Logic reasoner for large-scale biomedical ontologies☆18Updated 3 months ago
- Noncanonical (but only existing) repo for the pijnu PEG parser☆24Updated 13 years ago
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆17Updated 2 months ago
- Poplog☆21Updated 14 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated 2 years ago
- If at first you don't succeed☆12Updated 4 years ago
- A minimal Python interpreter in Python with runtime AST definition and edit-and-continue☆33Updated 7 years ago
- Chatbot impls in Prolog☆15Updated 3 years ago
- ☆21Updated 12 years ago
- Yet another PEG parser combinator library and DSL☆56Updated last year
- A rule engine based on Attempto Controlled English☆18Updated 5 months ago
- ☆9Updated 9 years ago
- Programmatic Control Flow☆12Updated 7 years ago
- Reduced on-disk Suffix Array☆21Updated 11 years ago
- Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…☆47Updated 3 weeks ago
- An implementation of the APL language in Python with the Numpy module☆29Updated 8 years ago
- Parsito: Fast non-projective transition-based dependency parser☆14Updated 2 years ago