logicmoo/pfc

Pfc: adding forward chaining and truth maintenance to Prolog

PrologBSD-2-Clause

Issues

Help on basic usage
#2 opened 6 years ago by reverendpaco
1
Move the typesystem is a separate repository (like into https://github.com/TeamSPoon/logicmoo_base )
#1 opened 7 years ago by TeamSPoon
0