SWI-Prolog / packages-mqiLinks
Machine Query Interface
☆19Updated 2 weeks ago
Alternatives and similar repositories for packages-mqi
Users that are interested in packages-mqi are comparing it to the libraries listed below
Sorting:
- Trealla Prolog for the web☆53Updated last week
- pylog: an implementation of Prolog features in Python☆36Updated 8 months ago
- An extensible, lightweight relational/logic programming DSL written in pure Python☆217Updated this week
- Python library that enables using prolog syntax and logic programming in python☆126Updated 2 years ago
- GOPHI: an AMR-to-English Verbalizer☆11Updated 5 years ago
- Straightforward unification in Python that's extensible via generic functions.☆49Updated 11 months ago
- C. Hocquette and A. Cropper, Relational program synthesis with numerical reasoning, AAAI23.☆15Updated 2 years ago
- The ErgoAI reasoning engine, an advanced object-oriented knowledge management system☆41Updated 4 months ago
- Logic Programming in Python☆31Updated 3 years ago
- ☆35Updated last week
- A Jupyter Kernel for SWI-Prolog☆25Updated 6 years ago
- SWI-Prolog WebAssembly build as a NPM package☆52Updated this week
- Python interface for SWI-Prolog☆49Updated 2 weeks ago
- 🗃️ A Python ORM-like interface for the Clingo Answer Set Programming (ASP) reasoner☆57Updated 3 weeks ago
- top-down interpreter for ASP programs with constraints☆17Updated 2 years ago
- Datalog based relational programming in Python.☆15Updated 2 years ago
- Top-down interpreter for ASP programs with Constraints☆33Updated last month
- An archive of material related to the Cyc project.☆28Updated last month
- A Prolog grammar written in Prolog, for parsing and serialising Prolog code.☆15Updated 4 years ago
- Polynomial-time Meta-Interpretive Learning☆128Updated 6 months ago
- Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.☆86Updated 3 years ago
- RTEC is an Event Calculus implementation optimised for stream reasoning☆98Updated 2 months ago
- Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)☆60Updated 3 years ago
- ☆71Updated 4 years ago
- Classical CHAT80 NLP system for Prolog☆22Updated 5 months ago
- Art of Prolog Code☆36Updated 5 years ago
- ClioPatria provides an RDF application platform☆56Updated last week
- ☆58Updated last year
- A logic programming language that has features of both Datalog and answer set programming.☆117Updated 2 weeks ago
- Base Forward Chaining Knowledge Base Maintenance System☆19Updated 3 years ago