| 
 #—move down to parth argument (debugger cmd), 15.6.6
 
−—remove a spy point (debugger cmd), 15.6.7
−>/2, 6.7
<—print depth (debugger cmd), 15.2
 
’,’/2, E.1
’.’/2, 6.4.3
’C’/3, 13.3.3
 
*—compound iterator construct, 5.2
*->/2, 5.6
 
++X, 2
+—set a spy point (debugger cmd), 15.6.7
+/3, 9.4
+X, 2
 
,—compound iterator construct, 5.2
,/2, 6.7
 
-- (command line option), D.1
–X, 2
-?->, 5.5
 
.—print definition (debugger cmd), 15.6.4
.—print structure definition (debugger cmd), 15.6.6
.eclipse_history, 3.5.8
.eclipserc, 3.9.1
.tkeclipserc, D.2
.tkeclipsetoolsrc, D.2
 
0—move current subterm to toplevel (debugger cmd), 15.6.6
 
:-, 5.5
:/2, 6.7, 8.3.2, 8.3.2, 8.3.6, 14.2.2
 
;/2, 6.7, 15.1, 20.1.3
 
<—set print depth (debugger cmd), 15.6.7
</2, 9.1
 
=/2, 6.7, 6.7, 9.2.4, E.1
=:=/2, 6.7, 9.1
=</2, 9.1
==/2, 6.7, 6.7, 9.2.4
=\=/2, 9.1
 
>—set indentation step width (debugger cmd), 15.6.7
>/2, 9.1
>=/2, 9.1
>>—compound iterator construct, 5.2
 
?-, 5.5
?X, 2
 
[File1,...,FileN], 6.2, 6.5.3
[], 2
 
@/2, 8.3.5, 8.3.5, 8.3.6, 15.5.1
\=/2, 6.7
\==/2, 6.7, 18.5, 18.5
!/2, 18.11.1, 18.11.2
*->/2, 5.6, 5.6
->/2, 5.6
-->/2, 13.3
?—help (debugger cmd), 15.6.4
∼/1, 18.3, 18.12
∼=/2, 18.3, 18.7.1
 
A—move current subterm up by n levels (debugger cmd), 15.6.6
a—abort (debugger cmd), 15.6.3
abolish, 20.1.1
abort/0, 14.3.2
abstract structure notation, 5.1
accept/3, 11.1.3, 11.1.3
accessible definition, 8.2.4
add_attribute/2, 17.4
add_attribute/3, 17.4
after events, 14.1.2
als/1, 6.8
ambiguity, A.3.3
ambiguity warning, 8.3.1
anonymous variable, 2
append/3, E.1
arg/3, 5.3, 5.3.1, 6.7, 10.8
argc/1, 21.2.1, 21.2.1
argv/2, 21.2.1, 21.2.1
arithmetic, 9
built-ins, 9.1
comparison, 9.1
coroutining, 9.6
expressions, 9.3.2
functions, 9.3
predefined arithmetic functions, 9.3.1
prefer_rationals, 9.3.1
types, 9.2
user defined arithmetic, 9.3.3
arity, 2
array, 5.3, 20.1.1
array/1, 10.7
asm:wam/1, 6.8
assert/1, 6.2, 12.1, 12.1, 12.2, 12.2, 12.2, 13.2, 20.1.1, 23.1.2, 23.3, F
at/2, 11.2.8, 11.3.1
atom, 2
atom/1, 6.7
atom_string/2, 5.4.2
atomic, 2
atomic/1, 6.7
atomics_to_string/2,3, 5.4.2
atoms, 5.4.1
attach_suspensions/2, 18.8.7
attach_tools/0, 4.2.2
attached/1, 4.2.2
attribute, 18.8.5
attributed variable, 17.1, A.3
attributed variables, 17, 17.10
 
B—move current subterm down by n levels (debugger cmd), 15.6.6
-b (command line option), D.1
b—break (debugger cmd), 15.6.8
backtracking, 3.5.5
bag, 10.2, 20.1.1
bag_abolish/1, 20.1.1
bag_create/1, 10.2
bag_dissolve/2, 10.2
bag_enter/2, 10.2
bag_retrieve/2, 10.2
bb_min/3, 18.7.3
bignum, 9.2.1
bind/2, 22.3
block/3, 15.1
blocks, 14.2.2
body, 2
body of a clause, 2
bounded reals, 9.2.4
branch_and_bound (library), 18.7.1
break/0, 15.6.8
breal, 9.2.4
breal/1, 6.7
breal/2, 9.2.5
buffered output, 11.2.6
bug reports, 1.4
built-ins
built_in procedure, 2
 
