core/it.unibo.tuprolog.core/Substitution/Companion/unifier

unifier

@JvmStatic
fun unifier(map: Map<Var, Term>): Substitution.Unifier
@JvmStatic
fun unifier(variable: Var, term: Term): Substitution.Unifier

Creates a Unifier of given a map assigning Vars to Terms

@JvmStatic
fun unifier(variable: String, term: Term): Substitution.Unifier

Creates a singleton Unifier containing a single Var-Term assignment. The variable is created on the fly by name, via Var.of

@JvmStatic
fun unifier(substitutionPair: Pair<Var, Term>, vararg substitutionPairs: Pair<Var, Term>): Substitution.Unifier

Crates a Substitution from the given Var-Terms. If any contradiction is found, a SubstitutionException is thrown

@JvmStatic
fun unifier(map: Iterable<Pair<Var, Term>>): Substitution.Unifier

Crates a Unifier from the given Iterable of Var-Terms. If any contradiction is found, a SubstitutionException is thrown

@JvmStatic
fun unifier(map: Sequence<Pair<Var, Term>>): Substitution.Unifier

Crates a Unifier from the given Sequence of Var-Terms. If any contradiction is found, a SubstitutionException is thrown

Generated by Dokka
© 2026 Copyright