cycorp / example-code
Examples of common usage of the Cyc APIs.
☆17Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for example-code
- The Java API suite for interacting with the Cyc inference engine and knowledge base.☆35Updated 5 years ago
- A Sparse Distributed Memory Framework.☆43Updated 5 years ago
- Poplog☆21Updated 13 years ago
- A WAM (Warren Abstract Machine for Prolog) written in Common Lisp☆12Updated 5 years ago
- A lightweight Description Logic reasoner for large-scale biomedical ontologies☆17Updated 10 months ago
- CHR: Leuven Constraint Handling Rules☆24Updated last week
- Archive of old version, visit gendl.org for current version --- #gendl on libera.chat☆57Updated last year
- Yet Another Classical planning plan validator written in modern Common Lisp☆11Updated 3 years ago
- The SWI-Prolog RDF store☆29Updated last week
- experimental computational medium and supporting tools☆22Updated this week
- A rule engine based on Attempto Controlled English☆18Updated last week
- Advanced support for working with RDF in Prolog.☆17Updated 2 months ago
- OPS5 Production System☆54Updated 11 years ago
- Base Forward Chaining Knowledge Base Maintenance System☆18Updated 3 years ago
- A lightweight reimplementation of the OpenCyc ontology system. This project aims to replicate most of OpenCyc's functionality and data wh…☆18Updated 8 years ago
- Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48☆36Updated 12 years ago
- ☆13Updated 9 years ago
- My MSc thesis: a grammar induction system☆15Updated 8 years ago
- ☆9Updated 8 years ago
- ☆11Updated 6 years ago
- tools for common-logic☆19Updated 11 years ago
- Inspired by lisp500, lisp800 is a small embeddable dialect by lisp500 with the emphasis on embeddability☆20Updated 11 years ago
- OWL and Semantic Web toolkit for Common Lisp, used for construction and reasoning over ontologies and ontology-structured data☆28Updated 4 months ago
- Common Lisp programmable version of LarKC/OpenCYC (And soon Prolog)☆16Updated last year
- Unified Rule Engine. Graph rewriting system for the AtomSpace. Used as reasoning engine for OpenCog.☆54Updated 7 months ago
- SNARK - SRI's New Automated Reasoning Kit☆19Updated 8 years ago
- Prolog stuff☆26Updated 5 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated last year
- Meld compiler written in Common Lisp☆14Updated 8 years ago