Douglas R. Miles

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.

0 lines of code

0 current contributors

0 since last commit

1 users on Open Hub

Activity Not Available

I Use This

Mostly written in language not available

Licenses: No declared licenses

Tags cyc logic opencyc prolog

opensim4opencog

O

Analyzed over 1 year 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 ... [More]

1.01M lines of code

0 current contributors

about 12 years since last commit

1 users on Open Hub

Activity Not Available

I Use This

Mostly written in C#

Tags aiml bot bots c csharp cyc libomv libopenmetaverse libsecondlife lisp opencog opencyc 3 more...

prologmud_server

P

Analyzed 3 months ago

https://gitlab.logicmoo.org/gitlab/logicmoo/prologmud_server

8.98M lines of code

0 current contributors

over 2 years since last commit

1 users on Open Hub

Activity Not Available

I Use This

Mostly written in Python

Licenses: No declared licenses

PrologMUD

P

Analyzed about 19 hours ago

1) Simple MUD Server written in Prolog 2) Logical inference system identical to CyC but written in Prolog

13.8K lines of code

1 current contributors

over 3 years since last commit

1 users on Open Hub

Inactive

I Use This

Mostly written in JavaScript

Licenses: No declared licenses

Tags mud opencyc prolog swi-prolog

jrelisp-abcl-ws

J

Analyzed about 9 hours ago

JRE Lisp - ABCL Implementation

491K lines of code

0 current contributors

almost 10 years since last commit

1 users on Open Hub

Inactive

I Use This

Mostly written in Java

Licenses: No declared licenses

ARC2024_Kaggle

A

Analyzed about 22 hours ago

A Unique Inductive Logic Solver for the Abstract Reasoning Corpus (ARC)

271K lines of code

0 current contributors

3 months since last commit

1 users on Open Hub

Very Low Activity

I Use This

Mostly written in Prolog

Licenses: No declared licenses

swicli

S

Analyzed 1 day ago

SWI-Prolog 2-Way interface to Commmon Language Interface C# ..NET/MONO

98.7K lines of code

0 current contributors

almost 4 years since last commit

1 users on Open Hub

Inactive

I Use This

Mostly written in C#

Licenses: lgplv3-st...

Tags c# dotnet mono prolog

wam_common_lisp

W

Analyzed about 2 hours ago

This library is designed to *not* be just another an ad-hoc, informally-specified, bug-ridden, slow implementation of half of Common Lisp.

207K lines of code

1 current contributors

almost 4 years since last commit

1 users on Open Hub

Inactive

I Use This

Mostly written in Lisp

Licenses: No declared licenses

logicmoo_planners

L

Analyzed 1 day ago

Various Hybrid HTN Planners speaking PDDLish and OCLh

210K lines of code

0 current contributors

over 3 years since last commit

1 users on Open Hub

Inactive

I Use This

Mostly written in Prolog

Licenses: No declared licenses

logicmoo_utils

L

Analyzed 1 day ago

Common predicates used by external Logicmoo Utils

28.9K lines of code

1 current contributors

over 1 year since last commit

1 users on Open Hub

Very Low Activity

I Use This

Mostly written in Prolog

Licenses: No declared licenses

←
1
2
→