C—move current subterm right by n positions (debugger cmd), 15.6.6
CHIP, 1.2
c—creep (debugger cmd), 15.6.2
calendar (library), 21.2.4
call/1, 6.6.3, 15.5.1
call_c/2, 21.2.6
call_priority/2, 18.10, 18.10.1, 18.10.1, 18.10.1
callable term, 2
cancel_after_event/2, 14.1.2
catch/3, 14.2.2, 14.2.2, 15.1, 15.1, 15.1, C.2
ccompile
ccompile/1, 16.8.1, 16.8.1
ccompile/2, 16.8.1, 16.8.1
cd/1, 21.3.1, 21.3.1
changeset (library), 18.7.1
character class, 11.2.2, A.2.1
character constant, A.2.3
character lists, 5.4.1
choicepoint, 20.1.3
chr (library), 18.7.1
cio (library), 23.2
clause, 2, 2
body, 2
goal, 2
head, 2
matching, 5.5
program, 2
termination, 3.5.4
unit, 2
clause/1, 13.2, 23.1.2
clause/2, 23.1.2
close/1, 11.1.4
close/2, 11.1.4
code coverage, 16
command line options, 21.2.1, D.1
--, D.1
-b, D.1
-D, D.1
-e, D.1
-f, D.1
-g, D.1
-L, D.1
-l, D.1
-P, D.1
-t, D.1
comment directive, E.1
comment/2, 6.4.1, 16.3
compare_instances handler, 17.7
compare_instances/3, 17.7, 17.7
comparison
compilation
nesting compile commands, 3.6
compile/1, 3.5.3, 3.9.2, 6.2, 6.2, 8.3.5, 13.2, 20.1.1, C.1.6
compile/2, 3.5.3, 6.2, 6.2.2, C.1.6
compile_stream/1, 6.2, C.1.6, C.1.6
compile_stream/2, 6.2
compile_term/1, 6.2, 6.6.1, F
compile_term/2, 6.2, 6.6.1
compile_term_annotated/3, 6.6.1
compiler
compiler macros, 13.1
compound term, 2
compound/1, 6.7
connect/2, 22.3, 22.3, 22.3, 22.3
constant, 2
constrained, 19.3
container, 8.1.2
context module, 8.3.5, 8.3.6
control stack, 20.1.3
copy_term handler, 17.7
copy_term/2, 10.6, 17.7, F
copy_term_vars/3, 17.7
coroutining, 18.7.1, 19
count—iterator construct, 5.2
coverage (library), 16.1, 16.8
coverage, 16.8.1
coverage counters, 16.8
cprolog, 23.1
cputime/1, 9.3.3, 21.2.4
create_module/1, 6.6.1, 8.4.2
create_module/3, 8.4.2
curly braces, 5.1
current streams, 11.1.1
current_after_events/1, 14.1.2
current_array/2, 10.7
current_compiled_file/3, 6.5.3
current_error/1, 14.2.1
current_interrupt/2, 14.3.1
current_module/1, 8.3.7
current_stream/1, 11.1.6
current_suspension/1, 18.8.4
cut, 18.11.1, 18.11.2, E.1
cut warnings, 18.11.2
cyclic terms, F
 
-D (command line option), D.1
D—move current subterm left by n positions (debugger cmd), 15.6.6
DCG, 13.3
DID, 2
d—delayed goals (debugger cmd), 15.6.4
database, 12.2
dbgcomp/0, 15.5.1
dead code, E.1
dead suspension, 18.8.2
debug/0, 15.4, 15.4
debug/1, 15.5.1
debug_output, 15.2
debugger command
 #, 15.6.6
