dsl-core/it.unibo.tuprolog.dsl/LogicProgrammingScopeWithSubstitutions/to

to

open infix fun Var.to(termObject: Any): Substitution.Unifier

Builds the Substitution.Unifier binding this Var to termObject (auto-toTerm-ed).

open infix fun String.to(termObject: Any): Substitution.Unifier

Builds the Substitution.Unifier binding the Var named by this String (via varOf) to termObject.