Uses of Class jTrolog.engine.BindingsTable (prolobjectlink-jpi-jtrolog 1.2-SNAPSHOT API)

Packages that use BindingsTable
Package Description

jTrolog.lib

Packages that use BindingsTable
Package	Description
jTrolog.lib

Uses of BindingsTable in jTrolog.lib

Methods in jTrolog.lib with parameters of type BindingsTable
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`	BasicLibrary.`$has_next_1(BindingsTable bt, IteratorAsTerm iterator)`
`boolean`	BuiltIn.`$instantiation_error_0(BindingsTable bt)`
`boolean`	BasicLibrary.`$list_diff_3(BindingsTable bt, Struct main, Struct retract, Var diff)`
`boolean`	BuiltIn.`$representation_error_1(BindingsTable bt, Term maxArity)`
`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`	BasicLibrary.`$tofromlist_2(BindingsTable bt, Term structIn, Term listIn)`
`boolean`	BuiltIn.`$type_error_2(BindingsTable bt, Term typeName, Term term)`
`boolean`	BuiltIn.`abolish_1(BindingsTable bt, Struct predicateIndicator)` see 8.9.4 p.81 in ISO standard
`Term`	ISOLibrary.`abs_1(BindingsTable bt, EvaluableTerm val)`
`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)`
`Term`	ISOLibrary.`atan_1(BindingsTable bt, EvaluableTerm val)`
`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)`
`Term`	ISOLibrary.`ceiling_1(BindingsTable bt, EvaluableTerm val)`
`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)`
`boolean`	BuiltIn.`copy_2(BindingsTable bt, Term arg0, Term arg1)`
`Term`	ISOLibrary.`cos_1(BindingsTable bt, EvaluableTerm val)`
`boolean`	BasicLibrary.`current_time_1(BindingsTable bt, Term time)`
`static boolean`	BuiltIn.`cut_0(BindingsTable bt)`
`boolean`	BuiltIn.`deunify_2(BindingsTable bt, Term arg0, Term arg1)`
`Term`	ISOLibrary.`div_2(BindingsTable bt, EvaluableTerm v0, EvaluableTerm v1)`
`boolean`	BuiltIn.`dynamic_1(BindingsTable bt, Struct predicateIndicator)` Registers the existence predicate indicator in the dynamic data base.
`boolean`	BasicLibrary.`erase_1(BindingsTable bt, Number key)`
`boolean`	BasicLibrary.`erase_2(BindingsTable bt, Number key, Term list)`
`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)`
`boolean`	BasicLibrary.`expression_equality_2(BindingsTable bt, EvaluableTerm structIn, EvaluableTerm listIn)`
`boolean`	BasicLibrary.`expression_greater_or_equal_than_2(BindingsTable bt, EvaluableTerm structIn, EvaluableTerm listIn)`
`boolean`	BasicLibrary.`expression_greater_than_2(BindingsTable bt, EvaluableTerm structIn, EvaluableTerm listIn)`
`Term`	BasicLibrary.`expression_integer_div_2(BindingsTable bt, EvaluableTerm structIn, EvaluableTerm listIn)`
`boolean`	BasicLibrary.`expression_less_or_equal_than_2(BindingsTable bt, EvaluableTerm structIn, EvaluableTerm listIn)`
`boolean`	BasicLibrary.`expression_less_than_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)`
`static boolean`	BuiltIn.`fail_0(BindingsTable bt)`
`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)`
`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)`
`boolean`	IOLibrary.`get_1(BindingsTable bt, Term arg0)`
`boolean`	BasicLibrary.`get_operators_list_1(BindingsTable bt, Struct argument)`
`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`	BuiltIn.`halt_0(BindingsTable bt)`
`boolean`	BuiltIn.`halt_1(BindingsTable bt, Number arg0)`
`static boolean`	BasicLibrary.`integer_1(BindingsTable bt, Term t)`
`boolean`	BasicLibrary.`is_2(BindingsTable bt, Term structIn, EvaluableTerm listIn)`
`static String`	BuiltIn.`isPredicateIndicator(Struct predicateIndicator, BindingsTable bt)`
`static boolean`	BasicLibrary.`list_1(BindingsTable bt, Term t)`
`boolean`	BuiltIn.`load_library_1(BindingsTable bt, Struct arg0)`
`void`	BuiltIn.`load_library_1(BindingsTable bt, Term lib)`
`boolean`	BasicLibrary.`load_library_2(BindingsTable bt, Struct className, Term libName)`
`Term`	ISOLibrary.`log_1(BindingsTable bt, EvaluableTerm val)`
`Term`	ISOLibrary.`mod_2(BindingsTable bt, EvaluableTerm v0, EvaluableTerm v1)`
`boolean`	BasicLibrary.`new_record_key_1(BindingsTable bt, Var key)`
`boolean`	BuiltIn.`newlist_2(BindingsTable bt, Int length, Var out)`
`boolean`	IOLibrary.`nl_0(BindingsTable bt)`
`boolean`	BasicLibrary.`nonvar_1(BindingsTable bt, Term t)`
`boolean`	BasicLibrary.`nowarning_0(BindingsTable bt)`
`boolean`	BasicLibrary.`num_atom_2(BindingsTable bt, Term structIn, Term listIn)`
`static boolean`	BasicLibrary.`number_1(BindingsTable bt, Term t)`
`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.`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)`
`Term`	ISOLibrary.`rem_2(BindingsTable bt, EvaluableTerm v0, EvaluableTerm v1)`
`Term`	ISOLibrary.`round_1(BindingsTable bt, EvaluableTerm val)`
`boolean`	IOLibrary.`see_1(BindingsTable bt, Term arg0)`
`boolean`	IOLibrary.`seeing_1(BindingsTable bt, Term t)`
`boolean`	IOLibrary.`seen_0(BindingsTable bt)`
`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
`Term`	ISOLibrary.`sign_1(BindingsTable bt, EvaluableTerm val)`
`Term`	ISOLibrary.`sin_1(BindingsTable bt, EvaluableTerm val)`
`void`	BuiltIn.`solve_1(BindingsTable bt, Struct goal)`
`Term`	ISOLibrary.`sqrt_1(BindingsTable bt, EvaluableTerm val)`
`boolean`	IOLibrary.`tab_1(BindingsTable bt, Int arg)`
`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`	IOLibrary.`told_0(BindingsTable bt)`
`static boolean`	BuiltIn.`true_0(BindingsTable bt)`
`Term`	ISOLibrary.`truncate_1(BindingsTable bt, EvaluableTerm val)`
`boolean`	BuiltIn.`unify_2(BindingsTable bt, Term arg0, Term arg1)`
`boolean`	BuiltIn.`unload_library_1(BindingsTable bt, Struct arg0)` unloads a engine library, given its java class name
`boolean`	BasicLibrary.`var_1(BindingsTable bt, Term t)`
`boolean`	BasicLibrary.`variable_set_2(BindingsTable bt, Term withVars, Term varList)`
`boolean`	BasicLibrary.`warning_0(BindingsTable bt)`
`boolean`	IOLibrary.`write_1(BindingsTable bt, Term arg0)`

Uses of ClassjTrolog.engine.BindingsTable

Uses of BindingsTable in jTrolog.lib

Uses of Class
jTrolog.engine.BindingsTable