core/it.unibo.tuprolog.core/Block/Companion

Companion

object Companion

Properties

const val EMPTY_FUNCTOR: String

The functor of an EmptyBlock, coincidentally equal to FUNCTOR itself (i.e. the atom {}).

const val FUNCTOR: String

The canonical block functor: {}

Functions

fun empty(): EmptyBlock

Creates a new, empty Block, i.e. the {} atom.

fun of(terms: Iterable<Term>): Block

fun of(terms: List<Term>): Block

fun of(terms: Sequence<Term>): Block

fun of(vararg terms: Term): Block

Creates a Block wrapping the given terms.