−, 15.6.7
+, 15.6.7
., 15.6.4, 15.6.6
0, 15.6.6
<, 15.2, 15.6.7
>, 15.6.7
?, 15.6.4
A, 15.6.6
a, 15.6.3
B, 15.6.6
b, 15.6.8
C, 15.6.6
c, 15.6.2
D, 15.6.6
d, 15.6.4
downarrow key, 15.6.6
f, 15.6.3
G, 15.6.4
g, 15.6.5
h, 15.6.4
i, 15.6.2
j, 15.6.2
l, 15.6.2
leftarrow key, 15.6.6
m, 15.2, 15.6.7
N, 15.6.8
n, 15.6.2
o, 15.2, 15.6.7
p, 15.6.6
q, 15.6.2
rightarrow key, 15.6.6
s, 15.6.2
u, 15.6.4
uparrow key, 15.6.6
v, 15.6.2
w, 15.6.4
x, 15.6.5
z, 15.6.2
debugging/0, 15.4
decval/1, 10.6, 10.6, 10.7
default streams, 11.1.1
default/0, 14.3.2
default_language, 23.1, D.2
default_module, D.2
definite clause grammar, 13.3
definition, 8.1.2, 8.2.4
delay
delay clauses, 18.5
delayed_goals handler, 17.7
delayed_goals/1, 18.8.4
delayed_goals/2, 17.7
delayed_goals_number handler, 17.7
delayed_goals_number/2, 17.7
delete/1, 21.3.4
demon, 18.9
demon/1, 18.9
determinism, 2
dictionary, 20.1.1
dictionary identifier, 2
dif/2, 19.2, 19.2, 19.2, 19.2, 19.2
difference list, 2
dim/2, 5.3, 5.3
directive, 2
discontiguous/1, 6.3.1, 23.2
disjunction, E.1
display/1, 11.4.2
do/2, 5.2, 5.2
document (library), 16.1
downarrow key—move current subterm down by n levels (debugger cmd), 15.6.6
dynamic declaration, 12.1
dynamic procedure, 2
dynamic/1, 6.3.1, 12.1, 12.1, 12.1
 
ECLIPSEDEFAULTLANGUAGE, 23.1
ECLIPSEDEFAULTLANGUAGE, D.1
ECLIPSEINIT, 3.9.1
ECLIPSELIBRARYPATH, 3.7
ECLiPSe, 1.2
Exiting ECLiPSe, 3.5.2
-e (command line option), D.1
ech (library), 18.7.1
eci_to_html/3, 16.3
eclipse_language, 8.1.3, 8.4.1, 23
eclipse_object_suffix, 6.5.1
elif/1, 6.4.2
else/0, 6.4.2
endif/0, 6.4.2
engine, 7
engine, 10.8
ensure_loaded/1, 6.5.3, 8.2.3, D.1
enter_suspension_list/3, 18.8.6
env/0, 21.1, 21.2.5, 21.4.2
erase/2, 10.3
erase_all/1, 20.1.1
erase_array/1, 10.7, 20.1.1
erase_module/1, 8.4.2, 8.4.3
error
error, 11.1.1
error handlers, C
error/2, 14.2.1
error/3, 14.2.1, 14.2.1
error_id/2, 14.2.1
errors, 14.2
escape sequence, A.2.3
event handlers, C
event/1, 14.1.2, 14.1.2, 14.1.2, 14.3.2
event_after/2, 14.1.2
event_after_every/2, 14.1.2
event_create/3, 14.1.1
events, 14.1, 18.7.3
events_after/1, 14.1.2
events_nodefer/0, 14.1.4
exec/2, 11.1.3, 11.1.3, 21.4.1, 21.4.2
exec/3, 11.1.3, 11.1.3, 21.4.1, 21.4.2, 21.4.2, 21.4.2
exec_group/3, 11.1.3, 11.1.3, 21.4.1, 21.4.2, 21.4.2
executed suspension, 18.8.2
existing_file/4, 21.3.3
exists/1, 21.3.3
exit status, D.1
exit/1, 3.5.2, 21.2.3, 21.2.3
exit_block/1, 15.1, 15.2
expand_clause/2, 12.3, 13.3.2
export/1, 2, 5.1, 5.1.5, 6.4.1, 8.2.2, 8.2.2, 13.1
exporting, 8.2.2, 8.2.2
extended head, 18.11.1
extension (file name), 6.2.1
external procedure, 2
 
