core/it.unibo.tuprolog.core/Terms

Terms

object Terms

Internal-use constants and patterns (well-formedness patterns, canonical/reserved functors) shared across the Term hierarchy's interfaces and companions. Most of these are re-exposed as named constants on the relevant type (e.g. Var.NAME_PATTERN, Struct.WELL_FORMED_FUNCTOR_PATTERN, Cons.FUNCTOR); prefer those over referencing Terms directly, which exists mainly to avoid duplicating these values across types.

Properties

ANONYMOUS_VAR_NAME

const val ANONYMOUS_VAR_NAME: String

val ATOM_PATTERN: Regex

const val BLOCK_FUNCTOR: String

const val CLAUSE_FUNCTOR: String

const val CONS_FUNCTOR: String

EMPTY_BLOCK_FUNCTOR

const val EMPTY_BLOCK_FUNCTOR: String

EMPTY_LIST_FUNCTOR

const val EMPTY_LIST_FUNCTOR: String

const val FAIL_FUNCTOR: String

const val FALSE_FUNCTOR: String

INDICATOR_FUNCTOR

const val INDICATOR_FUNCTOR: String

INTEGER_PATTERN

val INTEGER_PATTERN: Regex

NON_PRINTABLE_CHARACTER_PATTERN

val NON_PRINTABLE_CHARACTER_PATTERN: Regex

val REAL_PATTERN: Regex

const val TRUE_FUNCTOR: String

const val TUPLE_FUNCTOR: String

VAR_NAME_PATTERN

val VAR_NAME_PATTERN: Regex

WELL_FORMED_FUNCTOR_PATTERN

val WELL_FORMED_FUNCTOR_PATTERN: Regex

Functions

fun escapeChar(char: Char, singleQuotes: Boolean = true, doubleQuotes: Boolean = !singleQuotes): String