/SLD-Backward-Forward-Chaining

Program which determines wheter a set of atoms can be entailed from a knowledge base constructed by positive Horne Clauses combined with answers to some question.

Primary LanguageProlog

SLD-Backward-Forward-Chaining

Program which determines wheter a set of atoms can be entailed from some positive Horne Clauses combined with some question answers.