Package | Description |
---|---|
alice.tuprolog | |
alice.tuprolog.lib |
Modifier and Type | Method and Description |
---|---|
static PrologError |
PrologError.domain_error(EngineManager e,
int argNo,
String validDomain,
Term culprit) |
static PrologError |
PrologError.evaluation_error(EngineManager e,
int argNo,
String error) |
static PrologError |
PrologError.existence_error(EngineManager e,
int argNo,
String objectType,
Term culprit,
Term message) |
static PrologError |
PrologError.instantiation_error(EngineManager e,
int argNo) |
static PrologError |
PrologError.permission_error(EngineManager e,
String operation,
String objectType,
Term culprit,
Term message) |
static PrologError |
PrologError.representation_error(EngineManager e,
int argNo,
String flag) |
static PrologError |
PrologError.resource_error(EngineManager e,
Term resource) |
static PrologError |
PrologError.syntax_error(EngineManager e,
int clause,
int line,
int position,
Term message) |
static PrologError |
PrologError.system_error(Term message) |
static PrologError |
PrologError.type_error(EngineManager e,
int argNo,
String validType,
Term culprit) |
Modifier and Type | Method and Description |
---|---|
boolean |
BuiltIn.$append_2(Term arg0,
Term arg1) |
boolean |
BuiltIn.$call_1(Term goal)
It is the same as call/1, but it is not opaque to cut.
|
boolean |
BuiltIn.$find_2(Term arg0,
Term arg1) |
boolean |
BuiltIn.$fromlist_2(Term arg0,
Term arg1) |
boolean |
BuiltIn.$op_3(Term arg0,
Term arg1,
Term arg2) |
boolean |
BuiltIn.$retract_1(Term arg0) |
boolean |
BuiltIn.$tolist_2(Term arg0,
Term arg1) |
boolean |
BuiltIn.abolish_1(Term arg0) |
boolean |
BuiltIn.asserta_1(Term arg0) |
boolean |
BuiltIn.assertz_1(Term arg0) |
boolean |
BuiltIn.get_prolog_flag_2(Term arg0,
Term arg1) |
boolean |
BuiltIn.halt_1(Term arg0) |
boolean |
BuiltIn.is_2(Term arg0,
Term arg1) |
boolean |
BuiltIn.load_library_1(Term arg0) |
void |
BuiltIn.op_3(Term arg0,
Term arg1,
Term arg2) |
boolean |
BuiltIn.set_prolog_flag_2(Term arg0,
Term arg1) |
boolean |
BuiltIn.unload_library_1(Term arg0) |
Modifier and Type | Method and Description |
---|---|
boolean |
BasicLibrary.add_theory_1(Term th)
adds a new theory provided as a text
|
boolean |
BasicLibrary.agent_1(Term th)
spawns a separate prolog agent providing it a theory text
|
boolean |
BasicLibrary.agent_2(Term th,
Term g)
spawns a separate prolog agent providing it a theory text and a goal
|
boolean |
BasicLibrary.all_solutions_predicates_guard_3(Term arg0,
Term arg1,
Term arg2) |
boolean |
BasicLibrary.arg_guard_3(Term arg0,
Term arg1,
Term arg2) |
boolean |
ISOIOLibrary.at_end_of_stream_0() |
boolean |
ISOIOLibrary.at_end_of_stream_1(Term stream_or_alias) |
boolean |
ISOLibrary.atom_chars_2(Term arg0,
Term arg1) |
boolean |
ISOLibrary.atom_length_2(Term arg0,
Term len) |
boolean |
BasicLibrary.call_guard_1(Term arg0) |
boolean |
ISOLibrary.char_code_2(Term arg0,
Term arg1) |
boolean |
BasicLibrary.clause_guard_2(Term arg0,
Term arg1) |
boolean |
ISOIOLibrary.close_1(Term stream_or_alias) |
boolean |
ISOIOLibrary.close_2(Term stream_or_alias,
Term closeOptions) |
boolean |
BasicLibrary.delete_guard_3(Term arg0,
Term arg1,
Term arg2) |
Term |
ISOLibrary.div_2(Term v0,
Term v1) |
boolean |
BasicLibrary.element_guard_3(Term arg0,
Term arg1,
Term arg2) |
boolean |
BasicLibrary.expression_equality_2(Term arg0,
Term arg1) |
boolean |
BasicLibrary.expression_greater_or_equal_than_2(Term arg0,
Term arg1) |
boolean |
BasicLibrary.expression_greater_than_2(Term arg0,
Term arg1) |
boolean |
BasicLibrary.expression_less_or_equal_than_2(Term arg0,
Term arg1) |
boolean |
BasicLibrary.expression_less_than_2(Term arg0,
Term arg1) |
boolean |
ISOIOLibrary.find_property_2(Term list,
Term property) |
boolean |
ISOIOLibrary.flush_output_0() |
boolean |
ISOIOLibrary.flush_output_1(Term stream_or_alias) |
boolean |
IOLibrary.get_1(Term arg0) |
boolean |
ISOIOLibrary.get_byte_1(Term in_byte) |
boolean |
ISOIOLibrary.get_byte_2(Term stream_or_alias,
Term in_byte) |
boolean |
ISOIOLibrary.get_char_2(Term stream_or_alias,
Term arg) |
boolean |
ISOIOLibrary.get_code_1(Term char_code) |
boolean |
ISOIOLibrary.get_code_2(Term stream_or_alias,
Term char_code) |
boolean |
IOLibrary.get0_1(Term arg0) |
boolean |
BasicLibrary.member_guard_2(Term arg0,
Term arg1) |
Term |
ISOLibrary.mod_2(Term v0,
Term v1) |
boolean |
IOLibrary.nl_0() |
boolean |
ISOIOLibrary.nl_1(Term stream_or_alias) |
boolean |
BasicLibrary.num_atom_2(Term arg0,
Term arg1) |
boolean |
ISOIOLibrary.open_3(Term source_sink,
Term mode,
Term stream) |
boolean |
ISOIOLibrary.open_4(Term source_sink,
Term mode,
Term stream,
Term options) |
boolean |
ISOIOLibrary.peek_byte_1(Term in_byte) |
boolean |
ISOIOLibrary.peek_byte_2(Term stream_or_alias,
Term in_byte) |
boolean |
ISOIOLibrary.peek_char_1(Term in_char) |
boolean |
ISOIOLibrary.peek_char_2(Term stream_or_alias,
Term in_char) |
boolean |
ISOIOLibrary.peek_code_1(Term char_code) |
boolean |
ISOIOLibrary.peek_code_2(Term stream_or_alias,
Term char_code) |
boolean |
EDCGLibrary.phrase_guard_2(Term arg0,
Term arg1) |
boolean |
DCGLibrary.phrase_guard_2(Term arg0,
Term arg1) |
boolean |
EDCGLibrary.phrase_guard_3(Term arg0,
Term arg1,
Term arg2) |
boolean |
DCGLibrary.phrase_guard_3(Term arg0,
Term arg1,
Term arg2) |
boolean |
IOLibrary.print_1(Term arg0) |
boolean |
IOLibrary.put_1(Term arg) |
boolean |
ISOIOLibrary.put_byte_1(Term out_byte) |
boolean |
ISOIOLibrary.put_byte_2(Term stream_or_alias,
Term out_byte) |
boolean |
ISOIOLibrary.put_char_2(Term stream_or_alias,
Term in_char) |
boolean |
ISOIOLibrary.put_code_1(Term char_code) |
boolean |
ISOIOLibrary.put_code_2(Term stream_or_alias,
Term char_code) |
boolean |
IOLibrary.read_1(Term arg0) |
boolean |
ISOIOLibrary.read_2(Term stream_or_alias,
Term in_term) |
boolean |
ISOIOLibrary.read_term_2(Term in_term,
Term options) |
boolean |
ISOIOLibrary.read_term_3(Term stream_or_alias,
Term in_term,
Term options) |
boolean |
BasicLibrary.retract_guard_1(Term arg0) |
boolean |
BasicLibrary.reverse_guard_2(Term arg0,
Term arg1) |
boolean |
IOLibrary.see_1(Term arg) |
boolean |
ISOIOLibrary.set_input_1(Term stream_or_alias) |
boolean |
ISOIOLibrary.set_output_1(Term stream_or_alias) |
boolean |
IOLibrary.set_seed_1(Term t)
Sets an arbitrary seed for the Random object.
|
boolean |
ISOIOLibrary.set_stream_position_2(Term stream_or_alias,
Term position) |
boolean |
BasicLibrary.set_theory_1(Term th)
sets a new theory provided as a text
|
boolean |
ISOIOLibrary.set_write_flag_1(Term number) |
boolean |
IOLibrary.solve_file_goal_guard_2(Term arg0,
Term arg1) |
boolean |
ISOLibrary.sub_atom_guard_5(Term arg0,
Term arg1,
Term arg2,
Term arg3,
Term arg4) |
boolean |
IOLibrary.tab_1(Term arg) |
boolean |
IOLibrary.tell_1(Term arg) |
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) |
boolean |
BasicLibrary.text_concat_3(Term source1,
Term source2,
Term dest) |
boolean |
IOLibrary.text_from_file_2(Term file_name,
Term text)
reads a source text from a file.
|
boolean |
BasicLibrary.throw_1(Term error) |
boolean |
ISOIOLibrary.write_1(Term out_term) |
boolean |
IOLibrary.write_1(Term arg0) |
boolean |
ISOIOLibrary.write_2(Term stream_or_alias,
Term out_term) |
boolean |
IOLibrary.write_base_1(Term arg0) |
boolean |
ISOIOLibrary.write_canonical_1(Term out_term) |
boolean |
ISOIOLibrary.write_canonical_2(Term stream_or_alias,
Term out_term) |
boolean |
ISOIOLibrary.write_iso_1(Term out_term) |
boolean |
ISOIOLibrary.write_term_2(Term out_term,
Term options) |
boolean |
ISOIOLibrary.write_term_3(Term stream_or_alias,
Term out_term,
Term optionsTerm) |
boolean |
ISOIOLibrary.writeq_1(Term out_term) |
boolean |
ISOIOLibrary.writeq_2(Term stream_or_alias,
Term out_term) |