Package-level declarations

Demonstrates applying a it.unibo.tuprolog.core.Substitution to a term via Substitution.applyTo.

Demonstrates walking a chain of variable-to-variable bindings backwards with Substitution.getOriginal.

Demonstrates combining two independent substitutions with the + operator (it.unibo.tuprolog.core.Substitution.plus).

Demonstrates that composing two substitutions that bind the same variable to different, non-unifiable values yields a failed substitution (it.unibo.tuprolog.core.Substitution.Fail/Substitution.isFailed).

Demonstrates the simplest way of building a it.unibo.tuprolog.core.Substitution: via the varargs Substitution.of factory, passing a sequence of Var to Term pairs.