solve
0.20.9
common
solve
/
it.unibo.tuprolog.solve.sideffects
/
SideEffect
/
AddClausesToKb
/
onTop
on
Top
common
open
val
onTop
:
Boolean
Content copied to clipboard