Module fr.boreal.backward_chaining

module fr.boreal.backward_chaining

Module for backward chaining elements of InteGraal

Author:

Florent Tornil

Packages

Exports

Package	Description
fr.boreal.backward_chaining.api
fr.boreal.backward_chaining.core
fr.boreal.backward_chaining.cover
fr.boreal.backward_chaining.evaluators
fr.boreal.backward_chaining.homomorphism
fr.boreal.backward_chaining.pure
fr.boreal.backward_chaining.pure.rewriting_operator
fr.boreal.backward_chaining.source_target
fr.boreal.backward_chaining.unfolding