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/logicmoo_workspace
https://jenkins.logicmoo.org/job/logicmoo_workspace https://logicmoo.org/xwiki/
logicmoo/prologmud
MUD Server written in Prolog using Forward chaining
logicmoo/CYC_JRTL_with_CommonLisp
Common Lisp programmable version of LarKC/OpenCYC (And soon Prolog)
logicmoo/programk
Chatbot impls in Prolog
logicmoo/pfc
Pfc: adding forward chaining and truth maintenance to Prolog
logicmoo/metta-src-conversions
Many Decades of AI Algorithms translated (src-to-src) into the Hyperon MeTTa Language
logicmoo/tauchain_prolog
Tau Meta Language (TML) Inptereter coded in Prolog
logicmoo/dictoo
Dict-like OO Syntax Pack
logicmoo/logicmoo_utils
Shared predicates between LOGICMOO projects
logicmoo/ARC2024_Kaggle
logicmoo/logicmoo_cg
Conceptual Graph (CG) Libraries in Prolog
logicmoo/Logicmoo_docker
Docker Master Container that starts the rest of the Logicmoo services (see https://hub.docker.com/repository/docker/logicmoo/logicmoo_starter_image )
logicmoo/swish
SWI-Prolog for SHaring: a SWI-Prolog web IDE (Friguzzi also less changes to Main)
logicmoo/vspace-metta
Version Space Candidate Elimination inside of MeTTa
logicmoo/ai-dsl
Artificial Intelligence Domain Specific Language (AI-DSL) to enable autonomous interoperability between AI services.
logicmoo/ARC_study
The Abstraction and Reasoning Corpus
logicmoo/das
Distributed Atomspace.
logicmoo/ilm
Easily fine tune GPT-2 to fill in missing text
logicmoo/logicmoo_webui
logicmoo/metta-testsuite
logicmoo/tuProlog
SxxMachine hack of https://bitbucket.org/tuprologteam/tuProlog.git
logicmoo/hyperon-experimental
OpenCog Hyperon experimental version
logicmoo/hyperon-wam
A Hyperon MeTTa Interpreter/Transpilier that targets the Warren Abstract Machine
logicmoo/logicmoo_workspace_w_remotes
logicmoo/appdapter
logicmoo/elFinder
📁 Open-source file manager for web, written in JavaScript using jQuery and jQuery UI
logicmoo/logicmoo-gatsby
Gatsby starter for a Contentful project from the community.
logicmoo/metta-nars
ONA-style NARS implementation in MeTTa
logicmoo/pyswip
PySwip is a Python - SWI-Prolog bridge enabling to query SWI-Prolog in your Python programs. It features an (incomplete) SWI-Prolog foreign language interface, a utility class that makes it easy querying with Prolog and also a Pythonic interface.
logicmoo/theia
Eclipse Theia is a cloud & desktop IDE framework implemented in TypeScript.