core/it.unibo.tuprolog.core/Scope/unifierOf

unifierOf

abstract fun unifierOf(vararg assignments: Pair<String, Term>): Substitution.Unifier

Creates a Substitution.Unifier out of the given Var.name-Term.

Throws

if assignments are contradictory

abstract fun unifierOf(assignments: Iterable<Pair<Var, Term>>): Substitution.Unifier
abstract fun unifierOf(assignments: Sequence<Pair<Var, Term>>): Substitution.Unifier

Creates a Substitution.Unifier out of the given Var-Term.

Throws

if assignments are contradictory

Generated by Dokka
© 2026 Copyright