Package | Description |
---|---|
jTrolog.engine | |
jTrolog.lib | |
jTrolog.parser | |
jTrolog.terms |
Modifier and Type | Method and Description |
---|---|
Number |
BindingsTable.evalExpression(Prolog prolog,
EvaluableTerm expression) |
Modifier and Type | Method and Description |
---|---|
boolean |
BasicLibrary.erase_1(BindingsTable bt,
Number key) |
boolean |
BasicLibrary.erase_2(BindingsTable bt,
Number key,
Term list) |
boolean |
BuiltIn.halt_1(BindingsTable bt,
Number arg0) |
static boolean |
BasicLibrary.number_equality_2(Number listIn,
Number structIn) |
void |
BuiltIn.op_3(BindingsTable bt,
Number arg0,
StructAtom arg1,
StructAtom arg2)
op(+Precedence, +Type, +Name) defines a new operator if precedence not in
0..1200 = delete currently present op
|
boolean |
IOLibrary.rand_int_2(BindingsTable bt,
Number argNum,
Term num) |
boolean |
BasicLibrary.record_2(BindingsTable bt,
Number key,
Term unit) |
boolean |
BasicLibrary.recorded_2(BindingsTable bt,
Number key,
Term list) |
Modifier and Type | Method and Description |
---|---|
static Number |
Parser.parseNumber(String s) |
Modifier and Type | Class and Description |
---|---|
class |
Double
Double class represents the double prolog data type
|
class |
Float
Float class represents the float prolog data type
|
class |
Int
Int class represents the integer prolog data type
|
class |
Long
Long class represents the long prolog data type
|
Modifier and Type | Method and Description |
---|---|
static Number |
Number.create(String s) |
static Number |
Int.create(String s) |
static Number |
Number.getIntegerNumber(long num) |
Modifier and Type | Method and Description |
---|---|
static int |
Number.compareDoubleValues(Number one,
Number two) |
Copyright © 2020–2024 Prolobjectlink Project. All rights reserved.