Next: About this document ...
Up: The XSB System Version
Previous: Bibliography
Contents
- file_time/2
- Script Writing Utilities
- file_size/2
- Script Writing Utilities
- directory/2
- Script Writing Utilities
- expand_filename/2
- Script Writing Utilities
- tilde_expand_filename/2
- Script Writing Utilities
- is_absolute_filename/1
- Script Writing Utilities
- parse_filename/4
- Script Writing Utilities
- file_to_list/2
- Script Writing Utilities
- spawn_process/5
- Communication with Subprocesses
- process_status/2
- Important notes about
- process_control/2
- Important notes about
- get_process_table/1
- Important notes about
- shell/5
- Important notes about
- pipe_open/2
- Notes:
- fd2ioport/2
- Notes:
- sys_exit/1
- Notes:
- socket/2
- General socket calls.
- socket_set_option/3
- General socket calls.
- socket_close/2
- General socket calls.
- socket_bind/3
- General socket calls.
- socket_connect/4
- General socket calls.
- socket_listen/3
- General socket calls.
- socket_accept/3
- General socket calls.
- socket_recv/3
- Buffered, message-based communication.
- socket_send/3
- Buffered, message-based communication.
- socket_get0/3
- Stream-oriented, character-at-a-time interface.
- socket_put/3
- Stream-oriented, character-at-a-time interface.
- socket_select/6
- Socket-probing.
- socket_select_destroy/4
- Socket-probing.
- socket_select_destroy/1
- Socket-probing.
- set_timer/1
- Timeouts.
- sleep/1
- Timeouts.
- fd2ioport/2
- Buffered, stream-oriented communication.
- array_new/2
- Arrays
- array_elt/3
- Arrays
- array_update/4
- Arrays
- trie_assert/1
- Asserts/Retracts using Tries
- trie_retract/1
- Asserts/Retracts using Tries
- trie_retractall/1
- Asserts/Retracts using Tries
- trie_retract_nr/1
- Asserts/Retracts using Tries
- abolish_trie_asserted/1
- Asserts/Retracts using Tries
- trie_dynamic/1
- Asserts/Retracts using Tries
- random/1
- Random Number Generator
- random/3
- Random Number Generator
- append/3
- List Processing
- member/2
- List Processing
- memberchk/2
- List Processing
- ith/3
- List Processing
- log_ith/3
- List Processing
- log_ith_bound/3
- List Processing
- length/2
- List Processing
- same_length/2
- List Processing
- select/3
- List Processing
- reverse/2
- List Processing
- perm/2
- List Processing
- subseq/3
- List Processing
- merge/3
- List Processing
- absmerge/3
- List Processing
- absmember/2
- List Processing
- member2/2
- List Processing
- delete_ith/4
- List Processing
- closetail/1
- List Processing
- get_atts/2
- Attributed Variables
- put_atts/2
- Attributed Variables
- attv_unify/2
- Attributed Variables
- is_var
- Exchanging Complex Data Types
- is_int
- Exchanging Complex Data Types
- is_float
- Exchanging Complex Data Types
- is_string
- Exchanging Complex Data Types
- is_functor
- Exchanging Complex Data Types
- is_list
- Exchanging Complex Data Types
- is_nil
- Exchanging Complex Data Types
- p2c_int
- Exchanging Complex Data Types
- p2c_float
- Exchanging Complex Data Types
- p2c_string
- Exchanging Complex Data Types
- p2c_functor
- Exchanging Complex Data Types
- p2c_arity
- Exchanging Complex Data Types
- c2p_int
- Exchanging Complex Data Types
- c2p_float
- Exchanging Complex Data Types
- c2p_string
- Exchanging Complex Data Types
- c2p_functor
- Exchanging Complex Data Types
- c2p_list
- Exchanging Complex Data Types
- c2p_nil
- Exchanging Complex Data Types
- p2p_new
- Exchanging Complex Data Types
- p2p_arg
- Exchanging Complex Data Types
- p2p_car
- Exchanging Complex Data Types
- p2p_cdr
- Exchanging Complex Data Types
- reg_term
- Exchanging Complex Data Types
- p2p_unify
- Exchanging Complex Data Types
- load_dyn/1
- Asserting Dynamic Code
- ensure_dyn_loaded/1
- Asserting Dynamic Code
- load_dync/1
- Asserting Dynamic Code
- ensure_dync_loaded/1
- Asserting Dynamic Code
- cvt_canonical/2
- Asserting Dynamic Code
- ground/1
- Ground, Numbervars, Subsumption, Variant
- numbervars/3
- Ground, Numbervars, Subsumption, Variant
- xsb_init
- C Functions for Calling
- numbervars/1
- Ground, Numbervars, Subsumption, Variant
- xsb_init_string
- C Functions for Calling
- xsb_command
- C Functions for Calling
- xsb_command_string
- C Functions for Calling
- xsb_query
- C Functions for Calling
- xsb_query_string
- C Functions for Calling
- xsb_query_string_string
- C Functions for Calling
- xsb_query_string_string_b
- C Functions for Calling
- xsb_get_last_answer_string_b
- C Functions for Calling
- unnumbervars/3
- Ground, Numbervars, Subsumption, Variant
- xsb_next
- C Functions for Calling
- xsb_next_string
- C Functions for Calling
- xsb_next_string
- C Functions for Calling
- xsb_close_query
- C Functions for Calling
- xsb_close
- C Functions for Calling
- subsumes/2
- Ground, Numbervars, Subsumption, Variant
- xsb_make_vars
- Passing Data into an
- xsb_set_var_int
- Passing Data into an
- xsb_set_var_string
- Passing Data into an
- xsb_set_var_float
- Passing Data into an
- xsb_var_int
- Passing Data into an
- xsb_var_string
- Passing Data into an
- xsb_var_float
- Passing Data into an
- subsumes_chk/2
- Ground, Numbervars, Subsumption, Variant
- variant/2
- Ground, Numbervars, Subsumption, Variant
- current_input_port/
- Lower-Level I/O
- current_output_port/
- Lower-Level I/O
- file_open/3
- Lower-Level I/O
- file_reopen/1
- Lower-Level I/O
- tmpfile_open/1
- Lower-Level I/O
- file_clone/1
- Lower-Level I/O
- file_close/1
- Lower-Level I/O
- fmt_read/3
- Lower-Level I/O
- fmt_read/4
- Lower-Level I/O
- fmt_write/2
- Lower-Level I/O
- fmt_write/3
- Lower-Level I/O
- fmt_write_string/2
- Lower-Level I/O
- file_flush/2
- Lower-Level I/O
- file_seek/4
- Lower-Level I/O
- file_pos/2
- Lower-Level I/O
- file_truncate/3
- Lower-Level I/O
- file_write/2
- Lower-Level I/O
- file_read/2
- Lower-Level I/O
- file_read/3
- Lower-Level I/O
- file_read_canonical/3
- Lower-Level I/O
- file_read_line/3
- Lower-Level I/O
- file_read_line_atom/3
- Lower-Level I/O
- file_read_line_atom/2
- Lower-Level I/O
- file_read_line/3
- Lower-Level I/O
- file_read_line_list/2
- Lower-Level I/O
- fget_line/3
- Lower-Level I/O
- file_write_line/3
- Lower-Level I/O
- file_write_line/2
- Lower-Level I/O
- file_getbuf/4
- Lower-Level I/O
- file_getbuf_atom/4
- Lower-Level I/O
- file_getbuf_atom/3
- Lower-Level I/O
- file_getbuf_list/4
- Lower-Level I/O
- file_getbuf_list/3
- Lower-Level I/O
- file_putbuf/5
- Lower-Level I/O
- file_putbuf/4
- Lower-Level I/O
- str_sub/3
- String Manipulation
- str_cat/3
- String Manipulation
- str_length/2
- String Manipulation
- substring/4
- String Manipulation
- string_substitute/4
- String Manipulation
- date/1
- Script Writing Utilities
- Generalized Annotated Programs
- Generalized Annotated Programs
- genrand/1
- Random Number Generator
- LD_LIBRARY_PATH
- Foreign Modules That Link
- LIBPATH
- Foreign Modules That Link
- negation
- explicit negation
- Extended Logic Programs
- randseq/3
- Random Number Generator
- randset/3
- Random Number Generator
- runtime_loader_flag/2
- Foreign Modules That Link
- setrand/1
- Random Number Generator
- VarString
- The Variable-length String Data
- WFSX
- Extended Logic Programs
Baoqiu Cui
2000-04-23