vslab / YieldPrologLinks
A Prolog implementation based on generators
☆20Updated 11 years ago
Alternatives and similar repositories for YieldProlog
Users that are interested in YieldProlog are comparing it to the libraries listed below
Sorting:
- Simple Prolog to JS transpiler☆20Updated 13 years ago
- Embeddable Prolog dialect implemented in pure Python. Stores its knowlegdebase using SQLAlchemy for scalability.☆20Updated 7 years ago
- Base Forward Chaining Knowledge Base Maintenance System☆19Updated 4 years ago
- A new logic programming language.☆175Updated 2 years ago
- A Prolog grammar written in Prolog, for parsing and serialising Prolog code.☆15Updated 4 years ago
- PRolog Equation Solving System☆29Updated 9 years ago
- Chart parser (Earley SPPF)☆27Updated 7 years ago
- ☆34Updated 5 years ago
- ClioPatria provides an RDF application platform☆57Updated 3 weeks ago
- Large lexicon for APE (~100,000 entries)☆30Updated 7 years ago
- Java-based lightweight Prolog virtual machine☆35Updated last year
- Amzi! Prolog: complete system to interpret, build, run and debug Prolog programs, but also embed and query them similar to databases.☆131Updated 4 years ago
- If at first you don't succeed☆12Updated 5 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
- A fuzzy logic extension of the CLIPS☆76Updated 10 years ago
- tools for common-logic☆22Updated 12 years ago
- Zorba - the NoSQL processor☆42Updated 2 years ago
- A rule engine based on Attempto Controlled English☆18Updated last year
- John Shutt's "Kernel" language implemented on ABE (C) runtime.☆13Updated 7 years ago
- The Kollos project [ARCHIVED]☆30Updated 3 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
- Pengine and Prolog scratchpad☆59Updated 3 months ago
- Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)☆60Updated 4 years ago
- A simple C-like language compiler with an extensible syntax and typed macros support☆132Updated 4 years ago
- Parser for Attempto Controlled English (ACE)☆208Updated last year
- Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…☆49Updated last week
- AceWiki is a semantic wiki based on controlled natural language.☆73Updated 10 months ago
- Semantic Web scripting language☆105Updated 2 years ago
- setlX is an interpreter for the high level programming-language SetlX (set language extended).☆29Updated 4 years ago
- Run SWI-Prolog in your browser using WebAssemply☆77Updated 3 years ago