Managed Projects
LogicMOO Simulated World
L
No analysis available
Use a language CycL or KIF to represent shared ontological integration with a first person MOO system to provide debugging and agent facilities.
Mostly written in language not available
Licenses:
No declared licenses
opensim4opencog
O
Analyzed almost 2 years ago
The goal of this project is to develop an interface to Opensim for OpenCog and other AI systems. It provides a means of connecting external AI bots over a socket to an avatar in the OpenSim Simulator . It uses TextSL as base and updates it to use libopenmetaverse, and includes DotLisp and a simple
prologmud_server
P
Analyzed 5 months ago
https://gitlab.logicmoo.org/gitlab/logicmoo/prologmud_server
Licenses:
No declared licenses
PrologMUD
P
Analyzed about 7 hours ago
1) Simple MUD Server written in Prolog
2) Logical inference system identical to CyC but written in Prolog
Licenses:
No declared licenses
ARC2024_Kaggle
A
Analyzed about 3 hours ago
A Unique Inductive Logic Solver for the Abstract Reasoning Corpus (ARC)
Licenses:
No declared licenses
swicli
S
Analyzed about 6 hours ago
SWI-Prolog 2-Way interface to Commmon Language Interface C# ..NET/MONO
Licenses:
lgplv3-st...
wam_common_lisp
W
Analyzed 1 day ago
This library is designed to *not* be just another an ad-hoc, informally-specified, bug-ridden, slow implementation of half of Common Lisp.
Licenses:
No declared licenses
logicmoo_planners
L
Analyzed about 9 hours ago
Various Hybrid HTN Planners speaking PDDLish and OCLh
Licenses:
No declared licenses
logicmoo_utils
L
Analyzed about 17 hours ago
Common predicates used by external Logicmoo Utils
Licenses:
No declared licenses