solve
0.20.9
common
solve
/
it.unibo.tuprolog.solve.sideffects
/
SideEffect
/
AddClausesToKb
/
AddClausesToKb
Add
Clauses
To
Kb
common
fun
AddClausesToKb
(
clauses
:
Iterable
<
<ERROR CLASS>
>
,
onTop
:
Boolean
)
Content copied to clipboard