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
- Base Forward Chaining Knowledge Base Maintenance System☆19Updated 3 years ago
- A rule engine based on Attempto Controlled English☆18Updated 7 months ago
- Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin☆57Updated 16 years ago
- Optional types for Prolog☆11Updated 6 years ago
- Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren☆34Updated 12 years ago
- A lightweight Description Logic reasoner for large-scale biomedical ontologies☆18Updated last week
- CHR: Leuven Constraint Handling Rules☆26Updated last month
- Adaptive Neuro-Symbolic Network Agent☆38Updated 2 years ago
- A Sparse Distributed Memory Framework.☆44Updated 5 years ago
- My MSc thesis: a grammar induction system☆16Updated 9 years ago
- Prolog stuff☆28Updated 5 years ago
- Reasonable Python is a module which adds F-Logic to Python☆25Updated 13 years ago
- A WAM (Warren Abstract Machine for Prolog) written in Common Lisp☆13Updated 6 years ago
- [NO LONGER MAINTAINED, SUPERSEDED BY https://github.com/trueagi-io/chaining]. Unified Rule Engine. Graph rewriting system for the AtomSpa…☆55Updated 2 months ago
- Poplog☆21Updated 14 years ago
- A MiniKanren in Python☆35Updated 8 years ago
- Web Framework for SWI-Prolog☆43Updated 9 years ago
- SWI-Prolog dynamic C interface☆17Updated 8 months ago
- Prolog HTTPS Servers☆37Updated 7 years ago
- SWI-Prolog 2-Way interface to Commmon Language Interface☆13Updated 8 years ago
- Naive Bayesian Classifier written in APL☆24Updated 7 years ago
- Our Ludum Dare entry☆20Updated 8 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Updated 7 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
- A Declarative Theorem Prover for First-Order Classical Logic☆28Updated 11 months ago
- CLP(Q,R): constraints over rational numbers and floats by Leslie de Koninck☆9Updated last month
- ☆13Updated 9 years ago
- A fuzzy logic extension of the CLIPS☆73Updated 9 years ago
- MOSES Machine Learning: Meta-Optimizing Semantic Evolutionary Search for the AtomSpace (https://github.com/opencog/atomspace)☆42Updated last week