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

get

open operator fun Substitution.get(term: Any): Term?

Looks up the Term this Substitution binds term to, null if unbound.

Throws

IllegalArgumentException

if term does not toTerm into a Var.