solve-classic
/
it.unibo.tuprolog.solve.classic.fsm
/
unfoldGoals
unfold
Goals
fun
Term
.
unfoldGoals
():
Sequence
<
Term
>
Content copied to clipboard