Uses of Class
jTrolog.terms.Term

Packages that use Term

Package	Description
jTrolog.engine
jTrolog.lib
jTrolog.parser
jTrolog.terms

Uses of Term in jTrolog.engine

Methods in jTrolog.engine that return Term

Modifier and Type	Method and Description
Term	BindingsTable.flatCopy(Term original, int keepCtx)
Term	Solution.getBinding(String varName)
Term	Prolog.getFlagValue(String name)
Term	Prolog.getPrologFlagList()
Term	Solution.getSolution()
Term	BindingsTable.resolve(Term term)
Term	BindingsTable.resolveFaster(Term term, int ctx)
static Term	BindingsTable.unWrap(Term l)
Term	BindingsTable.variant(Term original) See 7.1.6.1 Variants of a term in the ISO spec this method resolves all the terms children.
Term	BindingsTable.wrapWithID(Term t)
static Term	BindingsTable.wrapWithID(Term t, int renameVarID)

Methods in jTrolog.engine with parameters of type Term

Modifier and Type	Method and Description
void	Prolog.defineFlag(String name, Struct valueList, Term defValue, boolean modifiable)
Term	BindingsTable.flatCopy(Term original, int keepCtx)
static boolean	Prolog.match(Term t0, Term t1) Matches the structure of the two original terms.
void	Prolog.onSolveBegin(Term g)
Term	BindingsTable.resolve(Term term)
Term	BindingsTable.resolveFaster(Term term, int ctx)
boolean	BindingsTable.unify(Term t0, Term t1)
static Term	BindingsTable.unWrap(Term l)
Term	BindingsTable.variant(Term original) See 7.1.6.1 Variants of a term in the ISO spec this method resolves all the terms children.
Term	BindingsTable.wrapWithID(Term t)
static Term	BindingsTable.wrapWithID(Term t, int renameVarID)

Constructors in jTrolog.engine with parameters of type Term

Constructor and Description
Solution(HashMap bindings, Term solution)
Solution(Term solution)

Uses of Term in jTrolog.lib

Methods in jTrolog.lib that return Term

Modifier and Type	Method and Description
Term	ISOLibrary.abs_1(BindingsTable bt, EvaluableTerm val)
Term	ISOLibrary.atan_1(BindingsTable bt, EvaluableTerm val)
Term	ISOLibrary.ceiling_1(BindingsTable bt, EvaluableTerm val)
Term	ISOLibrary.cos_1(BindingsTable bt, EvaluableTerm val)
Term	ISOLibrary.div_2(BindingsTable bt, EvaluableTerm v0, EvaluableTerm v1)
Term	BasicLibrary.eval_1(BindingsTable bt, EvaluableTerm structIn)
Term	ISOLibrary.exp_1(BindingsTable bt, EvaluableTerm val)
Term	BasicLibrary.expression_bitwise_and_2(BindingsTable bt, EvaluableTerm structIn, EvaluableTerm listIn)
Term	BasicLibrary.expression_bitwise_not_1(BindingsTable bt, EvaluableTerm structIn)
Term	BasicLibrary.expression_bitwise_or_2(BindingsTable bt, EvaluableTerm structIn, EvaluableTerm listIn)
Term	BasicLibrary.expression_bitwise_shift_left_2(BindingsTable bt, EvaluableTerm structIn, EvaluableTerm listIn)
Term	BasicLibrary.expression_bitwise_shift_right_2(BindingsTable bt, EvaluableTerm structIn, EvaluableTerm listIn)
Term	BasicLibrary.expression_div_2(BindingsTable bt, EvaluableTerm structIn, EvaluableTerm listIn)
Term	BasicLibrary.expression_integer_div_2(BindingsTable bt, EvaluableTerm structIn, EvaluableTerm listIn)
Term	BasicLibrary.expression_minus_1(BindingsTable bt, EvaluableTerm listIn)
Term	BasicLibrary.expression_minus_2(BindingsTable bt, EvaluableTerm structIn, EvaluableTerm listIn)
Term	BasicLibrary.expression_multiply_2(BindingsTable bt, EvaluableTerm structIn, EvaluableTerm listIn)
Term	BasicLibrary.expression_plus_1(BindingsTable bt, EvaluableTerm structIn)
Term	BasicLibrary.expression_plus_2(BindingsTable bt, EvaluableTerm structIn, EvaluableTerm listIn)
Term	BasicLibrary.expression_pow_2(BindingsTable bt, EvaluableTerm structIn, EvaluableTerm listIn)
Term	ISOLibrary.float_fractional_part_1(BindingsTable bt, EvaluableTerm val)
Term	ISOLibrary.float_integer_part_1(BindingsTable bt, EvaluableTerm val)
Term	ISOLibrary.floor_1(BindingsTable bt, EvaluableTerm val)
Term	ISOLibrary.log_1(BindingsTable bt, EvaluableTerm val)
Term	ISOLibrary.mod_2(BindingsTable bt, EvaluableTerm v0, EvaluableTerm v1)
Term	ISOLibrary.rem_2(BindingsTable bt, EvaluableTerm v0, EvaluableTerm v1)
Term	ISOLibrary.round_1(BindingsTable bt, EvaluableTerm val)
Term	ISOLibrary.sign_1(BindingsTable bt, EvaluableTerm val)
Term	ISOLibrary.sin_1(BindingsTable bt, EvaluableTerm val)
Term	ISOLibrary.sqrt_1(BindingsTable bt, EvaluableTerm val)
Term	ISOLibrary.truncate_1(BindingsTable bt, EvaluableTerm val)

