logicmoo / CYC_JRTL_with_CommonLisp
Common Lisp programmable version of LarKC/OpenCYC (And soon Prolog)
☆16Updated last year
Related projects: ⓘ
- Base Forward Chaining Knowledge Base Maintenance System☆17Updated 2 years ago
- Chatbot impls in Prolog☆14Updated 2 years ago
- Port of Cyc to Common Lisp☆22Updated 4 years ago
- A rule engine based on Attempto Controlled English☆18Updated 11 months ago
- ☆34Updated 5 months ago
- MUD Server written in Prolog using Forward chaining☆30Updated 2 years ago
- Common lisp library for manipulating PDDL expressions.☆11Updated 2 months ago
- A SWI-Prolog Pack that lets Prolog code seamlessly switch between planners☆15Updated 2 years ago
- SWI-Prolog 2-Way interface to Commmon Language Interface☆12Updated 7 years ago
- A lightweight Description Logic reasoner for large-scale biomedical ontologies☆17Updated 9 months ago
- Large lexicon for APE (~100,000 entries)☆28Updated 5 years ago
- Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)☆54Updated 3 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated last year
- tools for common-logic☆19Updated 11 years ago
- LogicMOO Natural Language Understanding Kit Unified into Prolog☆13Updated 2 years ago
- ☆23Updated this week
- SWI-Prolog dynamic C interface☆16Updated 2 months ago
- A WAM (Warren Abstract Machine for Prolog) written in Common Lisp☆12Updated 5 years ago
- A JavaScript-based interface for graph traversal☆18Updated last year
- Poplog☆21Updated 13 years ago
- ☆14Updated this week
- Pfc: adding forward chaining and truth maintenance to Prolog☆10Updated 2 years ago
- experimental computational medium and supporting tools☆22Updated this week
- ClioPatria provides an RDF application platform☆51Updated 6 months ago
- CHR: Leuven Constraint Handling Rules☆23Updated last week
- OWL and Semantic Web toolkit for Common Lisp, used for construction and reasoning over ontologies and ontology-structured data☆26Updated 3 months ago
- Explainable machine learning☆18Updated 5 years ago
- The Trill probabilistic ontology reasoner on SWISH☆12Updated 2 weeks ago
- OPS5 Production System☆53Updated 11 years ago
- The OSCAR Project: the general-purpose defeasible reasoner and architecture for a rational agent☆14Updated 6 years ago