Index

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

library_directory/1

bootstrap_userpackage/3

unload_package/1

package_configuration/2

Dynamically loading predicates in

import/1

assert/1

asserta/1

assertz/1

retract/1

retractall/1

abolish/1

clause/2

retract_nr/1

reclaim_space/1

index/2

dynamic/1

table/1

storage_insert_keypair/4

storage_delete_keypair/3

storage_find_keypair/3

storage_insert_fact/3

storage_delete_fact/3

storage_find_fact/2

storage_insert_keypair_bt/4

storage_delete_keypair_bt/3

storage_insert_fact_bt/2

storage_delete_fact_bt/2

storage_reclaim_space/1

Operators for Declaring and

break/0

Execution State

halt/0

Execution State

prompt/2

Execution State

garbage_collection/1

cputime/1

cputime/1

statistics/0

shell/1

shell/2

ls/0

cd/1

edit/1

abort/0

abort/1

STDERR

catch/3

throw/1

consult/[1,2]

Compiling and Consulting

multifile/2

Compiling and Consulting

compile/[1,2]

Invoking the Compiler

table/1

use_subsumptive_tabling/1

Operators for Declaring and

use_variant_tabling/1

Operators for Declaring and

get_call/3

get_calls/3

get_calls_for_table/2

get_returns/2

get_returns/3

get_returns_for_call/2

get_residual/2

set_global_compiler_options/1

table_state/4

optimize

xpp_on

abolish_all_tables/0

abolish_table_call/1

abolish_table_pred/1

delete_returns/2

Adding and Removing Hooks

xpp_options

xpp_dump

quit_on_error

auto_table

suppl_table

spec_repr

spec_off

unfold_off

spec_dump

ti_dump

add_xsb_hook/1

remove_xsb_hook/1

Adding and Removing Hooks

xsb_exit_hook/1

Hooks Supported by XSB

xsb_assert_hook/1

Hooks Supported by XSB

xsb_retract_hook/1

Hooks Supported by XSB

ti_long_names

notrace/0

modeinfer

spy/1

nospy/1

debug/0

nodebug/0

debugging/0

debug_ctl/2

mi_warn

$trace/0

!/0

!/0

term_expansion/2

Translation of Definite Clause

word/3

Definite Clause Grammars and

phrase/2

tphrase/1

phrase/3

expand_term/2

term_expansion/2

`C'/3

!/0

tphrase_set_string/1

dcg/2

Two differences with other

set_dcg_style/1

auto_table

suppl_table

index/2

op/3

table/1

auto_table

suppl_table

use_variant_tabling/1

use_subsumptive_tabling/1

tnot/1

tnot/1 vs. $\tt '\backslash+'\!/1$

\+/1

tnot/1 vs. $\tt '\backslash+'\!/1$

filterReduce/4

filterPO/4

set_input/1

see/1

seeing/1

seen/0

set_output/1

tell/1

telling/1

told/0

open/3

open/4

close/1

close/2

file_exists/1

nl/0

nl/1

get0/1

get/1

get_code/1

get_code/2

get_char/1

get_char/2

put/1

put_code/1

put_code/2

put_char/1

put_char/2

tab/1

read/1

read/2

write/1

write/2

write_term/2

write_term/3

writeln/1

writeln/2

display/1

write_prolog/1

write_prolog/2

writeq/1

writeq/2

write_canonical/1

read_canonical/1

write_canonical/2

print/1

Evaluating Arithmetic Expressions through

is/2

+/2

-/2

*/2

'/'/2

'//'/2

-/1

'//2

''/2

'>>'/2

'>>'/2

ceiling/1

float/1

floor/1

mod/2

rem/2

round/1

sqrt/1

truncate/1

cos/1

sin/1

tan/1

acos/1

asin/1

atan/1

log/1

log10/1

true/0

otherwise/0

fail/0

=/2

\=/2

!/0

fail_if/1

\+/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_attv/1

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

bagof/3

findall/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

Meta-Logical

xpp_include_dir

^

abort

trace facility: High-Level Tracing

abort exception

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
specialization: Specialization

configuration

control

Negation and Control

cut

Negation and Control | Meta-Predicates | General Description | General Description | Definite Clause Grammar predicates

debugger

Debugging

ports: High-Level Tracing

definite clause grammars

Definite Clause Grammars

datalog mode: Definite Clause Grammars and
list mode: Definite Clause Grammars and
style: Two differences with other

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

exceptions

Flora

Introduction

garbage collection

Command Line Arguments | Memory Management

GPP

The Compiler | Compiler Options

grammars

definite clause: Definite Clause Grammars

high-level tracing

High-Level Tracing

indexing

directives: Indexing Directives
dynamic predicates: Modification of the Database
transformational: Unification Factoring

inlines

Compiler: Inline Predicates

InterProlog

Introduction

InterProlog Interface

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

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

non-existing module exception

notational conventions

Introduction

ODBC Interface

options

command line arguments: Command Line Arguments
Compiler: Compiler Options

Oracle Interface

packages

predicate indicator

program, state of

scheduling strategy

sets, bags

SModels Interface

On Beyond Zebra: Implementing

specialization

Compiler: Specialization
compiler options: Compiler Options

stable models

stacks

default sizes: Command Line Arguments
expanding: Command Line Arguments

standard predicates

The Module System of | Dynamically loading predicates in | Compiler Options

state of the program

tabled aggregation

Tabled Aggregation

tabling

aggregate predicates

Trouble in Paradise: Answer

answer completion

compiler options

Completely Evaluated Subgoals

complete evaluation

conditional answers

Conditional Answers

consumer

Definite Programs

cuts

Cuts and Tabling

directives

Tabling Directives | Operators for Declaring and

dynamic predicates

Exercises

producer, generator

Definite Programs

strategy selection

Tabling Directives and Declarations | Operators for Declaring and

subsumption-based

Subsumption-Based Tabled Evaluation

interaction with meta-logical predicates: Subsumption-Based Tabling and Meta-Logical
interaction with negation: Subsumption-Based Tabled Evaluation | Current Restrictions

table deletion

table inspection

Variant-Based Tabled Evaluation

variant-based

term indicator

terms

comparison of: Comparison

trace

options: High-Level Tracing

tracing

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

undefined predicate exception

Programming in the Well-founded

unification factoring

compiler options: Compiler Options

well-founded semantics

XASP

xpp_program