theory
/
it.unibo.tuprolog.theory
/
RetractResult
/
Failure
/
Failure
Failure
fun <
T
:
Theory
>
Failure
(theory:
T
)
Content copied to clipboard