Logicmμ

Results 5 repositories owned by


                                            Logicmμ

Stars

Forks

Watchers

Allow Lisp programs to stop implementing an ad-hoc, informally-specified, bug-ridden, slow implementation of less than half of ISO-Prolog.

Stars

Forks

Watchers

Base Forward Chaining Knowledge Base Maintenance System

Stars

Forks

Watchers

https://jenkins.logicmoo.org/job/logicmoo_workspace https://logicmoo.org/xwiki/

Stars

Forks

Watchers

MUD Server written in Prolog using Forward chaining

Stars

Forks

Watchers

Common Lisp programmable version of LarKC/OpenCYC (And soon Prolog)