ErgoAI / ErgoEngine
The ErgoAI reasoning engine, an advanced object-oriented knowledge management system
☆35Updated this week
Alternatives and similar repositories for ErgoEngine:
Users that are interested in ErgoEngine are comparing it to the libraries listed below
- logic programming with SPARQL☆47Updated 2 years ago
- Top-down interpreter for ASP programs with Constraints☆26Updated 3 months ago
- The SWI-Prolog RDF store☆30Updated 3 weeks ago
- Integrated RDF Surfaces inspired by Pat Hayes, Patrick Hochstenbach and EYE.☆13Updated 3 months ago
- The Heterogeneous Tool Set☆57Updated last month
- Programming in Tabled Prolog by David S Warren☆22Updated 5 years ago
- Polynomial-time Meta-Interpretive Learning☆119Updated last month
- CLP(BNR) module for SWI-Prolog☆40Updated 2 months ago
- Prolog binding for terminusdb-store☆21Updated 2 years ago
- Data Science Ontology☆36Updated 5 months ago
- Awesome datalog libraries, tools and resources☆60Updated 5 years ago
- Transformations transformed☆79Updated this week
- A Hyperon MeTTa Interpreter/Transpilier that targets the Warren Abstract Machine☆17Updated this week
- Kanren with databases☆43Updated 7 months ago
- DocLog builds documentation from source code in Prolog☆26Updated 2 months ago
- Pfc: adding forward chaining and truth maintenance to Prolog☆11Updated 2 years ago
- Konclude: A parallel, tableau-based, high-performance reasoner for the Description Logic SROIQV(D)/the Web Ontology Language (OWL) 2 DL☆36Updated 2 years ago
- OWL2 library for Prolog☆110Updated 5 years ago
- OWL and Semantic Web toolkit for Common Lisp, used for construction and reasoning over ontologies and ontology-structured data☆29Updated 8 months ago
- Pfc: adding forward chaining and truth maintenance to Prolog☆10Updated last year
- Leibniz - a Digital Scientific Notation☆33Updated 2 months ago
- Advanced support for working with RDF in Prolog.☆17Updated 6 months ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Updated 9 months ago
- Java library based on the VLog rule engine☆32Updated 9 months ago
- ☆31Updated last week
- Python interface for SWI-Prolog☆45Updated last month
- Pengine and Prolog scratchpad☆58Updated 4 years ago
- Bringing Prolog to the masses.☆36Updated 3 years ago
- Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…☆28Updated 3 years ago
- Apply and compose functions in Prolog☆19Updated 8 years ago