Next: About this document ...
Up: The XSB System Version
Previous: Bibliography
Contents
- str_cat/3
- String Manipulation
- str_length/2
- String Manipulation
- substring/4
- String Manipulation
- string_substitute/4
- String Manipulation
- {}/1
- clpr: The CPL(R) package
- entailed/1
- clpr: The CPL(R) package
- inf/2
- clpr: The CPL(R) package
- sup/2
- clpr: The CPL(R) package
- minimize/1
- clpr: The CPL(R) package
- maximize/1
- clpr: The CPL(R) package
- concat_atom/2
- String Manipulation
- {}/1
- clpr: The CPL(R) package
- concat_atom/3
- String Manipulation
- term_to_atom/2
- String Manipulation
- term_to_codes/2
- String Manipulation
- atom_to_term/2
- String Manipulation
- codes_to_term/2
- String Manipulation
- read_atom_to_term/2
- String Manipulation
- read_atom_to_term/3
- String Manipulation
- date/1
- Script Writing Utilities
- 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
- sleep/1
- Script Writing Utilities
- cd/1
- Script Writing Utilities
- rename/2
- Script Writing Utilities
- ls/0
- Script Writing Utilities
- rm/1
- Script Writing Utilities
- cwd/1
- Script Writing Utilities
- edit/1
- Script Writing Utilities
- sys_exit/1
- Script Writing Utilities
- pid/1
- Script Writing Utilities
- spawn_process/5
- Communication with Subprocesses
- process_status/2
- Important notes about spawned
- process_control/2
- Important notes about spawned
- get_process_table/1
- Important notes about spawned
- shell/5
- Important notes about spawned
- 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_set_select/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
- newtrie/1
- Low-level Trie Manipulation Utilities
- trie_intern/5
- Low-level Trie Manipulation Utilities
- trie_intern/3
- Low-level Trie Manipulation Utilities
- trie_interned/4
- Low-level Trie Manipulation Utilities
- trie_interned/3
- Low-level Trie Manipulation Utilities
- trie_unintern/2
- Low-level Trie Manipulation Utilities
- trie_unintern_nr/2
- Low-level Trie Manipulation Utilities
- unmark_uninterned_nr/2
- Low-level Trie Manipulation Utilities
- reclaim_uninterned_rn/1
- Low-level Trie Manipulation Utilities
- delete_trie/1
- Low-level Trie Manipulation Utilities
- random/1
- Random Number Generator
- random/3
- Random Number Generator
- genrand/1
- Random Number Generator
- setrand/1
- Random Number Generator
- randseq/3
- Random Number Generator
- *shrandset/3
- Random Number Generator
- scan/2
- Scanning in Prolog
- scan/3
- Scanning in Prolog
- set_scan_pars/1
- Scanning in Prolog
- get_scan_pars/1
- Scanning in Prolog
- 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
- 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
- numbervars/1
- Ground, Numbervars, Subsumption, Variant
- unnumbervars/3
- Ground, Numbervars, Subsumption, Variant
- subsumes/2
- Ground, Numbervars, Subsumption, Variant
- runtime_loader_flag/2
- Foreign Modules That Link
- is_attv
- Exchanging Complex Data Types
- is_float
- Exchanging Complex Data Types
- is_functor
- Exchanging Complex Data Types
- is_int
- Exchanging Complex Data Types
- is_list
- Exchanging Complex Data Types
- is_nil
- Exchanging Complex Data Types
- is_string
- Exchanging Complex Data Types
- is_var
- Exchanging Complex Data Types
- p2c_int
- Exchanging Complex Data Types
- p2c_float
- Exchanging Complex Data Types
- subsumes_chk/2
- Ground, Numbervars, Subsumption, Variant
- 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
- 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
- xsb_init
- C Functions for Calling
- xsb_init_string
- C Functions for Calling
- xsb_command
- C Functions for Calling
- file_clone/1
- Lower-Level I/O
- 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
- 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
- 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
- file_close/1
- Lower-Level I/O
- xsb_var_int
- Passing Data into an
- xsb_var_string
- Passing Data into an
- xsb_var_float
- Passing Data into an
- 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/2
- Lower-Level I/O
- file_read_line_atom/2
- Lower-Level I/O
- file_read_line_atom/1
- Lower-Level I/O
- file_read_line_list/2
- Lower-Level I/O
- file_read_line_list/1
- 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
- ioport2iostream/2
- Lower-Level I/O
- str_sub/3
- String Manipulation
- str_sub/2
- String Manipulation
- str_match/5
- String Manipulation
- path_sysop/2
- Script Writing Utilities
- path_sysop/3
- Script Writing Utilities
| Script Writing Utilities
- FLIP
- Summary of flora2: Programming
- FLORID
- Summary of flora2: Programming
- Generalized Annotated Programs
- gap: Generalized Annotated Programs
- LD_LIBRARY_PATH
- Foreign Modules That Link
- LIBPATH
- Foreign Modules That Link
- local scheduling in XSB
- Running LORA-2.
- negation
- explicit negation
- slx: Extended Logic Programs
- runflora script
- Running LORA-2.
- VarString
- The Variable-length String Data
- WFSX
- slx: Extended Logic Programs
Luis Fernando P. de Castro
2003-06-27