core/it.unibo.tuprolog.core/Scope/substitutionOf

substitutionOf

abstract fun substitutionOf(vararg assignments: Pair<String, Term>): Substitution

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

abstract fun substitutionOf(assignments: Iterable<Pair<Var, Term>>): Substitution

abstract fun substitutionOf(assignments: Sequence<Pair<Var, Term>>): Substitution

Creates a Substitution out of the given Var-Term.