vslab / YieldProlog
A Prolog implementation based on generators
☆20Updated 10 years ago
Alternatives and similar repositories for YieldProlog:
Users that are interested in YieldProlog are comparing it to the libraries listed below
- Large lexicon for APE (~100,000 entries)☆28Updated 6 years ago
- Extend Definite Clause Grammars for Prolog by the corresponding parse tree☆11Updated 2 years ago
- Simple Prolog to JS transpiler☆20Updated 12 years ago
- SWI-Prolog 2-Way interface to Commmon Language Interface☆13Updated 8 years ago
- Embeddable Prolog dialect implemented in pure Python. Stores its knowlegdebase using SQLAlchemy for scalability.☆20Updated 7 years ago
- AceWiki is a semantic wiki based on controlled natural language.☆71Updated last month
- Pyrolog: A Prolog interpreter written in Python using the PyPy translator toolchain. Clone of https://bitbucket.org/cfbolz/pyrolog☆24Updated 10 years ago
- A Prolog grammar written in Prolog, for parsing and serialising Prolog code.☆14Updated 3 years ago
- Chart parser (Earley SPPF)☆27Updated 6 years ago
- A rule engine based on Attempto Controlled English☆18Updated 4 months ago
- If at first you don't succeed☆12Updated 4 years ago
- PRolog Equation Solving System☆30Updated 8 years ago
- tools for common-logic☆19Updated 12 years ago
- Apply and compose functions in Prolog☆19Updated 8 years ago
- The Kollos project [ARCHIVED]☆30Updated 2 years ago
- Our Ludum Dare entry☆20Updated 8 years ago
- Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)☆56Updated 3 years ago
- Base Forward Chaining Knowledge Base Maintenance System☆18Updated 3 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Updated 10 months ago
- LogicMOO Natural Language Understanding Kit Unified into Prolog☆13Updated 3 years ago
- ClioPatria provides an RDF application platform☆53Updated last year
- Poplog☆21Updated 14 years ago
- The Heterogeneous Tool Set☆58Updated last month
- A Python interface to the Prolog pengines library. Makes it exceedingly easy to call out to SWI-Prolog within Python!☆12Updated 4 years ago
- Contributions to BinProlog. See https://code.google.com/p/binprolog/☆10Updated 11 years ago
- A VS Code extension supporting for Picat language☆16Updated 6 years ago
- Write TAP tests with SWI-Prolog☆12Updated 2 years ago
- ☆34Updated 4 years ago
- A simple Prolog API for the Z3 constraint solver☆15Updated 7 years ago