ErgoAI / ErgoEngine
The ErgoAI reasoning engine, an advanced object-oriented knowledge management system
☆34Updated 2 weeks ago
Alternatives and similar repositories for ErgoEngine:
Users that are interested in ErgoEngine are comparing it to the libraries listed below
- The SWI-Prolog RDF store☆30Updated last week
- The Heterogeneous Tool Set☆58Updated last month
- logic programming with SPARQL☆47Updated 2 years ago
- Integrated RDF Surfaces inspired by Pat Hayes, Patrick Hochstenbach and EYE.☆13Updated 4 months ago
- OWL2 library for Prolog☆111Updated 5 years ago
- Top-down interpreter for ASP programs with Constraints☆29Updated 4 months ago
- Java-based lightweight Prolog virtual machine☆34Updated 8 months ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Updated 10 months ago
- OWL and Semantic Web toolkit for Common Lisp, used for construction and reasoning over ontologies and ontology-structured data☆29Updated last week
- CLP(BNR) module for SWI-Prolog☆40Updated last week
- DocLog builds documentation from source code in Prolog☆26Updated 2 months ago
- ☆31Updated last week
- Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…☆28Updated 3 years ago
- Pengine and Prolog scratchpad☆58Updated 4 years ago
- top-down interpreter for ASP programs with constraints☆17Updated 2 years ago
- Kanren with databases☆43Updated 7 months ago
- Pfc: adding forward chaining and truth maintenance to Prolog☆10Updated last year
- Polynomial-time Meta-Interpretive Learning☆120Updated last month
- Programming in Tabled Prolog by David S Warren☆22Updated 5 years ago
- A rule engine based on Attempto Controlled English☆18Updated 4 months ago
- Java library based on the VLog rule engine☆32Updated 9 months ago
- Leibniz - a Digital Scientific Notation☆33Updated 2 months ago
- ClioPatria provides an RDF application platform☆53Updated last year
- Prolog binding for terminusdb-store☆21Updated 2 years ago
- ☆45Updated 3 weeks ago
- A Hyperon MeTTa Interpreter/Transpilier that targets the Warren Abstract Machine☆17Updated this week
- Advanced support for working with RDF in Prolog.☆18Updated 6 months ago
- Awesome datalog libraries, tools and resources☆60Updated 5 years ago
- Linked data tooling for the Racket programming language (json-ld, eventually more)☆16Updated 6 years ago
- Grape - Graph Rewriting and Persistence Engine☆31Updated last year