theory
/
it.unibo.tuprolog.theory
/
RetractResult
/
isSuccess
is
Success
open val
isSuccess
:
Boolean
Content copied to clipboard