core/it.unibo.tuprolog.argumentation.core.runtime.context/ClauseStore/unifiableBodies

unifiableBodies

fun unifiableBodies(head: Term, body: Term): Sequence<Substitution>

Bodies of the clauses whose head unifies with the given one, as stored: the head bindings are not applied, so variables in the stored clauses are left untouched