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