Methods in jTrolog.lib with parameters of type Term

Modifier and Type	Method and Description
boolean	BasicLibrary.$all_dynamic_predicate_indicators_1(BindingsTable bt, Term iterator)
boolean	BasicLibrary.$arg_3(BindingsTable bt, Int n, Struct term, Term arg)
boolean	BasicLibrary.$current_pred_impl_3(BindingsTable bt, Term name, Term arity, IteratorAsTerm allDynamicPIs)
boolean	BuiltIn.$debug_1(BindingsTable bt, Term arg0)
boolean	BuiltIn.$debug_3(BindingsTable bt, Term arg0, Term arg2, Term arg3)
boolean	BuiltIn.$domain_error_zero_1(BindingsTable bt, Term term)
boolean	BuiltIn.$find_2(BindingsTable bt, Struct arg0, Term arg1)
boolean	BasicLibrary.$functor_3(BindingsTable bt, Term term, Term name, Term arity)
boolean	BuiltIn.$representation_error_1(BindingsTable bt, Term maxArity)
boolean	BasicLibrary.$stripBagList_5(BindingsTable bt, Struct witnessIn, Struct a_and_bSet, Term aSet, Term bSet, Term variant)
boolean	BasicLibrary.$tofromlist_2(BindingsTable bt, Term structIn, Term listIn)
boolean	BuiltIn.$type_error_2(BindingsTable bt, Term typeName, Term term)
boolean	BasicLibrary.add_theory_1(BindingsTable bt, Term th) adds a new theory provided as a text
boolean	BuiltIn.asserta_1(BindingsTable bt, Term arg0)
boolean	BuiltIn.assertz_1(BindingsTable bt, Term arg0)
static boolean	BasicLibrary.atom_1(BindingsTable bt, Term t)
boolean	ISOLibrary.atom_chars_2(BindingsTable bt, Term arg0, Term arg1)
boolean	ISOLibrary.atom_length_2(BindingsTable bt, Struct arg, Term len)
static boolean	BasicLibrary.atomic_1(BindingsTable bt, Term t)
static boolean	BuiltIn.call_1(BindingsTable bt, Term arg1)
boolean	ISOLibrary.char_code_2(BindingsTable bt, Term arg0, Term arg1)
boolean	BuiltIn.comma_2(BindingsTable bt, Term arg0, Term arg1) Primitives
static boolean	BasicLibrary.compound_1(BindingsTable bt, Term t)
static boolean	BasicLibrary.constant_1(BindingsTable bt, Term t)
void	BuiltIn.consult_1(BindingsTable bt, Term theory)
static Clause	BuiltIn.convertTermToClause(Term arg0) see ISO 7.6.1 and 7.6.2
static Struct	BuiltIn.convertTermToClauseBody(Term body)
static Struct[]	BuiltIn.convertTermToClauseBody2(Term body)
boolean	BuiltIn.copy_2(BindingsTable bt, Term arg0, Term arg1)
boolean	BasicLibrary.current_time_1(BindingsTable bt, Term time)
boolean	BuiltIn.deunify_2(BindingsTable bt, Term arg0, Term arg1)
boolean	BasicLibrary.erase_2(BindingsTable bt, Number key, Term list)
void	BuiltIn.flag_4(BindingsTable bt, Term flagName, Struct flagSet, Term flagDefault, Term flagModifiable)
boolean	BuiltIn.flag_list_1(BindingsTable bt, Term arg0)
static boolean	BasicLibrary.float_1(BindingsTable bt, Term t)
boolean	IOLibrary.get_1(BindingsTable bt, Term arg0)
boolean	BuiltIn.get_prolog_flag_2(BindingsTable bt, Term arg0, Term arg1)
boolean	BasicLibrary.get_theory_1(BindingsTable bt, Term arg) gets current theory text
boolean	IOLibrary.get0_1(BindingsTable bt, Term arg0)
static boolean	BasicLibrary.ground_1(BindingsTable bt, Term t)
static boolean	BasicLibrary.integer_1(BindingsTable bt, Term t)
boolean	BasicLibrary.is_2(BindingsTable bt, Term structIn, EvaluableTerm listIn)
static boolean	BasicLibrary.list_1(BindingsTable bt, Term t)
void	BuiltIn.load_library_1(BindingsTable bt, Term lib)
boolean	BasicLibrary.load_library_2(BindingsTable bt, Struct className, Term libName)
boolean	BasicLibrary.nonvar_1(BindingsTable bt, Term t)
boolean	BasicLibrary.num_atom_2(BindingsTable bt, Term structIn, Term listIn)
static boolean	BasicLibrary.number_1(BindingsTable bt, Term t)
void	Library.onSolveBegin(Term goal) method invoked when the engine is going to demonstrate a goal
boolean	IOLibrary.print_1(BindingsTable bt, Term arg0)
boolean	IOLibrary.put_1(BindingsTable bt, Term arg0)
boolean	IOLibrary.rand_float_1(BindingsTable bt, Term t)
boolean	IOLibrary.rand_int_2(BindingsTable bt, Number argNum, Term num)
boolean	IOLibrary.read_1(BindingsTable bt, Term arg0)
boolean	BasicLibrary.record_2(BindingsTable bt, Number key, Term unit)
boolean	BasicLibrary.recorded_2(BindingsTable bt, Number key, Term list)
boolean	IOLibrary.see_1(BindingsTable bt, Term arg0)
boolean	IOLibrary.seeing_1(BindingsTable bt, Term t)
boolean	BuiltIn.set_prolog_flag_2(BindingsTable bt, Term arg0, Term arg1)
boolean	BasicLibrary.set_theory_1(BindingsTable bt, Term th) sets a new theory provided as a text
boolean	IOLibrary.tell_1(BindingsTable bt, Term arg0)
boolean	IOLibrary.telling_1(BindingsTable bt, Term arg0)
static boolean	BasicLibrary.term_equality_2(BindingsTable bt, Term structIn, Term listIn)
static boolean	BasicLibrary.term_greater_than_2(BindingsTable bt, Term structIn, Term listIn)
static boolean	BasicLibrary.term_less_than_2(BindingsTable bt, Term structIn, Term listIn)
boolean	BasicLibrary.text_concat_3(BindingsTable bt, Term source1, Term source2, Term dest)
boolean	IOLibrary.text_from_file_2(BindingsTable bt, Term file_name, Term text) reads a source text from a file.
boolean	BasicLibrary.text_term_2(BindingsTable bt, Term structIn, Term listIn) bidirectional text/term conversion.
boolean	BuiltIn.unify_2(BindingsTable bt, Term arg0, Term arg1)
boolean	BasicLibrary.var_1(BindingsTable bt, Term t)
boolean	BasicLibrary.variable_set_2(BindingsTable bt, Term withVars, Term varList)
boolean	IOLibrary.write_1(BindingsTable bt, Term arg0)

