core/it.unibo.tuprolog.core/Truth/Companion/of

of

fun of(truth: Boolean): Truth

Returns TRUE if truth is true, or FALSE otherwise.

fun of(string: String): Truth

Returns the Truth whose functor equals string.

Throws

IllegalArgumentException

if string is none of "true", "false", or "fail"