theory
0.20.9
theory
/
it.unibo.tuprolog.theory
/
Theory
/
size
size
abstract
val
size
:
Long
Content copied to clipboard
The amount of clauses in this
Theory