Uses of Package
fr.boreal.backward_chaining.core

Packages that use fr.boreal.backward_chaining.core

Package	Description
fr.boreal.backward_chaining.core
fr.boreal.backward_chaining.pure
fr.boreal.backward_chaining.unfolding

Classes in fr.boreal.backward_chaining.core used by fr.boreal.backward_chaining.core

Class	Description
QueryCoreProcessor	Compute the core of a FOQuery seen as a set of atoms The computed core is a FOQuery without redundant atoms; 'core' corresponds to the notion of graph theory (the set of atoms being viewed as a bipartite (predicate/term) graph).

Classes in fr.boreal.backward_chaining.core used by fr.boreal.backward_chaining.pure

Class	Description
QueryCoreProcessor	Compute the core of a FOQuery seen as a set of atoms The computed core is a FOQuery without redundant atoms; 'core' corresponds to the notion of graph theory (the set of atoms being viewed as a bipartite (predicate/term) graph).

Classes in fr.boreal.backward_chaining.core used by fr.boreal.backward_chaining.unfolding

Class	Description
QueryCoreProcessor	Compute the core of a FOQuery seen as a set of atoms The computed core is a FOQuery without redundant atoms; 'core' corresponds to the notion of graph theory (the set of atoms being viewed as a bipartite (predicate/term) graph).