Fibonacci, 10.5
-f (command line option), D.1
f—fail (debugger cmd), 15.6.3
fact, 2
factorial function, 9.3.3
fail/0, 14.2.2
failure loop, E.1
fatal errors, C.3
fcompile/1, 6.5.1
fd (library), 17.6
fib/2, 10.5
file name, E.1
finalization, 8.4.3
findall/3, 6.7, 18.7.3
float/1, 6.7
float/2, 9.2.5
floating point numbers, 9.2.3
floundering, 18.2.2, 18.2.2, 18.2.2, 18.8.4
flush/1, 11.2.6, 22
for—iterator construct, 5.2, 5.2
foreach—iterator construct, 5.2
foreacharg—iterator construct, 5.2, 5.2
foreachelem—iterator construct, 5.2, 5.2
foreachindex—iterator construct, 5.2
format string, 11.4.1
free variable, 2
free/1, 6.7, 17.8
freeze/2, 18.12
fromto—iterator construct, 5.2
fullstop, 3.5.4
functions
functor, 2, 2
functor/3, 5.3, 19.2
 
G—all ancestors (debugger cmd), 15.6.4
-g (command line option), D.1
g—ancestor (debugger cmd), 15.6.5
garbage collection, 20.2
garbage_collect/0, 20.2
get/1, 11.2.1
get/2, 11.2.1
get_bounds handler, 17.7
get_event_handler/3, 14.1.1, 14.2.1
get_file_info/3, 21.3.3
get_flag/2, 3.4.6, 3.7, 3.9.2, 9.2.1, 15.6.7, 15.6.7, 21.1, 21.2.5, 21.2.5, 21.4.2, A.5
get_flag/3, 6.2.1, 8.3.8, 18.11.1
get_interrupt_handler/3, 14.3.2, 14.3.2
get_module_info/3, 8.3.7, 8.4.4
get_priority/1, 18.10
get_stream/2, 11.1.2, 11.1.2
get_stream_info/3, 11.1.7, 11.3.1
get_suspension_data/3, 18.8.3
get_var_bounds/3, 17.7, 17.7
getcwd/1, 5.4.2, 21.3.1, 21.3.1
getenv/2, 21.2.2
getref/2, 10.8
getval/2, 10.6, 10.7, 10.7, 10.8
global flag
global reference, 10.1, 10.8
global stack, 20.1.4
globalsize, D.2
goal, 2
goal expansion, 6.6.3
grammar rules, 13.3
ground term, 2
 
h—help (debugger cmd), 15.6.4
halt/0, 3.5.2, 14.3.2, 21.2.3
handler, 17.7
compare_instances, 17.7
copy_term, 17.7
delayed_goals_number, 17.7
delayed_goals, 17.7
get_bounds, 17.7
pre_unify, 17.7
print, 17.7
set_bounds, 17.7
suspensions, 17.7
test_unify, 17.7
unify, 17.7
error, C
event, C
hash table, 10.5
head of a clause, 2
head of a pair, 2
heap, 20.1.1
help, 3.5.9
help/0, 3.5.1
help/1, 3.5.1, 21.3.3
history, 3.5.8
hostid, 21.2.5
hostname, 21.2.5
 
ISO Prolog, 23, 23.1.1
i—invocation skip (debugger cmd), 15.6.2
icompile/2, 16.3
if then else, E.1
if/1, 6.4.2
import/1, 6.4.1, 8.2.3, 8.2.3, 8.2.3, 13.2
imported, 8.2.3
importing, 8.2.3
include/1, 6.4.3, 8.3.4
incval/1, 10.6, 10.6, 10.7
indexing, 5.4.1
infix operator, A.3.2
infix/postfix ambiguity, A.3.3
inheritance, 5.1.4
init_suspension_list/2, 18.8.6
initialization, 8.4.3
initialization file, 3.9.1
initialization/1, 8.2.2
initquery, D.2
inline/2, 6.6.3, 13.2
inlining, 6.6.3
input, 11.1.1
input/output, 11.1
insert_suspension/3, 18.8.5, 18.8.5
insert_suspension/4, 18.8.5, 18.8.5
inspect subterm commands (debugger), 15.6.6
interaction with output modes, 15.6.6
instance/2, 17.7
instantiated variable, 2
integer constants, E.1
integer/1, 6.7
integer/2, 9.2.5
integers, 9.2.1
interface, 8.2.2
internal/0, 14.3.2
interrupt, 3.5.6
interrupts, 14.3
interval arithmetic, 9.2.4
is/2, 6.4.4, 9.1, 9.1, 9.3.3, 9.5, 18.11.1
is_dynamic/1, 12.1
is_suspension/1, 18.8.3
iso, 23.1, 23.1.1, 23.1.1
 | iso_light, 23.1, 23.1.1
iso_strict, 23.1, 23.1.1, 23.1.1
iteration, 5.2
 
