Pinned Repositories
CYC_JRTL_with_CommonLisp
Common Lisp programmable version of LarKC/OpenCYC (And soon Prolog)
logicmoo_clif
Base Forward Chaining Knowledge Base Maintenance System
logicmoo_ec
A SWI-Prolog Pack that lets Prolog code seamlessly switch between planners
logicmoo_nlu
LogicMOO Natural Language Understanding Kit Unified into Prolog
logicmoo_utils
Shared predicates between LOGICMOO projects
logicmoo_workspace
https://jenkins.logicmoo.org/job/logicmoo_workspace https://logicmoo.org/xwiki/
pfc
Pfc: adding forward chaining and truth maintenance to Prolog
programk
Chatbot impls in Prolog
prologmud
MUD Server written in Prolog using Forward chaining
wam_common_lisp
Allow Lisp programs to stop implementing an ad-hoc, informally-specified, bug-ridden, slow implementation of less than half of ISO-Prolog.
Logicmμ's Repositories
logicmoo/hMUD
Browser Telnet MUD client (HTML + Javascript + Flash)
logicmoo/iai_maps
The semantic and ground lab and environment maps for projects in the IAI group in the University of Bremen
logicmoo/knowrob_addons
Packages outside of the core KnowRob stack that are e.g. too large to include them into the standard distribution
logicmoo/MUD_DB_LeanCOR
A description logic reasoner written in prolog based on leanCoP, a theorem prover for first-order logic
logicmoo/MUD_KnowRob
KnowRob Extensions that May be too experimental to be putting in knowrob_addons
logicmoo/MUD_WebTHEA
OWL2 library for Prolog
logicmoo/ors
Ontology Repair System
logicmoo/www.logicmoo.org
Logicmoo Website
logicmoo/cyc-mode
Emacs *CYC major mode for interaction.
logicmoo/DLog
DLog Reasoner Import and continuance in Prolog
logicmoo/lisp5000
Prolog Port of A small dialect of Common Lisp based upon lisp500
logicmoo/MUD_Interpretors
A Lisp interpreter based on the formal semantics of R6RS Scheme in Prolog
logicmoo/opensim4opencog
Automatically exported from code.google.com/p/opensim4opencog
logicmoo/Snark
Mark Stickel's Snark theorem prover