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