The ErgoAI reasoning engine, an advanced object-oriented knowledge management system
☆54May 22, 2026Updated 2 months ago
Alternatives and similar repositories for ErgoEngine
Users that are interested in ErgoEngine are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆50May 14, 2026Updated 2 months ago
- A SWI-Prolog Pack that lets Prolog code seamlessly switch between planners☆16Feb 6, 2022Updated 4 years ago
- A rule engine based on Attempto Controlled English☆20Nov 1, 2024Updated last year
- A Hyperon MeTTa Interpreter/Transpilier that targets the Warren Abstract Machine☆25Mar 29, 2026Updated 3 months ago
- Common Lisp programmable version of LarKC/OpenCYC (And soon Prolog)☆19Apr 17, 2023Updated 3 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Expert system with deductive querying and verification of constraints expressed in natural language☆23Feb 15, 2026Updated 5 months ago
- Chatbot impls in Prolog☆15Feb 15, 2022Updated 4 years ago
- Port of Cyc to Common Lisp☆27May 11, 2026Updated 2 months ago
- An official code repository for the paper "Argumentative Large Language Models for Explainable and Contestable Claim Verification"☆17Sep 18, 2025Updated 10 months ago
- Pfc: adding forward chaining and truth maintenance to Prolog☆12Sep 6, 2022Updated 3 years ago
- tools for common-logic☆23Mar 5, 2013Updated 13 years ago
- SWI-Prolog dynamic C interface☆19Sep 21, 2024Updated last year
- Logic Production System (LPS) programming language interpreter implemented in JavaScript for Node.js and browsers.☆52May 12, 2019Updated 7 years ago
- Agda libraries for the semantic web☆25Nov 14, 2018Updated 7 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Ontology development environment for Common Logic (CL)☆25Nov 16, 2022Updated 3 years ago
- crowd-defunding☆10Jul 4, 2026Updated 2 weeks ago
- Lua implemented in Mercury☆15May 5, 2026Updated 2 months ago
- A Python interface to the Prolog pengines library. Makes it exceedingly easy to call out to SWI-Prolog within Python!☆12Jun 26, 2020Updated 6 years ago
- Euler Yet another proof Engine☆168Jun 19, 2026Updated last month
- Pfc: adding forward chaining and truth maintenance to Prolog☆11Jan 25, 2024Updated 2 years ago
- Contributions to BinProlog. See https://code.google.com/p/binprolog/☆10Aug 16, 2013Updated 12 years ago
- Efficient MeTTa language implementation in Prolog.☆27Updated this week
- Java-based lightweight Prolog virtual machine☆38Jul 3, 2024Updated 2 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- LogicMOO Natural Language Understanding Kit Unified into Prolog☆13Oct 2, 2021Updated 4 years ago
- An inductive logic programming system☆309Jun 15, 2026Updated last month
- Datalog based rules engine☆46Mar 13, 2022Updated 4 years ago
- Base Forward Chaining Knowledge Base Maintenance System☆19Oct 2, 2021Updated 4 years ago
- Clingo on the web☆45Updated this week
- The Trill probabilistic ontology reasoner on SWISH☆12Oct 1, 2025Updated 9 months ago
- This is about my idea of Knowledge-Graph-Building-Blocks as building blocks for knowledge graph applications.☆16Nov 23, 2022Updated 3 years ago
- https://jenkins.logicmoo.org/job/logicmoo_workspace https://logicmoo.org/xwiki/☆44May 4, 2026Updated 2 months ago
- MeTTa Optimal Reduction Kernel☆61Updated this week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 🗃️ A Python ORM-like interface for the Clingo Answer Set Programming (ASP) reasoner☆71Apr 1, 2026Updated 3 months ago
- Collection of awesome Ur/Web libraries, components, and projects☆13Dec 11, 2021Updated 4 years ago
- Repository for representing genotypes and their association with phenotypes☆19Feb 2, 2026Updated 5 months ago
- Spline bases for regression modelling in Julia☆13Updated this week
- OpenM++ main core: compiler and runtime☆14Jul 15, 2026Updated last week
- ThoughtTreasure commonsense knowledge base and architecture for natural language processing☆81Jul 31, 2015Updated 10 years ago
- FaCT++ is an efficient Description Logic reasoner compatible with OWL DL and OWL 2.☆13Jan 26, 2016Updated 10 years ago