unify/it.unibo.tuprolog.unify/AbstractUnificator/AbstractUnificator

AbstractUnificator

constructor(context: Substitution)

Parameters

context

the starting bindings assumed by this Unificator; see Unificator.context

constructor()

Creates an AbstractUnificator with an empty starting context.