cycorp / example-codeLinks
Examples of common usage of the Cyc APIs.
☆17Updated 7 years ago
Alternatives and similar repositories for example-code
Users that are interested in example-code are comparing it to the libraries listed below
Sorting:
- The Java API suite for interacting with the Cyc inference engine and knowledge base.☆35Updated 6 years ago
- A lightweight Description Logic reasoner for large-scale biomedical ontologies☆18Updated last month
- A rule engine based on Attempto Controlled English☆18Updated 7 months ago
- A WAM (Warren Abstract Machine for Prolog) written in Common Lisp☆13Updated 6 years ago
- A lightweight reimplementation of the OpenCyc ontology system. This project aims to replicate most of OpenCyc's functionality and data wh…☆20Updated 9 years ago
- My MSc thesis: a grammar induction system☆16Updated 9 years ago
- A Sparse Distributed Memory Framework.☆44Updated 5 years ago
- Poplog☆21Updated 14 years ago
- Common Lisp programmable version of LarKC/OpenCYC (And soon Prolog)☆16Updated 2 years ago
- Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin☆57Updated 16 years ago
- ☆13Updated 10 years ago
- Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48☆38Updated 13 years ago
- Numenta's experimental C++ research code. Please see htmresearch for more details.☆25Updated 5 years ago
- A Clojure implementation of the Non-Axiomatic Reasoning System proposed by Pei Wang.☆43Updated 8 years ago
- MOSES Machine Learning: Meta-Optimizing Semantic Evolutionary Search for the AtomSpace (https://github.com/opencog/atomspace)☆43Updated 3 weeks ago
- Implementation of Sparse Distributed Memory created by Pentti Kanerva in 1988.☆48Updated 7 years ago
- A Hyperon MeTTa Interpreter/Transpilier that targets the Warren Abstract Machine☆21Updated last week
- automatic differentiation/integration of PDEs☆24Updated 7 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated 2 years ago
- Chatbot impls in Prolog☆15Updated 3 years ago
- experimental computational medium and supporting tools☆22Updated this week
- CHR: Leuven Constraint Handling Rules☆26Updated last month
- An experimental esolang implementation of a Kolmogorov-Uspensky machine☆29Updated 9 years ago
- Meld compiler written in Common Lisp☆14Updated 9 years ago
- Base Forward Chaining Knowledge Base Maintenance System☆19Updated 3 years ago
- CLP(Q,R): constraints over rational numbers and floats by Leslie de Koninck☆9Updated last month
- Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work☆14Updated 10 years ago
- OPS5 Production System☆57Updated 12 years ago
- https://jenkins.logicmoo.org/job/logicmoo_workspace https://logicmoo.org/xwiki/☆44Updated last year
- Reasonable Python is a module which adds F-Logic to Python☆25Updated 13 years ago