Index

$=/2$

6.6 | 6.6 | 6.6 | 6.6

64-bit architectures

XSB

$\backslash$+/1

6.5

@>/2

6.6

!/0

6.5 | 6.10 | 10.1 | 10.1 | 10.3

$trace/0

9.2

''/2

6.3.1

'/'/2

6.3.1

'//'/2

6.3.1

'//2

6.3.1

'>>'/2

6.3.1 | 6.3.1

*/2

6.3.1

+/2

6.3.1

-/1

6.3.1

-/2

6.3.1

->/2

6.5 | 6.5

$\backslash$=/2

6.6

$\backslash$==/2

6.6

$\backslash$+/1

tnot/1

=../2

6.7

=/2

6.6

==/2

6.6

?=/2

6.6

^ =../2

6.7

`C'/3

10.3

abolish/1

6.13

abolish_all_private_tables/0

6.14.3.1

abolish_all_shared_tables/0

6.14.3.1

abolish_all_tables/0

6.14.3.1

abolish_module_tables/1

6.14.3.1

abolish_table_call/1

6.14.3.1

abolish_table_call/2

6.14.3.1

abolish_table_pred/1

6.14.3.1

abolish_table_pred/2

6.14.3.1

acos/1

6.3.1.1

add_xsb_hook/1

8.1

arg/3

6.7

arg0/3

6.7

asin/1

6.3.1.1

assert/1

6.13

assert/3

6.13

asserta/1

6.13

assertz/1

6.13

at_end_of_stream/0

6.1.2

at_end_of_stream/1

6.1.2

atan/1

6.3.1.1

atom/1

6.7

atom_chars/2

6.8

atom_codes/2

6.8

atom_concat/3

6.8

atomic/1

6.7

auto_table

3.10.2 | 3.10.4.2 | Letting

bagAvg/2

6.9.1

bagCount/2

6.9.1

bagMax/2

6.9.1

bagMin/2

6.9.1

bagof/3

6.9

bagPO/3

6.9.1

bagReduce/4

6.9.1

bagSum/2

6.9.1

bootstrap_userpackage/3

3.6.1

break/0

6.12

call/1

6.10

callable/1

6.7

catch/3

11.2.2

ceiling/1

6.3.1

check_atom/3

11.3

check_ground/3

11.3

check_integern/3

11.3

check_nonvar/3

11.3

check_nonvar_list/3

11.3

check_one_thread/3

11.3

check_stream/3

11.3

check_var/3

11.3

clause/2

6.13

close/1

6.1.2

close/2

6.1.2

close_open_tables/0

11.2.2

compare/3

6.6

compile/[1,2]

3.10.1

compound/1

6.7

consult/[1,2]

3.9

copy_term/2

6.7

cos/1

6.3.1.1

cputime/1

6.12 | 6.12

current_atom/1

6.11

current_functor/1

6.11

current_index/2

6.11

current_input/1

6.11

current_module/1

6.11

current_module/2

6.11

current_op/3

6.11

current_output/1

6.11

current_predicate/1

6.11

current_prolog_flag/2

6.11

cvt_canonical/2

6.13.1

datime/1

6.2

dcg/2

10.3

debug/0

9.1

debug_ctl/2

9.1

debugging/0

9.1

default_user_error_handler/1

11.2.2

delete_returns/2

6.14.3.1

display/1

6.1.5

document_export/1

Usage

document_import/1

Usage

domain_error/4

11.2.1

dynamic/1

6.13

ensure_loaded/1

The

ensure_loaded/2

6.13.1

error_write/1

11.2.2

error_writeln/1

11.2.2

evaluation_error/3

11.2.1

existence_error/4

11.2.1

exp/2

6.3.1

expand_term/2

10.3

fail/0

6.4

fail_if/1

6.5

file_clone/1

6.1.2.1

file_exists/1

6.1.3

file_file_getbuf_atom/4

6.1.6

file_getbuf_atom/3

6.1.6

file_getbuf_list/3

6.1.6

file_getbuf_list/4

6.1.6

file_putbuf/4

6.1.6

file_putbuf/5

6.1.6

file_read_line_atom/1

6.1.6

file_read_line_atom/2

6.1.6

file_read_line_list/1

6.1.6

file_read_line_list/2

6.1.6

file_reopen/1

6.1.2.1

file_truncate/3

6.1.2.1

file_write_line/2

6.1.6

file_write_line/3

6.1.6

filterPO/2

6.9.1

filterPO/3

6.9.1

filterPO/4

5.4

filterReduce/4

5.4 | 6.9.1

findall/3

6.9

float/1

6.3.1 | 6.7

floor/1

6.3.1

flush_output/0

6.1.2

flush_output/1

6.1.2

fmt_read/3

6.1.6

fmt_read/4

6.1.6

fmt_write/2

6.1.6

fmt_write/3

6.1.6

fmt_write_string/3

6.1.6

functor/3

6.7

gc_atoms/0

6.8

gc_dynamic/1

6.13

gc_tables/1

6.14.3.1

get/1

6.1.4

get0/1

6.1.4

get_backtrace_list/2

11.4

get_call/3

6.14.2

get_calls/3

6.14.2

get_calls_for_table/2

6.14.2

get_char/1

6.1.4

get_char/2

6.1.4

get_code/1

6.1.4

get_code/2

6.1.4

get_residual/2

6.14.2

get_returns/2

6.14.2

get_returns/3

6.14.2

get_returns_for_call/2

6.14.2

halt/0

6.12

halt/1

6.12

hilog_arg/3

6.7

hilog_functor/3

6.7

hilog_op/3

6.11

hilog_symbol/1

6.11

import/1

3.6.2

incr_assert/1

5.5.2 | 5.5.2 | 5.5.2

incr_assert_inval/1

5.5.2 | 5.5.2 | 5.5.2

incr_directly_depends/2

5.5.2

incr_invalidate_call/1

5.5.2

incr_retract_inval/1

5.5.2

incr_retractall/1

5.5.2

incr_retractall_inval/1

5.5.2

incr_table_update/0

5.5.2

incr_table_update/1

5.5.2

incr_table_update/2

5.5.2

incr_trans_depends/2

5.5.2

index/2

3.10.4.3 | 6.13

instantiation_error/4

11.2.1

integer/1

6.7

invalidate_tables_for/2

6.14.3.1

is/2

6.3

is_attv/1

6.7

is_charlist/1

6.7

is_charlist/2

6.7

is_list/1

6.7

is_most_general_term/1

6.7

keysort/2

6.6.1

library_directory/1

3.6.1

listing/0

6.11

listing/1

6.11

load_dyn/1

6.13.1

load_dyn/2

6.13.1

load_dync/1

6.13.1

load_dync/2

6.13.1

log/1

6.3.1.1

log10/1

6.3.1.1

max/2

6.3.1

message_queue_create/2

7.7.1.2

message_queue_destroy/1

7.7.1.2

mi_warn

3.10.2

min/2

6.3.1

misc_error/3

11.2.1

mod/2

6.3.1

modeinfer

3.10.2

module_property/2

6.11

multifile/2

The

mutex_create/1

7.7.1.1

mutex_destroy/1

7.7.1.1

mutex_lock/1

7.7.1.1

mutex_property/2

7.7.1.1

mutex_trylock/1

7.7.1.1

mutex_unlock/1

7.7.1.1

mutex_unlock_all/0

7.7.1.1

name/2

6.8

nl/0

6.1.4

nl/1

6.1.4

nodebug/0

9.1

nonvar/1

6.7

nospy/1

9.1

not/1

6.5

notrace/0

9.1

number/1

6.7

number_chars/2

6.8

number_codes/2

6.8

number_digits/2

6.8

once/1

6.10

op/3

4.3

open/3

6.1.2

open/4

6.1.2

optimize

3.10.2

otherwise/0

6.4

package_configuration/2

3.6.1

parsort/4

6.6.1

path_sysop/2

6.2.1

path_sysop/3

6.2.1 | 6.2.1

peek_char/1

6.1.4

peek_char/2

6.1.4

peek_code/1

6.1.4

peek_code/2

6.1.4

permission_error/4

11.2.1

phrase/2

10.3

phrase/3

10.3

predicate_property/2

6.11

print_backtrace/1

11.4

prompt/2

6.12

proper_hilog/1

6.7

put/1

6.1.4

put_char/1

6.1.4

put_char/2

6.1.4

put_code/1

6.1.4

put_code/2

6.1.4

quit_on_error

3.10.2

read/1

6.1.5

read/2

6.1.5

read_canonical/1

6.1.5

read_canonical/2

6.1.5

read_term/2

6.1.5

read_term/3

6.1.5

real/1

6.7

rem/2

6.3.1

remove_xsb_hook/1

8.1

repeat/2

6.5

representation_error/3

11.2.1

resource_error/3

11.2.1

retract/1

6.13

retractall/1

6.13

round/1

6.3.1

see/1

6.1.3

seeing/1

6.1.3

seen/0

6.1.3

set_dcg_style/1

10.4

set_dcg_supported_table/1

10.3

set_global_compiler_options/1

3.10.2

set_input/1

6.1.2

set_output/1

6.1.2

set_prolog_flag/2

6.11

set_stream_position/2

6.1.2

set_xsb_flag/2

6.11

setof/3

6.9

shell/1

6.2

shell/2

6.2

shell_to_list/3

6.2

sin/1

6.3.1.1

sk_not/1

6.5

sort/2

6.6.1

spec_dump

3.10.2

spec_off

3.10.2

spec_repr

3.10.2

spy/1

9.1

sqrt/1

6.3.1

statistics/0

6.12

statistics/1

6.12

storage_commit/1

6.13.2.2

storage_delete_fact/3

6.13.2.1

storage_delete_fact_bt/2

6.13.2.2

storage_delete_keypair/3

6.13.2.1

storage_delete_keypair_bt/3

6.13.2.2

storage_find_fact/2

6.13.2.1

storage_find_keypair/3

6.13.2.1

storage_insert_fact/3

6.13.2.1

storage_insert_fact_bt/2

6.13.2.2

storage_insert_keypair/4

6.13.2.1

storage_insert_keypair_bt/4

6.13.2.2

storage_reclaim_space/1

6.13.2.3

stream_property/2

6.1.2

structure/1

6.7

suppl_table

3.10.2 | 3.10.4.2 | Letting

tab/1

6.1.4

table/1

5.2 | 6.13 | 6.14.1

table_once/1

6.10

table_state/4

6.14.2

tan/1

6.3.1.1

tbagof/3

6.9

tell/1

6.1.3

telling/1

6.1.3

term_expansion/2

10.2 | 10.3

term_to_atom/2

6.8

term_to_atom/3

6.8

term_to_codes/2

6.8

term_to_codes/3

6.8

tfindall/3

6.9

thread_cancel/1

7.7

thread_create/2

7.7

thread_create/3

7.7

thread_detach/1

7.7

thread_exit/1

7.7

thread_get_message/2

7.7.1.2

thread_join/2

7.7

thread_self/1

7.7

thread_send_message/2

7.7.1.2

thread_yield/0

7.7

throw/1

11.2.1

ti_dump

3.10.2

ti_long_names

3.10.2

tmpfile_open/1

6.1.2.1

tnot/1

tnot/1 | 6.5

told/0

6.1.3

tphrase/1

10.3

tphrase_set_string/1

10.3

tphrase_set_string_auto_abolish/1

10.3

tphrase_set_string_keeping_tables/1

10.3

trimcore/0

6.12

true/0

6.4

truncate/1

6.3.1

tsetof/3

6.9

type_error/4

11.2.1

unfold_off

3.10.2

unifiable/3

6.6

unify_with_occurs_check/2

6.6

unload_package/1

3.6.1

use_incremental_dynamic/1

5.5.2

use_incremental_tabling/1

5.5.2

use_opaque_tabling/1

5.5.2

use_subsumptive_tabling/1

5.2.1.0.3 | 6.14.1

use_variant_tabling/1

5.2.1.0.3 | 6.14.1

usleep/1

7.7

var/1

6.7

with_mutex/2

7.7.1.1

word/3

10.2.1

write/1

6.1.5

write/2

6.1.5

write_canonical/1

6.1.5

write_canonical/2

6.1.5

write_prolog/1

6.1.5

write_prolog/2

6.1.5

write_term/2

6.1.5

write_term/3

6.1.5

writeln/1

6.1.5

writeln/2

6.1.5

writeq/1

6.1.5

writeq/2

6.1.5

xpp_dump

3.10.2

xpp_include_dir

3.10.2

xpp_on

3.10.2

xpp_options

3.10.2

xsb_assert_hook/1

8.2

xsb_backtrace/1

11.4

xsb_configuration/2

6.11 | 6.11

xsb_exit_hook/1

8.2

xsb_flag/2

6.11

xsb_retract_hook/1

8.2

^

6.9

abort

trace facility

9.1

acc

2.1

aggregate predicates

prolog

6.9

tabling

6.9.1

answer substitution

Answers,

base file name

3.3

byte code

files

compiler

3.10

canonical forma

6.13.1

cc

2.1

Compiler

3.10

cmplib

3.10

directives

3.10.4

inlines

3.10.5

invoking

3.10.1

options

3.10.2

specialization

3.10.3

configuration

2.1

control

6.5

cut

6.5 | 6.10 | 10.1 | 10.1 | 10.3

debugger

9.

ports

9.1

definite clause grammars

10.

datalog mode

10.2.1

list mode

10.2.1

style

10.4

directives

Compiler

3.10.4

indexing

3.10.4.3

modes

3.10.4.1

tabling

3.10.4.2

emulator

command line options

3.7

errors

undefined predicate

3.4

exceptions

11.

file designator

3.3

Flora

1.0.0.0.7

garbage collection

3.7 | 3.8

atoms

6.8

dynamic clauses

6.13

heap

6.12

tables

6.14.3.1

gcc

2.1

GPP

3.10 | 3.10.2

grammars

definite clause

10.

high-level tracing

9.1

indexing

directives

3.10.4.3

dynamic predicates

6.13

star-indexing

1.0.0.0.2

transformational

3.10.4.4

inlines

Compiler

3.10.5

InterProlog

1.0.0.0.3

InterProlog Interface

2.1

invoking the Compiler

3.10.1

ISO

errors

11.1

load search path

3.6

low-level tracing

9.2

memory management

3.8

mode analysis

compiler options

3.10.2

modes

directives

3.10.4.1

module name

3.4

multi-threading

1.0.0.0.1

negation

stable models

Stable

stratified

5.3.1

unstratified

5.3.2

notational conventions

1.1

ODBC Interface

1.0.0.0.3 | 2.1

options

command line arguments

3.7

Compiler

3.10.2

Oracle Interface

2.1

packages

3.6.1

predicate indicator

6.11 | 6.11

scheduling strategy

2.1

sets, bags

6.9

skeleton

Skeletons

SModels Interface

2.1

specialization

Compiler

3.10.3

compiler options

3.10.2

stable models

5.3.3

stacks

default sizes

3.7

expanding

3.7

standard predicates

3.4 | 3.6.2 | 3.10.2 | 3.10.2

state of the system

6.11

substitution factor

Answers,

system, state of

6.11

tabled aggregation

5.4

tabling

aggregate predicates

6.9.1

answer completion

Trouble

compiler options

3.10.2

complete evaluation

Completely

conditional answers

Conditional

consumer

5.2

cuts

5.2.3.0.1

directives

3.10.4.2 | 6.14.1

producer, generator

5.2

scheduling strategies

5.2.2

similarity measures

5.2.1

strategy selection

6.14.1

subsumption-based

5.2.1.0.2

interaction with meta-logical predicates

5.2.3.0.2

interaction with negation

5.2.1.0.2 | 12.1

table deletion

6.14.3

table inspection

6.14.2

variant-based

5.2.1.0.1

Tck/Tk

2.1

term indicator

6.11 | 6.11

terms

comparison of

6.6

unification of

6.6

textttgc_heap/0

6.12

thread

thread status

7.3

valid

7.3

trace

options

9.1

tracing

high-level

9.1

low-level

9.2

transaction logic

6.13.1

unification factoring

compiler options

3.10.2

well-founded semantics

5.3.2.0.2

XASP

1.0.0.0.7 | 2.1

xpp_program

3.10.2

xsbdoc

1.0.0.0.7 | Usage