unify/it.unibo.tuprolog.unify/CachedUnificator/context

context

open override val context: <ERROR CLASS>
Content copied to clipboard

The context (in terms of already present bindings) in which the unification is performed