j—jump to level (debugger cmd), 15.6.2
 
kill/2, 14.3.2, 21.4.2, 21.4.3
kill_display_matrix/1, 4.1
kill_suspension/1, 18.8.3
 
-L (command line option), D.1
-l (command line option), D.1
l—leap (debugger cmd), 15.6.2
language, 8.4.1
leftarrow key—move current subterm left by n positions (debugger cmd), 15.6.6
lib(suspend), 18.3
lib(timeout), 14.1.4
lib/1, 3.7, 6.4.1, 6.5.3, 8.2.3
libraries, 3.7, 8.1.3
library
branch_and_bound, 18.7.1
calendar, 21.2.4
changeset, 18.7.1
chr, 18.7.1
cio, 23.2
coverage, 16.1, 16.8
document, 16.1
ech, 18.7.1
fd, 17.6
lint, 16.1
mode_analyser, 16.9, 16.9, 16.9
port_profiler, 16.7, 16.7, 16.7
pretty_printer, 16.1
profiler, 16.1
propia, 18.7.1
repair, 18.7.1
suspend, 17.7, 18.3
visualisation, 18.7.1
xref, 16.1, 16.4
library path, 3.7
library search path, 3.7
library(asm), 6.8
library(hash), 10.5
library(regex), 5.4.2
library(source_processor), 6.8, 11.2.3
line coverage, 16.8
lint (library), 16.1
lint/1, 16.2
lint/2, 16.2
list, 2
list_error/3, 14.2.1
listing/0, 23.1.2
listing/1, 23.1.2
load/1, 20.1.1, 21.2.6
local, 8.2.1
local stack, 20.1.2
local/1, 5.1, 6.4.1, 8.2.2, 8.3.1, 8.3.1, 10.6, 10.7, 13.1, 23.2
localsize, D.2
lock/0, 8.4.4, 8.4.4
lock_pass/1, 8.4.4, 8.4.4
locking, 8.4.4
log_output, 11.1.1
logical update semantics, 12.2
lookup module, 8.3.2, 8.3.6
loop_name—iterator construct, 5.2
loops, 5.2
 
MegaLog, 1.2
m—module (debugger cmd), 15.2, 15.6.7
macro
macro expansion, 13.1
macro/3, 6.6.4, 13.2, 13.2
macro_expansion, 13.2
macros
clause, 13.2
compiler, 13.1
goal, 13.2
protect_arg, 13.2
read, 13.1, 13.2
term, 13.2
top_only, 13.2
type, 13.2
write, 13.1, 13.2
mailing list, 1.3
make/0, 3.5.3, 6.5.3
make_display_matrix/2, 4.1, 4.1, 4.1
make_display_matrix/5, 4.1, 4.1
make_suspension/3, 15.1, 18.8.2, 18.8.3
matching, 5.5, 17.9.1, 18.5
matmult/3, 5.3
matrix, 5.3
member/2, E.1
memberchk/2, E.1
memoization, 10.5
memory usage, 20
merge_suspension_lists/4, 18.8.6
meta-predicate, 8.3.5
meta/1, 6.7, 17.8
meta_attribute/2, 6.4.1, 17.2
metaterm, see attributed variable
minimize/2, 18.7.3
mode, 2
mode declaration, 6.6.2
mode/1, 2, 6.6.2
mode_analyser (library), 16.9, 16.9, 16.9
module
module properties, 8.3.7
module/1, 6.3.2, 6.3.3, 6.4.1, 6.5.2, 8.2.1, 8.4.1
module/3, 6.3.2, 6.3.3, 6.4.1, 8.4.1, 23.1
modules, 8
multifor—iterator construct, 5.2, 5.2
 
N—nodebug permanently (debugger cmd), 15.6.8
Name/Arity, 2, 2
n—nodebug (debugger cmd), 15.6.2
name conflict, 8.3.1
named structure, E.1
nil, 2
nl/0, 11.2.4
nl/1, 11.2.4
no_macro_expansion/1, 5.1.3, 13.2
nodbgcomp/0, 3.8, 15.5.1
nodebug/0, 15.4
non-logical array, 10.7
non-logical variable, 10.6, 20.1.1
nonground/1, 6.7, 18.5, 18.12
nonground/2, 18.7.1
nonground/3, 18.5
nonvar/1, 6.7
nospy/1, 15.3, 15.4
not/1, 6.7
not_unify/2, 17.7, 19.3
notify_constrained/1, 18.7.1
notrace/0, 15.4
null, 11.1.1, 11.1.1
number, 2
number/1, 6.7
number_string/2, 5.4.2
numbervars/3, 23.2
 
