core/it.unibo.tuprolog.argumentation.core.runtime/Arg2pUnificator/match

match

open override fun match(term1: Term, term2: Term): Boolean

Theories look clauses up by matching Head :- _ against each stored clause: the body is a fresh variable, which matches any body, so only the heads are compared. Matching the bodies too would cost, with the default unificator, a pass over the stored body for every variable of the head.