theory
/
it.unibo.tuprolog.theory
/
MutableTheory
/
abolish
abolish
abstract override fun
abolish
(indicator:
Indicator
):
MutableTheory
Content copied to clipboard