o—output mode (debugger cmd), 15.2, 15.6.7
object code, 6.5.1
of/2, 5.1
op/3, 8.1.2, A.3.2, B
open/3, 2, 11.1.3, 11.1.3, 11.1.3, 11.1.3, 11.1.3, 11.3.1, 11.3.2
open/4, 11.1.2, 11.1.3, 11.3.2
operator, A.3.2
operators, B
optimisation, 16
os_file_name/2, 21.3.5
output
output, 11.1.1
output of variables, 11.2.3
output options, 11.4.1
output_mode, 17.7.1
overflow, stack, C.2
 
-P (command line option), D.1
PredSpec, 2
Prolog, 18.2.1
p—show subterm path (debugger cmd), 15.6.6
pair, 2
param—iterator construct, 5.2
pathname/4, 21.3.5
pattern matching, 17.9.1, 18.5
pause/0, 3.5.6
performance, 16
phrase/3, 13.3, 13.3, 13.3.1, 13.3.1
pid (global flag), 21.4.2
pipe streams, 11.1.3
plus/3, 9.5
port_profile/2, 16.7
port_profiler (library), 16.7, 16.7, 16.7
portray/3, 13.2, 18.8.2
postfix operator, A.3.2
postponed, 18.7.3, 18.7.3
postponed trigger, 18.7.3
ppid (global flag), 21.4.2
pragma, 6.4.4
pragma/1, 6.4.4
pre_unify handler, 17.7
pred/1, 8.3.8, 15.3
predicate, 2
predicate name, E.1
predicate properties, 8.3.8
prefer_rationals, 9.2.2, 9.3.1
prefix ambiguity, A.3.3
prefix operator, A.3.2
prefix/infix ambiguity, A.3.3
pretty_print/2, 16.5
pretty_printer (library), 16.1
print handler, 17.7
print/1, 11.4.2
printf/2, 11.2.4, 11.4.1, 13.2, 13.2, 17.7, 17.7.1, 22
printf/3, 11.2.4, 11.4.1, 11.4.1, 17.7, 22
priority, 18.2.1
private heap, 20.1.1
procedure
built_in, 2
dynamic, 2
external, 2
functor, 2
regular, 2
simple, 2
static, 2
tool, 8.3.5
profile, D.1
profile/1, 16.6
profiler (library), 16.1
profiler, D.2
profiling, 16, 16.6
program analysis, 16
program clause, 2
prolog_suffix, 3.9.2, 6.2.1
properties
propia (library), 18.7.1
put/1, 11.2.1
put/2, 11.2.1
 
q—query the failure culprit (debugger cmd), 15.6.2
qualified acccess, 8.3.2
qualified attribute specification, 17.3
query, 2, 3.5.5, 3.6
quintus, 23.1
 
Reference Manual Section on Engines, 7
rational numbers, 9.2.2
rational/1, 6.7
rational/2, 9.2.5
raw mode, 11.2.1
read macros, 13.1
read mode, 11.1
read/1, 8.3.5, 11.1.1, 11.2.3, 11.2.3, 13.1
read/2, 11.2.3
read_annotated/3, 13.1
read_directory/4, 21.3.2
read_string/3,4,5, 5.4.2
read_string/5, 11.2.2
read_term/2, 11.2.3
read_term/3, 11.2.3
read_token/2, 11.2.2, A.2.3
read_token/3, 11.2.2, A.2.3
readvar/3, 11.2.3, C.1.7
real/1, 6.7
record, 10.3
record/1, 10.3
record/2, 8.3.5
record_create/1, 10.3
record_wait_append/4, 10.3
recorda/2, 10.3
recorded/2, 10.3
recorded_list/2, 10.3
recordz/2, 10.3
redefinition error, 8.3.1
redefinition warning, 8.3.1
redirecting streams, 11.1.5
reexport/1, 6.4.1, 8.3.3
reference, 10.1, 10.8
regular procedure, 2
remove a spy point, 15.6.7, F
rename/2, 21.3.4
repair (library), 18.7.1
reset_error_handlers/0, 14.2.1
reset_event_handler/1, 14.2.1
resolvent, 18.2.1, 18.2.1
result
result/1, 16.8.2
retract/1, 12.1, 12.2, 12.2, 12.2, 13.2, 20.1.1
rightarrow key—move current subterm right by n positions (debugger cmd), 15.6.6
runtime system, 8.1.3
 
