|
|||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||
| Packages that use Term | |
| alice.tuprolog | |
| alice.tuprolog.lib | |
| Uses of Term in alice.tuprolog |
| Subclasses of Term in alice.tuprolog | |
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 |
class |
NullTerm
tuProlog Null Term, used only for implementation purpose. |
class |
Number
Number abstract class represents numbers prolog data type |
class |
Struct
Struct class represents both compound prolog term and atom term (considered as 0-arity compound). |
class |
Var
This class represents a variable term. |
| Fields in alice.tuprolog declared as Term | |
static Term |
Term.TRUE
|
static Term |
Term.FALSE
|
| Methods in alice.tuprolog that return Term | |
Term |
Var.getTerm()
Gets the term which is referred by the variable. |
Term |
Var.copy()
Gets a copy of this variable |
abstract Term |
Term.copy()
gets a copy of this term. |
Term |
Term.getRenamedCopy()
Gets a renamed copy of this term All the variables in the term are unlinked and renamed |
abstract Term |
Term.getTerm()
Gets the actual term referred by this Term. |
static Term |
Term.parse(java.lang.String st)
Static service to parse a Term from a string. |
static Term |
Term.parse(java.lang.String st,
OperatorManager op)
Parse a Term from a string. |
Term |
Struct.getArg(int index)
Gets the i-th element of this structure No bound check is done |
Term |
Struct.getTerm(int index)
Gets the i-th element of this structure No bound check is done. |
Term |
Struct.getTerm()
|
Term |
Struct.copy()
Gets a copy of this structure |
Term |
Struct.listHead()
Gets the head of this structure supposed to be a list |
Term |
SolveInfo.getTerm(java.lang.String varName)
Gets the value of a variable in the substitution |
Term |
SolveInfo.getQuery()
Gets the query |
Term |
SolveInfo.getSolution()
Gets the solution of the request |
Term |
SolveInfo.getVarValue(java.lang.String name)
Gets the term value bound to a variable |
Term |
Prolog.getRenamedCopy(Term t0)
Gets a copy of a term with variables renamed, using current demostration context. |
Term |
Prolog.toTerm(java.lang.String st)
Gets a term from a string, using the operators currently defined by the engine |
static Term |
Parser.toTerm(java.lang.String st)
Static service to get a term from its string representation |
static Term |
Parser.toTerm(java.lang.String st,
OperatorManager op)
Static service to get a term from its string representation, providing a specific operator manager |
Term |
Parser.getCurrentTerm()
|
Term |
Number.getTerm()
Gets the actual term referred by this Term. |
Term |
Number.copy()
gets a copy of this term. |
Term |
NullTerm.copy()
|
Term |
NullTerm.getTerm()
|
| Methods in alice.tuprolog with parameters of type Term | |
boolean |
Var.isGreater(Term t)
|
boolean |
Var.isEqual(Term t)
|
abstract boolean |
Term.isGreater(Term t)
is term greater than term t? |
abstract boolean |
Term.isEqual(Term t)
Tests if this term is (logically) equal to another |
boolean |
Term.match(Term t)
Tests if this term is unifiable with an other term. |
boolean |
Term.unify(Term t)
Tries to unify two terms The unification is done outside a demonstration context. |
boolean |
Struct.isGreater(Term t)
|
boolean |
Struct.isEqual(Term t)
|
SolveInfo |
Prolog.solve(Term g)
Solves a query |
boolean |
Prolog.unify(Term t0,
Term t1)
Unifies two terms using current demonstration context. |
Term |
Prolog.getRenamedCopy(Term t0)
Gets a copy of a term with variables renamed, using current demostration context. |
java.lang.String |
Prolog.toString(Term term)
Gets the string representation of a term, using operators currently defined by engine |
boolean |
NullTerm.isGreater(Term t)
|
boolean |
NullTerm.isEqual(Term t)
|
boolean |
Long.isGreater(Term t)
Returns true if this integer term is grater that the term provided. |
boolean |
Long.isEqual(Term t)
Returns true if this integer term is equal that the term provided. |
void |
Library.onSolveBegin(Term goal)
method invoked when the engine is going to demonstrate a goal |
boolean |
Int.isGreater(Term t)
Returns true if this integer term is grater that the term provided. |
boolean |
Int.isEqual(Term t)
Returns true if this integer term is equal that the term provided. |
boolean |
Float.isGreater(Term t)
Returns true if this Float term is grater that the term provided. |
boolean |
Float.isEqual(Term t)
Returns true if this Float term is equal that the term provided. |
boolean |
Double.isGreater(Term t)
Returns true if this Double term is grater that the term provided. |
boolean |
Double.isEqual(Term t)
Returns true if this Double term is equal that the term provided. |
| Constructors in alice.tuprolog with parameters of type Term | |
Struct(java.lang.String f,
Term at0)
Builds a compound, with one argument |
|
Struct(java.lang.String f,
Term at0,
Term at1)
Builds a compound, with two arguments |
|
Struct(java.lang.String f,
Term at0,
Term at1,
Term at2)
Builds a compound, with three arguments |
|
Struct(java.lang.String f,
Term at0,
Term at1,
Term at2,
Term at3)
Builds a compound, with four arguments |
|
Struct(java.lang.String f,
Term at0,
Term at1,
Term at2,
Term at3,
Term at4)
Builds a compound, with five arguments |
|
Struct(java.lang.String f,
Term at0,
Term at1,
Term at2,
Term at3,
Term at4,
Term at5)
Builds a compound, with six arguments |
|
Struct(java.lang.String f,
Term at0,
Term at1,
Term at2,
Term at3,
Term at4,
Term at5,
Term at6)
Builds a compound, with seven arguments |
|
Struct(java.lang.String f,
Term[] argList)
Builds a compound, with an array of arguments |
|
Struct(Term h,
Term t)
Builds a list providing head and tail |
|
Struct(Term[] argList)
Builds a list specifying the elements |
|
| Uses of Term in alice.tuprolog.lib |
| Methods in alice.tuprolog.lib with parameters of type Term | |
void |
JavaLibrary.onSolveBegin(Term goal)
|
boolean |
JavaLibrary.java_object_3(Term className,
Struct arg,
Term id)
Creates of a java object - not backtrackable case |
boolean |
JavaLibrary.destroy_object_1(Term id)
Destroy the link to a java object - called not directly, but from predicate java_object (as second choice, for backtracking) |
boolean |
JavaLibrary.java_class_4(Struct classSource,
Struct className,
Struct classPathes,
Term id)
Creates of a java class |
boolean |
JavaLibrary.java_call_3(Term objId,
Struct method,
Term idResult)
Calls a method of a Java object |
boolean |
JavaLibrary.java_array_set_primitive_3(Struct objId,
Number index,
Term what)
|
boolean |
JavaLibrary.java_array_get_primitive_3(Struct objId,
Number index,
Term what)
|
boolean |
ISOLibrary.atom_length_2(Struct arg0,
Term arg1)
|
boolean |
ISOLibrary.atom_chars_2(Term arg0,
Term arg1)
|
boolean |
ISOLibrary.char_code_2(Term arg0,
Term arg1)
|
Term |
ISOLibrary.sin_1(Term val)
|
Term |
ISOLibrary.cos_1(Term val)
|
Term |
ISOLibrary.exp_1(Term val)
|
Term |
ISOLibrary.atan_1(Term val)
|
Term |
ISOLibrary.log_1(Term val)
|
Term |
ISOLibrary.sqrt_1(Term val)
|
Term |
ISOLibrary.abs_1(Term val)
|
Term |
ISOLibrary.sign_1(Term val)
|
Term |
ISOLibrary.float_integer_part_1(Term val)
|
Term |
ISOLibrary.float_fractional_part_1(Term val)
|
Term |
ISOLibrary.floor_1(Term val)
|
Term |
ISOLibrary.round_1(Term val)
|
Term |
ISOLibrary.truncate_1(Term val)
|
Term |
ISOLibrary.ceiling_1(Term val)
|
Term |
ISOLibrary.div_2(Term v0,
Term v1)
|
Term |
ISOLibrary.mod_2(Term v0,
Term v1)
|
Term |
ISOLibrary.rem_2(Term v0,
Term v1)
|
boolean |
IOLibrary.seeing_1(Term t)
|
boolean |
IOLibrary.telling_1(Term arg0)
|
boolean |
IOLibrary.get0_1(Term arg0)
|
boolean |
IOLibrary.get_1(Term arg0)
|
boolean |
IOLibrary.read_1(Term arg0)
|
boolean |
IOLibrary.write_1(Term arg0)
|
boolean |
IOLibrary.print_1(Term arg0)
|
boolean |
IOLibrary.text_from_file_2(Struct fileName,
Term text)
reads a source text from a file. |
boolean |
IOLibrary.rand_float_1(Term t)
|
boolean |
IOLibrary.rand_int_2(Number arg,
Term num)
|
boolean |
BasicLibrary.get_theory_1(Term arg)
gets current theory text |
boolean |
BasicLibrary.load_library_2(Struct className,
Term libName)
|
boolean |
BasicLibrary.constant_1(Term t)
|
boolean |
BasicLibrary.number_1(Term t)
|
boolean |
BasicLibrary.atom_1(Term t)
|
boolean |
BasicLibrary.compound_1(Term t)
|
boolean |
BasicLibrary.list_1(Term t)
|
boolean |
BasicLibrary.var_1(Term t)
|
boolean |
BasicLibrary.nonvar_1(Term t)
|
boolean |
BasicLibrary.atomic_1(Term t)
|
boolean |
BasicLibrary.ground_1(Term t)
|
boolean |
BasicLibrary.expression_equality_2(Term arg0,
Term arg1)
|
boolean |
BasicLibrary.expression_greater_than_2(Term arg0,
Term arg1)
|
boolean |
BasicLibrary.expression_less_than_2(Term arg0,
Term arg1)
|
boolean |
BasicLibrary.term_equality_2(Term arg0,
Term arg1)
|
boolean |
BasicLibrary.term_greater_than_2(Term arg0,
Term arg1)
|
boolean |
BasicLibrary.term_less_than_2(Term arg0,
Term arg1)
|
Term |
BasicLibrary.expression_plus_1(Term arg0)
|
Term |
BasicLibrary.expression_minus_1(Term arg1)
|
Term |
BasicLibrary.expression_bitwise_not_1(Term arg0)
|
Term |
BasicLibrary.expression_plus_2(Term arg0,
Term arg1)
|
Term |
BasicLibrary.expression_minus_2(Term arg0,
Term arg1)
|
Term |
BasicLibrary.expression_multiply_2(Term arg0,
Term arg1)
|
Term |
BasicLibrary.expression_div_2(Term arg0,
Term arg1)
|
Term |
BasicLibrary.expression_integer_div_2(Term arg0,
Term arg1)
|
Term |
BasicLibrary.expression_pow_2(Term arg0,
Term arg1)
|
Term |
BasicLibrary.expression_bitwise_shift_right_2(Term arg0,
Term arg1)
|
Term |
BasicLibrary.expression_bitwise_shift_left_2(Term arg0,
Term arg1)
|
Term |
BasicLibrary.expression_bitwise_and_2(Term arg0,
Term arg1)
|
Term |
BasicLibrary.expression_bitwise_or_2(Term arg0,
Term arg1)
|
boolean |
BasicLibrary.text_term_2(Term arg0,
Term arg1)
bidirectional text/term conversion. |
boolean |
BasicLibrary.text_concat_3(Term source1,
Term source2,
Term dest)
|
boolean |
BasicLibrary.num_atom_2(Term arg0,
Term arg1)
|
|
|||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||