next up previous contents
Next: About this document ... Up: The XSB System Version Previous: Bibliography   Contents


Index

==/2
Comparison
\==/2
Comparison
< /2
Comparison
> /2
Comparison
= < /2
Comparison
> = /2
Comparison
compare/3
Comparison
sort/2
Comparison
keysort/2
Comparison
call/1
Meta-Predicates
!/0
Meta-Predicates
once/1
Meta-Predicates
table_once/1
Meta-Predicates
current_input/1
Information about the State
current_output/1
Information about the State
current_module/1
Information about the State
current_module/2
Information about the State
current_atom/1
Information about the State
current_functor/1
Information about the State
current_functor/2
Information about the State
current_predicate/1
Information about the State
current_predicate/2
Information about the State
predicate_property/2
Information about the State
module_property/2
Information about the State
listing/0
Information about the State
listing/1
Information about the State
xsb_configuration/2
Information about the State
xsb_flag/2
Information about the State
xsb_configuration/2
Information about the State
hilog_symbol/1
Information about the State
current_op/3
Information about the State
hilog_op/3
Information about the State
library_directory/1
Changing the Default Search
bootstrap_userpackage/3
Changing the Default Search
unload_package/1
Changing the Default Search
package_configuration/2
Changing the Default Search
import/1
Dynamically loading predicates in
assert/1
Modification of the Database
asserta/1
Modification of the Database
assertz/1
Modification of the Database
retract/1
Modification of the Database
retractall/1
Modification of the Database
abolish/1
Modification of the Database
clause/2
Modification of the Database
retract_nr/1
Modification of the Database
reclaim_space/1
Modification of the Database
index/2
Modification of the Database
dynamic/1
Modification of the Database
table/1
Modification of the Database
storage_insert_keypair/4
Non-backtrackable Storage
storage_delete_keypair/3
Non-backtrackable Storage
storage_find_keypair/3
Non-backtrackable Storage
storage_insert_fact/3
Non-backtrackable Storage
storage_delete_fact/3
Non-backtrackable Storage
storage_find_fact/2
Non-backtrackable Storage
storage_insert_keypair_bt/4
Backtrackable Updates
storage_delete_keypair_bt/3
Backtrackable Updates
storage_insert_fact_bt/2
Backtrackable Updates
storage_delete_fact_bt/2
Backtrackable Updates
storage_reclaim_space/1
Backtrackable Updates
break/0
Execution State
halt/0
Execution State
prompt/2
Execution State
garbage_collection/1
Execution State
cputime/1
Execution State
cputime/1
Execution State
statistics/0
Execution State
shell/1
Execution State
shell/2
Execution State
ls/0
Execution State
cd/1
Execution State
edit/1
Execution State
abort/0
Exception Handling
abort/1
Exception Handling
STDERR
Exception Handling
catch/3
Exception Handling
throw/1
Exception Handling
consult/[1,2]
Compiling and Consulting
multifile/2
Compiling and Consulting
compile/[1,2]
Invoking the Compiler
table/1
Operators for Declaring and
use_subsumptive_tabling/1
Operators for Declaring and
use_variant_tabling/1
Operators for Declaring and
get_call/3
Predicates for Table Inspection
get_calls/3
Predicates for Table Inspection
get_calls_for_table/2
Predicates for Table Inspection
get_returns/2
Predicates for Table Inspection
get_returns/3
Predicates for Table Inspection
get_returns_for_call/2
Predicates for Table Inspection
get_residual/2
Predicates for Table Inspection
set_global_compiler_options/1
Compiler Options
table_state/4
Predicates for Table Inspection
optimize
Compiler Options
xpp_on
Compiler Options
abolish_all_tables/0
Deleting Tables and Table
abolish_table_call/1
Deleting Tables and Table
abolish_table_pred/1
Deleting Tables and Table
delete_returns/2
Deleting Tables and Table
xpp_options
Compiler Options
xpp_dump
Compiler Options
quit_on_error
Compiler Options
auto_table
Compiler Options
suppl_table
Compiler Options
spec_repr
Compiler Options
spec_off
Compiler Options
unfold_off
Compiler Options
spec_dump
Compiler Options
ti_dump
Compiler Options
add_xsb_hook/1
Adding and Removing Hooks
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
Compiler Options
notrace/0
High-Level Tracing
modeinfer
Compiler Options
spy/1
High-Level Tracing
nospy/1
High-Level Tracing
debug/0
High-Level Tracing
nodebug/0
High-Level Tracing
debugging/0
High-Level Tracing
debug_ctl/2
High-Level Tracing
mi_warn
Compiler Options
$trace/0
Low-Level Tracing
!/0
General Description
!/0
General Description
term_expansion/2
Translation of Definite Clause
word/3
Definite Clause Grammars and
phrase/2
Definite Clause Grammar predicates
tphrase/1
Definite Clause Grammar predicates
phrase/3
Definite Clause Grammar predicates
expand_term/2
Definite Clause Grammar predicates
term_expansion/2
Definite Clause Grammar predicates
`C'/3
Definite Clause Grammar predicates
!/0
Definite Clause Grammar predicates
tphrase_set_string/1
Definite Clause Grammar predicates
dcg/2
Definite Clause Grammar predicates
set_dcg_style/1
Two differences with other
auto_table
Tabling Directives
suppl_table
Tabling Directives
index/2
Indexing Directives
op/3
Operators
table/1
Tabling Directives and Declarations
auto_table
Tabling Directives and Declarations
suppl_table
Tabling Directives and Declarations
use_variant_tabling/1
Tabling Directives and Declarations
use_subsumptive_tabling/1
Tabling Directives and Declarations
tnot/1
tnot/1 vs. $ \tt '\backslash+'\!/1$
\+/1
tnot/1 vs. $ \tt '\backslash+'\!/1$
filterReduce/4
Tabled Aggregation
filterPO/4
Tabled Aggregation
set_input/1
File Handling
see/1
File Handling
seeing/1
File Handling
seen/0
File Handling
set_output/1
File Handling
tell/1
File Handling
telling/1
File Handling
told/0
File Handling
open/3
File Handling
open/4
File Handling
close/1
File Handling
close/2
File Handling
file_exists/1
File Handling
nl/0
Character I/O
nl/1
Character I/O
get0/1
Character I/O
get/1
Character I/O
get_code/1
Character I/O
get_code/2
Character I/O
get_char/1
Character I/O
get_char/2
Character I/O
put/1
Character I/O
put_code/1
Character I/O
put_code/2
Character I/O
put_char/1
Character I/O
put_char/2
Character I/O
tab/1
Character I/O
read/1
Term I/O
read/2
Term I/O
write/1
Term I/O
write/2
Term I/O
write_term/2
Term I/O
write_term/3
Term I/O
writeln/1
Term I/O
writeln/2
Term I/O
display/1
Term I/O
write_prolog/1
Term I/O
write_prolog/2
Term I/O
writeq/1
Term I/O
writeq/2
Term I/O
write_canonical/1
Term I/O
read_canonical/1
Term I/O
write_canonical/2
Term I/O
print/1
Term I/O
is/2
Evaluating Arithmetic Expressions through
+/2
Evaluable Functors for Arithmetic
-/2
Evaluable Functors for Arithmetic
*/2
Evaluable Functors for Arithmetic
'/'/2
Evaluable Functors for Arithmetic
'//'/2
Evaluable Functors for Arithmetic
-/1
Evaluable Functors for Arithmetic
'//2
Evaluable Functors for Arithmetic
''/2
Evaluable Functors for Arithmetic
'>>'/2
Evaluable Functors for Arithmetic
'>>'/2
Evaluable Functors for Arithmetic
ceiling/1
Evaluable Functors for Arithmetic
float/1
Evaluable Functors for Arithmetic
floor/1
Evaluable Functors for Arithmetic
mod/2
Evaluable Functors for Arithmetic
rem/2
Evaluable Functors for Arithmetic
round/1
Evaluable Functors for Arithmetic
sqrt/1
Evaluable Functors for Arithmetic
truncate/1
Evaluable Functors for Arithmetic
cos/1
Mathematical Functions from math.h
sin/1
Mathematical Functions from math.h
tan/1
Mathematical Functions from math.h
acos/1
Mathematical Functions from math.h
asin/1
Mathematical Functions from math.h
atan/1
Mathematical Functions from math.h
log/1
Mathematical Functions from math.h
log10/1
Mathematical Functions from math.h
true/0
Convenience
otherwise/0
Convenience
fail/0
Convenience
=/2
Convenience
\=/2
Convenience
!/0
Negation and Control
fail_if/1
Negation and Control
\+/1
Negation and Control
not/1
Negation and Control
tnot/1
Negation and Control
sk_not/1
Negation and Control
->/2
Negation and Control
->/2
Negation and Control
repeat/2
Negation and Control
var/1
Meta-Logical
nonvar/1
Meta-Logical
atom/1
Meta-Logical
integer/1
Meta-Logical
real/1
Meta-Logical
float/1
Meta-Logical
number/1
Meta-Logical
atomic/1
Meta-Logical
compound/1
Meta-Logical
structure/1
Meta-Logical
is_list/1
Meta-Logical
is_charlist/1
Meta-Logical
is_charlist/2
Meta-Logical
is_attv/1
Meta-Logical
is_most_general_term/1
Meta-Logical
callable/1
Meta-Logical
proper_hilog/1
Meta-Logical
functor/3
Meta-Logical
hilog_functor/3
Meta-Logical
arg/3
Meta-Logical
arg0/3
Meta-Logical
hilog_arg/3
Meta-Logical
=../2
Meta-Logical
copy_term/2
Meta-Logical
name/2
Meta-Logical
atom_codes/2
Meta-Logical
atom_chars/2
Meta-Logical
number_codes/2
Meta-Logical
number_chars/2
Meta-Logical
number_digits/2
Meta-Logical
setof/3
All Solutions and Aggregate
bagof/3
All Solutions and Aggregate
findall/3
All Solutions and Aggregate
tfindall/3
All Solutions and Aggregate
tsetof/3
All Solutions and Aggregate
tbagof/3
All Solutions and Aggregate
bagReduce/4
Tabling Aggregate Predicates
filterReduce/4
Tabling Aggregate Predicates
bagPO/3
Tabling Aggregate Predicates
filterPO/3
Tabling Aggregate Predicates
filterPO/2
Tabling Aggregate Predicates
bagMax/2
Tabling Aggregate Predicates
bagMin/2
Tabling Aggregate Predicates
bagSum/2
Tabling Aggregate Predicates
bagCount/2
Tabling Aggregate Predicates
bagAvg/2
Tabling Aggregate Predicates
^ =../2
Meta-Logical
xpp_include_dir
Compiler Options
^
All Solutions and Aggregate
abort
trace facility
High-Level Tracing
abort exception
Exception Handling
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
Installing XSB under UNIX
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
Exception Handling
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
Installing XSB under UNIX
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
Exception Handling
notational conventions
Introduction
ODBC Interface
Installing XSB under UNIX
options
command line arguments
Command Line Arguments
Compiler
Compiler Options
Oracle Interface
Installing XSB under UNIX
packages
Changing the Default Search
predicate indicator
Information about the State
program, state of
Information about the State
scheduling strategy
Installing XSB under UNIX
sets, bags
All Solutions and Aggregate
SModels Interface
Installing XSB under UNIX
specialization
Compiler
Specialization
compiler options
Compiler Options
stable models
On Beyond Zebra: Implementing
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
Information about the State
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
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
Deleting Tables and Table
table inspection
Predicates for Table Inspection
variant-based
Variant-Based Tabled Evaluation
term indicator
Information about the State
terms
comparison of
Comparison
trace
options
High-Level Tracing
tracing
high-level
High-Level Tracing
low-level
Low-Level Tracing
undefined predicate exception
Exception Handling
unification factoring
compiler options
Compiler Options
well-founded semantics
Programming in the Well-founded
XASP
Installing XSB under UNIX
xpp_program
Compiler Options



Luis Fernando P. de Castro 2003-06-27