solve-classic
/
it.unibo.tuprolog.solve.classic.fsm
/
ensureRules
ensure
Rules
fun
Sequence
<
Clause
>.
ensureRules
():
Sequence
<
Rule
>
Content copied to clipboard