Douglas R. Miles

Managed Projects

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

opensim4opencog

O

Analyzed about 2 months 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

almost 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

P

Analyzed about 2 months 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

about 3 years since last commit

1 users on Open Hub

Activity Not Available

I Use This

Mostly written in JavaScript

Licenses: No declared licenses

Tags mud opencyc prolog swi-prolog

swicli

S

Analyzed about 2 months ago

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

98.7K lines of code

0 current contributors

over 3 years since last commit

1 users on Open Hub

Activity Not Available

I Use This

Mostly written in C#

Licenses: lgplv3-st...

Tags c# dotnet mono prolog

jrelisp-abcl-ws

J

Analyzed about 2 months ago

JRE Lisp - ABCL Implementation

491K lines of code

0 current contributors

over 9 years since last commit

1 users on Open Hub

Activity Not Available

I Use This

Mostly written in Java

Licenses: No declared licenses

ARC2024_Kaggle

A

Analyzed about 2 months ago

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

157K lines of code

0 current contributors

9 months since last commit

1 users on Open Hub

Activity Not Available

I Use This

Mostly written in Prolog

Licenses: No declared licenses

LogicMOO Simulated World

L

Analyzed about 2 months ago

Use a language CycL or KIF to represent shared ontological integration with a first person MOO system to provide debugging and agent facilities.

1.14M lines of code

0 current contributors

over 21 years since last commit

1 users on Open Hub

Activity Not Available

I Use This

Mostly written in C++

Licenses: No declared licenses

Tags cyc logic opencyc prolog

wam_common_lisp

W

Analyzed about 2 months 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

over 3 years since last commit

1 users on Open Hub

Activity Not Available

I Use This

Mostly written in Lisp

Licenses: No declared licenses

logicmoo_planners

L

Analyzed about 2 months ago

Various Hybrid HTN Planners speaking PDDLish and OCLh

210K lines of code

0 current contributors

about 3 years since last commit

1 users on Open Hub

Activity Not Available

I Use This

Mostly written in Prolog

Licenses: No declared licenses

logicmoo_utils

L

Analyzed about 2 months ago

Common predicates used by external Logicmoo Utils

28.9K lines of code

1 current contributors

about 1 year since last commit

1 users on Open Hub

Activity Not Available

I Use This

Mostly written in Prolog

Licenses: No declared licenses

←
1
2
→