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
- Base Forward Chaining Knowledge Base Maintenance System☆18Updated 3 years ago
- A lightweight Description Logic reasoner for large-scale biomedical ontologies☆17Updated 11 months ago
- The SWI-Prolog RDF store☆29Updated this week
- 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
- A rule engine based on Attempto Controlled English☆18Updated 3 weeks ago
- Poplog☆21Updated 14 years ago
- Unified Rule Engine. Graph rewriting system for the AtomSpace. Used as reasoning engine for OpenCog.☆54Updated 7 months ago
- A MiniKanren in Python☆36Updated 8 years ago
- ☆13Updated 9 years ago
- tools for common-logic☆19Updated 11 years ago
- SWI-Prolog 2-Way interface to Commmon Language Interface☆12Updated 7 years ago
- A WAM (Warren Abstract Machine for Prolog) written in Common Lisp☆12Updated 5 years ago
- Advanced support for working with RDF in Prolog.☆17Updated 2 months ago
- ClioPatria provides an RDF application platform☆52Updated 8 months ago
- CHR: Leuven Constraint Handling Rules☆24Updated this week
- The SNePS 2 Knowledge Representation and Reasoning System☆11Updated 6 years ago
- My MSc thesis: a grammar induction system☆15Updated 8 years ago
- Common Lisp programmable version of LarKC/OpenCYC (And soon Prolog)☆16Updated last year
- Probabilistic Logic Network (PLN) implemented on top of the Unified Rule Engine (URE). https://wiki.opencog.org/w/Probabilistic_logic_net…☆15Updated 7 months ago
- MOSES Machine Learning: Meta-Optimizing Semantic Evolutionary Search for the AtomSpace (https://github.com/opencog/atomspace)☆39Updated last year
- AceWiki is a semantic wiki based on controlled natural language.☆69Updated 8 months ago
- Prolog HTTPS Servers☆36Updated 6 years ago
- Reasonable Python is a module which adds F-Logic to Python☆25Updated 13 years ago
- Pixy is a declarative vendor-independent graph query language built on the Tinkerpop software stack☆36Updated 2 years ago
- Large lexicon for APE (~100,000 entries)☆28Updated 6 years ago
- ☆71Updated 4 years ago
- https://jenkins.logicmoo.org/job/logicmoo_workspace https://logicmoo.org/xwiki/☆45Updated last year
- Chatbot impls in Prolog☆15Updated 2 years ago