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

of

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

Creates a Unifier of given a map assigning Vars to Terms

@JvmStatic
fun of(variable: Var, term: Term): Substitution.Unifier

Creates a singleton Unifier containing a single Var-Term assignment

@JvmStatic
fun of(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 of(substitutionPair: Pair<Var, Term>, vararg substitutionPairs: Pair<Var, Term>): Substitution

Crates a Substitution from the given Var-Terms. If any contradiction is found, an instance of Substitution.Fail is returned

@JvmStatic
fun of(substitutionPairs: Iterable<Pair<Var, Term>>): Substitution

Crates a Substitution from the given Iterable of Var-Terms. If any contradiction is found, an instance of Substitution.Fail is returned

@JvmStatic
fun of(substitutionPairs: Sequence<Pair<Var, Term>>): Substitution

Crates a Substitution from the given Sequence of Var-Terms. If any contradiction is found, an instance of Substitution.Fail is returned

@JvmStatic
fun of(substitution: Substitution, vararg substitutions: Substitution): Substitution

Composes the provided Substitutions by merging them. If any failure or contradiction is found, the result will be Substitution.Fail

Generated by Dokka
© 2026 Copyright