solve
/
it.unibo.tuprolog.solve.exception
/
TuPrologRuntimeException
/
pushContext
common
push
Context
open fun
pushContext
(newContext:
ExecutionContext
):
TuPrologRuntimeException
Content copied to clipboard