onDirectiveMatchingPattern
abstract fun onDirectiveMatchingPattern(directive: Directive, pattern: Term, unifier: Substitution.Unifier)
Invoked when a directive's body unifies with one of patterns, via unifier.
Invoked when a directive's body unifies with one of patterns, via unifier.