# Index

#—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 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 non-logical, 10.7 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 specification qualified, 17.3 unqualified, 17.3 attributed variable, 17.1, A.3 attributed variables, 17, 17.10 handlers, 17.7 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 arithmetic, 9.1 comparison, 9.1 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 coverage, 16.8.1, 16.8.1 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 arithmetic, 9.1 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 arithmetic, 9.4 pragma, 6.4.4 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 arithmetic, 9.6 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 accessible, 8.2.4 visible, 8.2.4, 8.3.2 delay arithmetic, 9.6 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 fatal, C.3 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 handlers, 14.2.2 user defined, 14.2.3 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 extension, 6.2.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 arithmetic, 9.3 functor, 2, 2 of a procedure, 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 prefer_rationals, 9.2.2, 9.3.1 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 tkeclipse, 14.3.2 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 difference, 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 no_macro_expansion, 13.2 write, 17.7.1 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 raw, 11.2.1 read, 11.1 update, 11.1 write, 11.1 mode declaration, 6.6.2 mode/1, 2, 6.6.2 mode_analyser (library), 16.9, 16.9, 16.9 module context, 8.3.6 lookup, 8.3.6 toplevel, 8.1.3 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 ambiguity, A.3.3 infix, A.3.2 postfix, A.3.2 prefix, A.3.2 operators, B optimisation, 16 os_file_name/2, 21.3.5 output buffered, 11.2.6 format string, 11.4.1 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 head, 2 tail, 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 module, 8.3.7 predicate, 8.3.8 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 coverage, 16.8.2 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 remove, 15.6.7 set, 15.6.7 spy/1, 15.3, 15.4, 15.6.7 spy_term/2, 15.6.2 spy_var/1, 15.6.2 stack overflow, C.2 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 redirecting, 11.1.5 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 inheritance, 5.1.4 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 creating, 18.8.2 dead, 18.8.2 executed, 18.8.2 scheduled, 18.8.8 sleeping, 18.8.2 waking, 18.8.2 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 system, 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 postponed, 18.7.3 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 breal, 9.2.4 float, 9.2.3 integer, 9.2.1 rational, 9.2.2 type macros, 13.2 type_of/2, 13.2.1, 18.8.3 types arithmetic, 9.2 u—scheduled goals (debugger cmd), 15.6.4 unification pattern matching, 17.9.1 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