DouglasRMiles
@TeamSPoon Robot Please follow @logicmoo instead. thank you!
@TeamSPoon @logicmoo https://github.com/logicmoo
Pinned Repositories
atomspace
The OpenCog (hyper-)graph database and graph rewriting system
LearnPDDL
[WORK IN PROGRESS] A guide to learning, implementing and using PDDL. (Updated Weekly)
MachineSxx
An even smaller simple C++ Prolog Machine
QuProlog
ssciPDDLPlanner
PDDL Generator for Transportation Logistics Scenarios, based on CPS and ITS ontologies
swipl-devel
DIFF https://github.com/SWI-Prolog/swipl-devel/compare/master...logicmoo:minimal_again#files_bucket Issue tracker https://github.com/SWI-Prolog/roadmap/issues/40
swipl-tt
Implementation of dependent type theory in SWI-Prolog
SxxMachine
C++ Prolog/Datalog Inference Engine
SxxMachine_unused
C++ Prolog Machine (unused)
wam_common_lisp
Allow Lisp programs to stop implementing an ad-hoc, informally-specified, bug-ridden, slow implementation of less than half of ISO-Prolog.
DouglasRMiles's Repositories
DouglasRMiles/SxxMachine
C++ Prolog/Datalog Inference Engine
DouglasRMiles/QuProlog
DouglasRMiles/SxxMachine_unused
C++ Prolog Machine (unused)
DouglasRMiles/atomspace
The OpenCog (hyper-)graph database and graph rewriting system
DouglasRMiles/MachineSxx
An even smaller simple C++ Prolog Machine
DouglasRMiles/swipl-devel
DIFF https://github.com/SWI-Prolog/swipl-devel/compare/master...logicmoo:minimal_again#files_bucket Issue tracker https://github.com/SWI-Prolog/roadmap/issues/40
DouglasRMiles/swipl-tt
Implementation of dependent type theory in SWI-Prolog
DouglasRMiles/LearnPDDL
[WORK IN PROGRESS] A guide to learning, implementing and using PDDL. (Updated Weekly)
DouglasRMiles/ssciPDDLPlanner
PDDL Generator for Transportation Logistics Scenarios, based on CPS and ITS ontologies