Uses of Term in jTrolog.parser

Methods in jTrolog.parser that return Term

Modifier and Type	Method and Description
Term	Parser.nextTerm(boolean endNeeded) Parses next term from the stream built on string.

Uses of Term in jTrolog.terms

Subclasses of Term in jTrolog.terms

Modifier and Type	Class and Description
class	Double Double class represents the double prolog data type
class	EvaluableTerm Both Structs and Number are considered potentially evaluable.
class	Float Float class represents the float prolog data type
class	Int Int class represents the integer prolog data type
class	IteratorAsTerm
class	Long Long class represents the long prolog data type
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	StructAtom
class	Var This class represents a variable term.
class	WrapStruct
class	WrapVar

Fields in jTrolog.terms declared as Term

Modifier and Type	Field and Description
static Term	Term.FALSE
Term[]	Term.tree
static Term	Term.TRUE

Methods in jTrolog.terms that return Term

Modifier and Type	Method and Description
Term	WrapStruct.getArg(int i)
Term	Struct.getArg(int index) Gets the i-th element of this structure No bound check is done
Term	WrapVar.getBasis()
Term	WrapStruct.getBasis()
Term	Wrapper.getBasis()
Term	Flag.getValue()

Methods in jTrolog.terms with parameters of type Term

Modifier and Type	Method and Description
void	Flag.setValue(Term value) Sets the value of a flag

Constructors in jTrolog.terms with parameters of type Term

Constructor and Description
Flag(String name, Struct valueSet, Term defValue, boolean modifiable) Builds a Prolog flag
Struct(String f, Term[] argList) Compound struct with an array of arguments
Struct(String f, Term[] argList, int opType) Struct representing an operator