Pfc: adding forward chaining and truth maintenance to Prolog
Primary LanguagePrologBSD 2-Clause "Simplified" LicenseBSD-2-Clause