Saros, 6.2
SEPIA, 1.2
Socket streams, 11.1.3
SpecList, 2
s—skip (debugger cmd), 15.6.2
schedule_suspensions/1, 18.8.8, 18.8.8
schedule_suspensions/2, 18.8.6, 18.8.8, 18.8.8
scheduled suspension, 18.8.8
seek/2, 11.2.8, 11.3.1
set a spy point, 15.6.7, F
set_bounds handler, 17.7
set_chtab/2, A.2.1, A.4
set_event_handler/2, 14.1.1, 14.2.1, C.4
set_flag/2, 3.4.6, 3.7, 3.9.2, 15.5.1, 20.1.1, 20.2, 21.1
set_flag/3, 15.3, 15.3, 15.3, 15.4, 15.5.1, 15.5.1
set_interrupt_handler/2, 14.3.2, 21.4.3
set_stream/2, 2, 11.1.2, 11.1.5
set_stream_property/3, 11.1.7, 11.2.4, 11.2.6, 11.2.7, 11.4.3
set_suspension_data/3, 18.8.3
set_var_bounds/3, 17.7, 17.7
setarg/3, 10.8, 17.6
setof/3, 6.7, 15.5.1, 18.7.3
setref/2, 10.8, 10.8
setval/2, 10.6, 10.6, 10.6, 10.7, 10.7, 10.8
sh/1, 21.4.1, 21.4.1, 21.4.1, 21.4.2
shared heap, 20.1.1
shelf, 10.4, 20.1.1
shelf/ 2, 10.4
shelf_abolish/1, 20.1.1
shelf_create/2, 10.4
shelf_create/3, 10.4
shelf_get/3, 10.4
shelf_inc/2, 10.4
shelf_set/3, 10.4
sicstus, 23.1
simple goals, 18.11.1
simple procedure, 2
sin/2, 9.4
singleton, E.1
skipped/1, 15.3, 15.5.1
sleeping suspension, 18.8.2
socket/3, 11.1.3, 11.1.3, 22.2
sort/2, 6.7
source files, 8.3.4
source transformation, 13.1
split_string/4, 5.4.2, 11.2.2
spy point, 15.2, 15.4, 15.6.2
spy/1, 15.3, 15.4, 15.6.7
spy_term/2, 15.6.2
spy_var/1, 15.6.2
stack
stacks, 20.1.2
standard streams, 11.1.1
start_tracing, 15.5.1
static procedure, 2
statistics/0, 3.4.6, 20.1
statistics/0,2, 20.1.1
statistics/2, 3.4.6, 20.1, 20.2, 21.2.4
stderr, 11.1.1
stdin, 11.1.1
stdout, 11.1.1
storage, 23.3
store, 10.5
store/ 1, 10.5
store_create/1, 10.5
store_delete/2, 10.5
store_erase/1, 10.5
store_get/3, 10.5
store_set/3, 10.5
stored_keys/2, 10.5
stored_keys_and_values/2, 10.5
stream, 2, 11.1
stream handles, 11.1.2
streams
string, 2
string/1, 6.7
string_char/3, 5.4.2
string_chars/2, 5.4.2, 5.4.2
string_code/3, 5.4.1, 5.4.2
string_codes/2, 5.4.2
string_concat/3, 5.4.2
string_length/2, 9.3.3
string_list/2,3, 5.4.2
strings, 5.4
struct/1, 5.1
structure, 2, 8.1.2, A.3
structure notation, see abstract structure notation
structures, 5.1, 6.7
subcall/2, 15.5.1, 18.8.4
subscript, A.3
subscript/2, 5.3.1
subscript/3, 5.3.1
substring/5, 5.4.2
succ/2, 9.5
suffix (file name), 6.2.1
suspend, 18.7.1, 19
suspend (library), 17.7, 18.3
suspend/3, 15.1, 18.6, 18.6, 18.7.2, 18.7.3, 18.8.2, 18.8.5
suspend/4, 15.1, 18.8.2
suspended goal, 18.2.1
suspending variables, 18.6, 18.6, 18.11.1
suspension, 18.8, 18.8, 18.8.8
suspension list, 18.8.1, 18.8.5
suspensions handler, 17.7
suspensions/1, 18.8.4
suspensions/2, 17.7
swi, 23.1
symbolic waking condition, 18.7.3, 18.8.7
syntax, 8.1.2
syntax differences of ECLiPSe, A.4
syntax_option, A.5
system tool, 8.3.5
system/1, 21.4.1
 
