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.
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.
Prolog
Program which determines wheter a set of atoms can be entailed from some positive Horne Clauses combined with some question answers.