core/it.unibo.tuprolog.core/Empty/Companion

Companion

object Companion

Properties

EMPTY_BLOCK_FUNCTOR

const val EMPTY_BLOCK_FUNCTOR: String

The canonical empty-block functor: {} (same as EmptyBlock.FUNCTOR).

EMPTY_LIST_FUNCTOR

const val EMPTY_LIST_FUNCTOR: String

The canonical empty-list functor: [] (same as EmptyList.FUNCTOR).

Functions

fun block(): EmptyBlock

Returns the singleton empty logic block, i.e. the atom {}.

fun list(): EmptyList

Returns the singleton empty logic list, i.e. the atom [].