solve-classic
/
it.unibo.tuprolog.solve.classic
/
ClassicExecutionContext
/
currentGoal
current
Goal
val
currentGoal
:
Term
?
Content copied to clipboard