Package | Description |
---|---|
alice.tuprolog | |
alice.tuprolog.interfaces | |
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 engineManager,
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) |
boolean |
BuiltIn.load_library_2(Term arg0,
Term arg1) |
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 |
ISocketLib.aread_from_socket_2(Term Socket,
Struct Options) |
boolean |
ISocketLib.read_from_socket_3(Term Socket,
Term Msg,
Struct Options) |
boolean |
ISocketLib.tcp_socket_client_open_2(Struct Address,
Term Socket) |
boolean |
ISocketLib.tcp_socket_server_accept_3(Term ServerSock,
Term Client_Addr,
Term Client_Slave_Socket) |
boolean |
ISocketLib.tcp_socket_server_close_1(Term serverSocket) |
boolean |
ISocketLib.tcp_socket_server_open_3(Struct Address,
Term Socket,
Struct Options) |
boolean |
ISocketLib.udp_receive(Term Socket,
Term Data,
Struct AddressFrom,
Struct Options) |
boolean |
ISocketLib.udp_send_3(Term Socket,
Term Data,
Struct AddressTo) |
boolean |
ISocketLib.udp_socket_close_1(Term socket) |
boolean |
ISocketLib.udp_socket_open_2(Struct Address,
Term Socket) |
boolean |
ISocketLib.write_to_socket_2(Term Socket,
Term Msg) |
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 |
SocketLibrary.aread_from_socket_2(Term Socket,
Struct Options)
Asynchronous read from Socket.
|
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 |
SocketLibrary.getAddress_2(Term sock,
Term addr) |
boolean |
BasicLibrary.member_guard_2(Term arg0,
Term arg1) |
Term |
ISOLibrary.mod_2(Term v0,
Term v1) |
boolean |
ThreadLibrary.msg_queue_create_1(Term q) |
boolean |
ThreadLibrary.msg_queue_destroy_1(Term q) |
boolean |
ThreadLibrary.msg_queue_size_2(Term id,
Term n) |
boolean |
ThreadLibrary.mutex_create_1(Term mutex) |
boolean |
ThreadLibrary.mutex_destroy_1(Term mutex) |
boolean |
ThreadLibrary.mutex_isLocked_1(Term mutex) |
boolean |
ThreadLibrary.mutex_lock_1(Term mutex) |
boolean |
ThreadLibrary.mutex_trylock_1(Term mutex) |
boolean |
ThreadLibrary.mutex_unlock_1(Term mutex) |
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 |
SocketLibrary.read_from_socket_3(Term Socket,
Term Msg,
Struct Options)
Synchronous reading from Socket.
|
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 |
SocketLibrary.tcp_socket_client_open_2(Struct Address,
Term SocketTerm)
Create a Client_Socket and connect it to a specified address.
|
boolean |
SocketLibrary.tcp_socket_server_accept_3(Term ServerSock,
Term Client_Addr,
Term Client_Slave_Socket)
Accept a connection to the specified ServerSocket.
|
boolean |
SocketLibrary.tcp_socket_server_close_1(Term serverSocket)
Close a Server_Socket
|
boolean |
SocketLibrary.tcp_socket_server_open_3(Struct Address,
Term Socket,
Struct Options)
Create a ServerSocket bound to the specified Address.
|
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 |
ThreadLibrary.thread_detach_1(Term id) |
boolean |
ThreadLibrary.thread_get_msg_2(Term id,
Term msg) |
boolean |
ThreadLibrary.thread_has_next_1(Term id) |
boolean |
ThreadLibrary.thread_id_1(Term t) |
boolean |
ThreadLibrary.thread_join_2(Term id,
Term result) |
boolean |
ThreadLibrary.thread_next_sol_1(Term id) |
boolean |
ThreadLibrary.thread_peek_msg_2(Term id,
Term msg) |
boolean |
ThreadLibrary.thread_read_2(Term id,
Term result) |
boolean |
ThreadLibrary.thread_remove_msg_2(Term id,
Term msg) |
boolean |
ThreadLibrary.thread_send_msg_2(Term id,
Term msg) |
boolean |
ThreadLibrary.thread_sleep_1(Term millisecs) |
boolean |
ThreadLibrary.thread_wait_msg_2(Term id,
Term msg) |
boolean |
BasicLibrary.throw_1(Term error) |
boolean |
SocketLibrary.udp_receive(Term Socket,
Term Data,
Struct AddressFrom,
Struct Options) |
boolean |
SocketLibrary.udp_send_3(Term Socket,
Term Data,
Struct AddressTo) |
boolean |
SocketLibrary.udp_socket_close_1(Term Socket) |
boolean |
SocketLibrary.udp_socket_open_2(Struct Address,
Term Socket) |
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 |
SocketLibrary.write_to_socket_2(Term Socket,
Term Msg)
Send Msg through the socket Socket.
|
boolean |
ISOIOLibrary.writeq_1(Term out_term) |
boolean |
ISOIOLibrary.writeq_2(Term stream_or_alias,
Term out_term) |