Package | Description |
---|---|
jTrolog.engine | |
jTrolog.lib | |
jTrolog.parser | |
jTrolog.terms |
Modifier and Type | Method and Description |
---|---|
Struct |
BindingsTable.createStructList(Collection complete) |
Struct |
Prolog.retract(Struct sarg0) |
Modifier and Type | Method and Description |
---|---|
void |
Prolog.defineFlag(String name,
Struct valueList,
Term defValue,
boolean modifiable) |
Struct |
Prolog.retract(Struct sarg0) |
Solution |
Prolog.solve(Struct g)
Solves a query
|
Iterator |
BindingsTable.structListIterator(Struct origin,
boolean skipLastEmptyList) |
Modifier and Type | Method and Description |
---|---|
static Struct |
BuiltIn.convertTermToClauseBody(Term body) |
static Struct[] |
BuiltIn.convertTermToClauseBody2(Term body) |
Modifier and Type | Method and Description |
---|---|
boolean |
BasicLibrary.$arg_3(BindingsTable bt,
Int n,
Struct term,
Term arg) |
boolean |
BuiltIn.$find_2(BindingsTable bt,
Struct arg0,
Term arg1) |
boolean |
BasicLibrary.$list_diff_3(BindingsTable bt,
Struct main,
Struct retract,
Var diff) |
boolean |
BuiltIn.$retract_1(BindingsTable bt,
Struct arg0) |
boolean |
BasicLibrary.$stripBagList_5(BindingsTable bt,
Struct witnessIn,
Struct a_and_bSet,
Term aSet,
Term bSet,
Term variant) |
boolean |
BuiltIn.abolish_1(BindingsTable bt,
Struct predicateIndicator)
see 8.9.4 p.81 in ISO standard
|
boolean |
ISOLibrary.atom_length_2(BindingsTable bt,
Struct arg,
Term len) |
boolean |
BuiltIn.dynamic_1(BindingsTable bt,
Struct predicateIndicator)
Registers the existence predicate indicator in the dynamic data base.
|
void |
BuiltIn.flag_4(BindingsTable bt,
Term flagName,
Struct flagSet,
Term flagDefault,
Term flagModifiable) |
boolean |
BasicLibrary.get_operators_list_1(BindingsTable bt,
Struct argument) |
static String |
BuiltIn.isPredicateIndicator(Struct predicateIndicator,
BindingsTable bt) |
boolean |
BuiltIn.load_library_1(BindingsTable bt,
Struct arg0) |
boolean |
BasicLibrary.load_library_2(BindingsTable bt,
Struct className,
Term libName) |
void |
BuiltIn.solve_1(BindingsTable bt,
Struct goal) |
boolean |
BuiltIn.unload_library_1(BindingsTable bt,
Struct arg0)
unloads a engine library, given its java class name
|
Modifier and Type | Method and Description |
---|---|
static Struct |
Parser.createListContainingAnyVars(int lengthInt) |
static Struct |
Parser.createStructList(LinkedList complete) |
static Struct |
Parser.intsToStructList(int[] numbers) |
static Struct |
Parser.stringToStructList(String charList) |
Modifier and Type | Method and Description |
---|---|
static boolean |
Parser.isSemiAndNotIf(Struct struct) |
Modifier and Type | Class and Description |
---|---|
class |
StructAtom |
class |
WrapStruct |
Modifier and Type | Field and Description |
---|---|
Struct |
Clause.head |
Struct |
Clause.original |
Struct[] |
Clause.tail |
Modifier and Type | Method and Description |
---|---|
Struct |
Flag.getValueList() |
Modifier and Type | Method and Description |
---|---|
static Iterator |
Struct.iterator(Struct structList) |
Constructor and Description |
---|
Clause(Struct[] tail,
Struct head,
Struct original) |
Clause(Struct[] tail,
Struct head,
Struct original) |
Flag(String name,
Struct valueSet,
Term defValue,
boolean modifiable)
Builds a Prolog flag
|
WrapStruct(Struct struct,
int renameVarID) |
Copyright © 2020–2024 Prolobjectlink Project. All rights reserved.