solve/it.unibo.tuprolog.solve.stdlib.primitive/EnsureExecutable/ensureType

ensureType

open override fun Solve.Request<ExecutionContext>.ensureType(context: ExecutionContext, term: <ERROR CLASS>)
Content copied to clipboard