Module fr.boreal.backward_chaining

Package fr.boreal.backward_chaining.pure

package fr.boreal.backward_chaining.pure

Related Packages

Package	Description
fr.boreal.backward_chaining.pure.rewriting_operator

Classes

Class	Description
PureRewriter	From Melanie Konïg's thesis, algorithm 1 implementation on Graal v1.3 Produces a cover of the set of all rewritings of a query Q with a set of rules R using piece unifiers