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
|