core/it.unibo.tuprolog.argumentation.core.engine/ClauseSource/clausesFor

clausesFor

abstract fun clausesFor(goal: Struct, unificator: Unificator): List<Clause>

The clauses whose heads may unify with goal (through unificator), in their order, as they are when called: the resolution does not see the clauses added or removed afterwards (logical update view)