solve/it.unibo.tuprolog.solve/ExecutionContext/substitution

substitution

abstract val substitution: <ERROR CLASS>
Content copied to clipboard

The set of current substitution till this context