Tools, 8.3.5
-t (command line option), D.1
tail of a pair, 2
term, 2
callable, 2
compound, 2
constant, 2
ground, 2
variable, 2
term_hash/4, F
term_string/2, 5.4.2
term_variables/2, 19.1
test_unify handler, 17.7
text_to_string/2, 5.4.2
thread, 7
throw/1, 14.1.4, 14.2, 14.2.2, 14.3.2, 15.1, 15.2, C.1.7, C.2
timed events, 14.1.2
timers, 14.1.2
times/3, 9.5
tkeclipse, 6.2
token, 11.2.2
token class, 11.2.2
tool, 8.3.5
tool/2, 8.3.5
tool_body/3, 8.3.8
tools/0, 4.2.2, 4.2.2
top level loop, 3.5.2, 18.4
toplevel module, 8.1.3
trace/0, 15.4, 15.4
trace/1, 15.3, 15.5.1
trace_call_port/3, 15.7.1
trace_exit_port/0, 15.7.1
trace_parent_port/1, 15.7.1
trace_point_port/3, 15.7.1
traceable/1, 15.3
trail stack, 20.1.5
trigger, 18.7.3, 18.8.7
trigger/1, 14.1.3, 18.7.3
triggers, 18.7.3
trimcore/0, 20.1.1
true/0, 12.1, 14.2.2, 14.3.2, 17.7, 18.11.1
twice/1, 8.3.5
tyi/1, 11.2.1
tyi/2, 11.2.1
tyo/1, 11.2.1
tyo/2, 11.2.1
type
type macros, 13.2
type_of/2, 13.2.1, 18.8.3
types
 
u—scheduled goals (debugger cmd), 15.6.4
unification
unify handler, 17.7
uninstantiated variable, 2
unit clause, 2
unlock/2, 8.4.4
unqualified attribute specification, 17.3
unskipped/1, 15.3
untraceable/1, 15.3
uparrow key—move current subterm up by n levels (debugger cmd), 15.6.6
update mode, 11.1
update_struct/4, 5.1.1
use_module/1, 3.7, 6.4.1, 6.5.3, 8.2.3, 13.2
user, 11.1.1
user group, 1.3
user_error, 11.1.1
user_input, 11.1.1
user_output, 11.1.1
 
v—var/term modification skip (debugger cmd), 15.6.2
var/1, 5.5, 6.7, 17.1, 18.5, 18.12
variable, 2
anonymous, 2
attributed, 17
free, 2
instantiated, 2
non-logical, 10.6, 20.1.1
output, 11.2.3
uninstantiated, 2
variable name, E.1
variable/1, 10.6
variable_names, 11.2.3
variables, 3.5.5
variant/2, 17.7
visible definition, 8.2.4, 8.3.2
visualisation (library), 18.7.1
 
w—write source context for current goal (debugger cmd), 15.6.4
wait/2, 21.4.2, 21.4.2
wake/0, 18.7.1, 18.8.8, 18.8.8
waking, 18.8.2, 18.8.8, 18.11.1
waking suspension, 18.8.2
waking/1, 15.5.1
warning_output, 11.1.1
when declarations, 18.12
with/2, 5.1
with_profiler, D.2
write macros, 13.1
write mode, 11.1
write/1, 8.3.5, 11.1.1, 11.2.3, 11.2.3, 11.4.2, 17.7, 17.7.1
write/2, 11.2.3, 11.2.3, 17.7
write_canonical/1, 11.4.2
write_history/0, 3.5.8
write_term/2, 11.4.1
write_term/3, 11.4.1, 11.4.1
writeln/1, 11.2.4, 11.4.2, 17.7
writeln/2, 11.2.4, 17.7
writeq/1, 11.2.3, 11.4.2, 17.7.1
writeq/2, 11.2.3, F
 
x—examine goal (debugger cmd), 15.6.5
xref (library), 16.1, 16.4
xref/2, 16.4
 
z—zap (debugger cmd), 15.6.2
 |