Index

asserta/1

assertz/1

retract/1

retractall/1

abolish/1

clause/2

retract_nr/1

reclaim_space/1

index/2

dynamic/1

table/1

abort/0

break/0

halt/0

prompt/2

garbage_collection/1

cputime/1

statistics/0

shell/1

shell/2

ls/0

cd/1

edit/1

get_calls/3

get_call/3

get_calls_for_table/2

get_returns/2

get_returns/3

get_returns_for_call/2

get_residual/2

delete_returns/2

abolish_all_tables/0

abolish_table_pred/1

abolish_table_call/1

table_state/2

consult/[1,2]

Compiling and Consulting

multifile/2

Compiling and Consulting

spy/1

nospy/1

debug/0

nodebug/0

debugging/0

debug_ctl/2

phrase/2

set_global_compiler_options/1

phrase/3

expand_term/2

term_expansion/2

`C'/3

optimize

dcg/2

xpp_on

auto_table

suppl_table

spec_repr

spec_off

unfold_off

spec_dump

ti_dump

ti_long_names

modeinfer

mi_warn

auto_table

suppl_table

tnot/1

tnot/1 vs. ${\tt '\backslash+'/1}$

filterReduce/4

filterPO/4

see/1

seeing/1

seen/0

tell/1

telling/1

told/0

close/1

close/1

file_exists/1

nl/0

nl/1

get0/1

get/1

put/1

tab/1

read/1

read/2

write/1

write/2

writeln/1

writeln/2

display/1

write_prolog/1

write_prolog/2

writeq/1

writeq/2

write_canonical/1

Term I/O

read_canonical/1

Term I/O

write_canonical/2

print/1

fmt_read/4

read_line/2

fmt_write/2

fmt_write/2

true/0

otherwise/0

fail/0

=/2

=/2

'

'/0: Negation and Control

fail_if/1

not/1

tnot/1

sk_not/1

->/2

->/2

repeat/2

var/1

nonvar/1

atom/1

integer/1

real/1

float/1

number/1

atomic/1

compound/1

structure/1

is_list/1

is_charlist/1

is_charlist/2

is_most_general_term/1

callable/1

proper_hilog/1

functor/3

hilog_functor/3

arg/3

arg0/3

hilog_arg/3

=../2

copy_term/2

name/2

atom_codes/2

atom_chars/2

number_codes/2

number_chars/2

number_digits/2

Meta-Logical

setof/3

tfindall/3

tsetof/3

tbagof/3

bagReduce/4

filterReduce/4

bagPO/3

filterPO/3

filterPO/2

bagMax/2

bagMin/2

bagSum/2

bagCount/2

bagAvg/2

^ =../2

call/1

once/1

table_once/1

current_input/1

current_output/1

current_module/1

current_module/2

current_atom/1

current_functor/1

current_functor/2

current_predicate/1

current_predicate/2

predicate_property/2

module_property/2

listing/0

listing/1

xsb_configuration/2

xsb_flag/2

xsb_configuration/2

hilog_symbol/1

current_op/3

hilog_op/3

Changing the Default Search

bootstrap_userpackage/3

${\tt '\backslash+'/1}$

tnot/1 vs. ${\tt '\backslash+'/1}$

xsb_xpp_include_dir

^

Installing XSB under UNIX

abort

trace facility: High-Level Tracing

aggregate predicates

prolog: All Solutions and Aggregate
tabling: Tabling Aggregate Predicates

byte code

files

compiler: The Compiler

cmplib

The Compiler

comparison of terms

Comparison

Compiler

The Compiler

directives: Compiler Directives
inlines: Inline Predicates
invoking: Invoking the Compiler
options: Compiler Options
specialisation: Specialisation

configuration

control

Negation and Control

cut

Meta-Predicates | General Description | General Description | Definite Clause Grammar predicates

debugger

Debugging

ports: High-Level Tracing

definite clause grammars

Definite Clause Grammars

directives

Compiler: Compiler Directives
indexing: Indexing Directives
modes: Mode Declarations
tabling: Tabling Directives

emulator

command line options: Command Line Arguments

errors

undefined predicate: The Module system of

garbage collection

Installing XSB under UNIX | Memory Management

GPP

The Compiler | Compiler Options

grammars

definite clause: Definite Clause Grammars

high-level tracing

High-Level Tracing

indexing

directives: Indexing Directives
transformational: Unification Factoring

inlines

Compiler: Inline Predicates

invoking the Compiler

Invoking the Compiler

load search path

The Dynamic Loader and

Local Scheduling

Local Evaluation

low-level tracing

Low-Level Tracing

memory management

Installing XSB under UNIX | Memory Management

mode analysis

compiler options: Compiler Options

modes

directives: Mode Declarations

negation

stable models: Stable Models
stratified: Stratified Normal Programs
unstratified: Non-stratified Programs

notational conventions

Introduction

options

command line arguments: Command Line Arguments
Compiler: Compiler Options

predicate indicator

program, state of

Installing XSB under UNIX

scheduling strategy

set_dcg_style/1

Two differences with other

sets, bags

On Beyond Zebra: Implementing

specialisation

Compiler: Specialisation
compiler options: Compiler Options

stable models

stacks

default sizes: Command Line Arguments
expanding: Command Line Arguments

state of the program

tabled aggregation

Tabled Aggregation

tabling

aggregate predicates: Tabling Aggregate Predicates
answer completion: Trouble in Paradise: Answer
compiler options: Compiler Options
complete evaluation: Completely Evaluated Subgoals
conditional answers: Conditional Answers
cuts: Cuts and Tabling
directives: Tabling Directives
dynamic predicates: Table Directives and Declarations
table inspection predicates: Tabling

term indicator

Programming in the Well-founded

terms

comparison of: Comparison

trace

options: High-Level Tracing

tracing

high-level: High-Level Tracing
low-level: Low-Level Tracing

unification factoring

compiler options: Compiler Options

well-founded semantics

xpp_program