therohk / opencyc-kbLinks
OpenCyc Ontology or Knowledge Base Data Files
☆14Updated 3 years ago
Alternatives and similar repositories for opencyc-kb
Users that are interested in opencyc-kb are comparing it to the libraries listed below
Sorting:
- Common Lisp programmable version of LarKC/OpenCYC (And soon Prolog)☆16Updated 2 years ago
- ☆61Updated last year
- Doug Lenat's EURISKO from SAIL archives circa 1981☆68Updated last year
- Port of Cyc to Common Lisp☆23Updated 5 years ago
- a quick system I hacked together to bundle a few thousand pages of notes I mostly haven’t published before up into an archive of pregener…☆15Updated 4 years ago
- OPS5 Production System☆57Updated 12 years ago
- Douglas Lenat's AM (Automated Mathematician) from SAIL archives circa 1977☆54Updated 2 years ago
- The SNePS 2 Knowledge Representation and Reasoning System☆12Updated 7 years ago
- OWL and Semantic Web toolkit for Common Lisp, used for construction and reasoning over ontologies and ontology-structured data☆30Updated last month
- Our Ludum Dare entry☆20Updated 8 years ago
- MUD Server written in Prolog using Forward chaining☆28Updated 3 years ago
- The Ops5 programming language for production systems☆42Updated 5 years ago
- A tutorial for DCG's in swi-Prolog☆35Updated 4 years ago
- Sunrise on the Boxer Reconstruction Project☆55Updated last week
- Pfc: adding forward chaining and truth maintenance to Prolog☆12Updated 3 years ago
- Base Forward Chaining Knowledge Base Maintenance System☆19Updated 4 years ago
- Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin☆58Updated 17 years ago
- Racer is a knowledge representation system that implements a highly optimized tableau calculus for the description logic SRIQ(D).☆114Updated 7 years ago
- Leibniz - a Digital Scientific Notation☆36Updated 8 months ago
- Prolog Technology Theorem Prover☆12Updated last year
- L. L. Odette's Prolog Virtual Machine (PVM) implemented in Forth. Upgraded to 32 Bit ANSI Forth. Tested on ForthWin.☆17Updated 4 years ago
- An embedded dialect of the OMeta language for rapidly developing compilers and code analysis tools.☆15Updated 10 years ago
- ☆14Updated 11 months ago
- A simple Prolog API for the Z3 constraint solver☆15Updated 7 years ago
- *Lisp simulator☆28Updated 12 years ago
- combined object/lambda architcture☆25Updated 16 years ago
- A SWI-Prolog Pack that lets Prolog code seamlessly switch between planners☆16Updated 3 years ago
- Prolog implementation of microKanren☆44Updated 10 years ago
- Self-like language implemented in the RPython language toolkit.☆31Updated 4 years ago
- Terry Winograd's SHRDLU☆41Updated 14 years ago