module:fr.boreal.backward_chaining
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
