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/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.
logicmoo/logicmoo_clif
Base Forward Chaining Knowledge Base Maintenance System
logicmoo/logicmoo_nlu
LogicMOO Natural Language Understanding Kit Unified into Prolog
logicmoo/sigma_ace
Attempto Controlled English - Restricted English to logic translation
logicmoo/prologmud_I7
Small adventure Games Gleaned off the Web such as "Marty's Prolog Adventure Prototype"
logicmoo/logicmoo_nars
NAL Processor for Prolog
logicmoo/multimodal_dcg
Reduce floundering of DCGs by constraining and narrowing search
logicmoo/predicate_streams
Implement your own prolog streams with predicate sources and sinks
logicmoo/eggdrop
Allows prolog code to use an existing IRC Client called Eggdrop
logicmoo/instant_prolog_docs
Magically document prolog source files based on predicate and variable naming conventions
logicmoo/prologmud_samples
Online text adventure game - Samples and testing pack for prologmud
logicmoo/gvar_syntax
SWI-Prolog Pack that Allows new Global Variable Syntax to Prolog
logicmoo/knowrob
MERGE of KnowRob core packages and general issue tracker for the KnowRob knowledge base
logicmoo/logicmoo_lps
Fork of https://bitbucket.org/lpsmasters/lps_corner/
logicmoo/NomicMU
NLU/NLG based Nomic MU for world-building
logicmoo/planner-api
FLP Prolog <-> PDDL Planning Library
logicmoo/slack_prolog
Prolog Slack Client
logicmoo/atomspace
The OpenCog (hyper-)graph database and graph rewriting system
logicmoo/body_reordering
Pack for clause expansions for deciding which order to run Goals in a body
logicmoo/ClioPatria
ClioPatria provides an RDF application platform
logicmoo/phil
PHIL is a parameter learning algorithm that learns the parameters of Hierarchical Probabilistic Logic Programs applying gradient descent and Expectation Maximization
logicmoo/QuProlog
logicmoo/scryer-prolog
A modern Prolog implementation written mostly in Rust.
logicmoo/Alpino
Alpino parser and related tools for Dutch
logicmoo/babel-core
upstream: https://gitlab.ai.vub.ac.be/ehai/babel-core
logicmoo/logicmoo_pldata
Large PLData/Language Files used by LogicMOO
logicmoo/pdkb-planning
Project for converting multi-agent epistemic planning problems to automated planning problems. Also includes utilities for dealing with Proper Doxastic Knowledge Bases (PDKBs).
logicmoo/swipl-devel
Main development repository
logicmoo/ure
Unified Rule Engine. Graph rewriting system for the AtomSpace. Used as reasoning engine for OpenCog.
logicmoo/xwiki
Logicmoo XWiki Storage