|Did you know ...||Search Documentation:|
|Pack pfc -- README.md|
Installation using SWI-Prolog 7.1 or later:
This is a modification of Tim Finin's PFC.
Notable changes are:
=>is renamed to
==>to avoid conflict with extensive downstream use of =>/2 to mean logical implication.
<==>to avoid conflict with logical equivance
<=is renamed to
<-to avoid conflict with extensive downstream use of <=/2 to mean reverse implication.. Historically '<-' had meant what is now know as ":-" being unused it was borrowed as it means "Backchaining"
The Pfc system is a package that provides a forward reasoning capability to be used together with conventional Prolog programs. The Pfc inference rules are Prolog terms which are asserted as clauses into the regular Prolog database. When new facts or forward reasoning rules are added to the Prolog database (via a special predicate add/1, forward reasoning is triggered and additional facts that can be deduced via the application of the forward chaining rules are also added to the database. A simple justification-based truth-maintenance system is provided as well as simple predicates to explore the resulting proof trees.
It was originally written circa 1988 at the Unisys Paoli Research Center. For more information, see
If you use Pfc in your research, please cite the 1989 IEEE CAIA paper.
Document this pack! Write tests Untangle the 'pack' install deps Still in progress (Moving predicates over here from logicmoo_base)
Copyright (c) 2017, Douglas Miles <email@example.com> and TeamSPoon All rights reserved.
Dislike having tons of forks that are several commits behind the main git repo?
Be old school - Please ask to be added to TeamSPoon and Contribute directly ! Still, we wont stop you from doing it the Fork+PullRequest method