Thank you for your interest in working with LOGICMOO!   We are implementing AGI with a whole new methodology devised after 30+ years of research.   

If you came here from outside you may want to first read our Introduction to find out where we have out discussion forums.

Within week or so we will have updated a list of needs for the project.  Here ToDo

Source Code Access for Devs

With your GitHub member name add a new Issue at  with the title:   

Membership: @yourname


For large file pushes  also Join Us on Gitlab!

Semi-Technical Overview

In the very simplest description there is a Nomic-MU (Game World) for the LM489 (AGI Bot) and the player to interact. Developed from Franken-SWISH notebook.

You'll want to take a look at the Intro to LOGICMOO Modules to create AGI

Then you should see this Platform Overview.

It's important to understand that LOGICMOO is a "representational-ist" cognitive architecture that uses several multi-coding agents. For information about existing cognitive architectures see Psychologically Inspired Symbolic Cognitive Architectures. The LOGICMOO system is similarly complex. 

Developer Skills and Knowledge

We'd love to have you and if you're looking for a project that will push you to hone and learn new skills this is probably it.   (see also our guide for non-programmers)  You will want to really understand the larger how and why of every detail you will need both a Logic and Programming skillset - LOGICMOO implements a paraconsistent open world defeasible modal temporal epistemological deontic logic.

You'll need to be at least comfortable with some Knowledge/Ontology Representation Language(s), Discursive Logic(s).  And for the deep software development you'll need to learn Prolog, Picat, or Answer Set Programming (like DLV.)  We have started to compile a Developer Study Guide to get you started.

Fill out our "Future Meetings" Survey



Source Repositories

Source repo


Within week or so we will have updated a list of needs for the project.  Here ToDo

Logicmoo AGI
Artificial General Intelligence Libraries for Prolog
Logicmoo Base
Base Libraries that extend Prolog to support Dynamic Epistemic Logic (DEL) with Constraints 
Logicmoo CG
Conceptual Graph Libraries for Prolog with test data 
Logicmoo EC
The Event Calculus Libraries for planners speaking: PDDL, OCLh, LPS, and Decreasoner EventCalc 
Logicmoo NARS
Like OpenNARS, but in Libraries that extend Prolog to support Narseese 
Logicmoo NLU
Natural Language Understanding Libraries Various English to Logic Converters 


Sample Online text adventure game 


 Also see FRDCSA
"FRDCSA" stands for "Formalized Research Database: Cluster, Study and Apply".
Hook up to an existing IRC Client called an Eggdrop 
Prolog interface to Slack 
SWI-Prolog interface to C/C++/.NET/Mono/Objective-C 
WAM Common Lisp
ANSI Common Lisp implemented in Prolog 

Logicmoo Utils

Utility Libraries that are commonly shared throughout LOGICMOO Software 
Clause expansion Utils for deciding which order to run Goals in a body 
Dict-like OO Syntax 
Global Variable Syntax 
Magically document prolog source files based
on predicate and variable naming conventions 
Reduce floundering of DCGs by constraining and narrowing search 
Implement your own Abstract Predicate Streams 
HUGE amount of lexical and test data (Logicmoo PLData)


LOGICMOO Expansions

(On Third Party Systems)



Prolog Forward Chaining (PFC) 
LPS Corner with SWISH and Dialect


Unused Content

Copywrite © 2020 LOGICMOO (Unless otherwise credited in page)