Terms

object Terms: Any

Fields

Name Description
val VAR_NAME_PATTERN: @JvmField
val WELL_FORMED_FUNCTOR_PATTERN: @JvmField
val ATOM_PATTERN: @JvmField
val NON_PRINTABLE_CHARACTER_PATTERN: @JvmField
val REAL_PATTERN: @JvmField
val INTEGER_PATTERN: @JvmField
const ANONYMOUS_VAR_NAME: String
const TUPLE_FUNCTOR: String
const TRUE_FUNCTOR: String
const FALSE_FUNCTOR: String
const FAIL_FUNCTOR: String
const BLOCK_FUNCTOR: String
const CLAUSE_FUNCTOR: String
const CONS_FUNCTOR: String
const EMPTY_LIST_FUNCTOR: String
const EMPTY_BLOCK_FUNCTOR: String
const INDICATOR_FUNCTOR: String

Methods

escapeChar

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

Parameters

Name Description
char: Char
singleQuotes: Boolean
doubleQuotes: Boolean

ReturnValue

Name Description
String