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

Companion

object Companion

Properties

val FAIL: Truth

The fail atom.

val FAIL_FUNCTOR: String

The functor of FAIL, i.e. "fail".

val FALSE: Truth

The false atom.

val FALSE_FUNCTOR: String

The functor of FALSE, i.e. "false".

val TRUE: Truth

The true atom.

val TRUE_FUNCTOR: String

The functor of TRUE, i.e. "true".

Functions

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.