# Index

*−>/2, 5.6, 5.6 − — remove a spy point (debugger cmd), 14.6.7 −X, 2 –>/2, 12.3 −>/2, 5.6, 6.9 −?−>/1, 5.5 < — print depth (debugger cmd), 9 < — set print depth (debugger cmd), 14.6.7 </2, 6.9, 8.1 > — set indentation step width (debugger cmd), 14.6.7 >/2, 6.9, 8.1 >=/2, 6.9, 8.1 >> — compound iterator construct, 5.2 \=/2, 6.9 \==/2, 6.9, 17.5, 17.5 ?X, 2 ?−/2, 5.5 ∼/1, 17.3 ∼=/2, 17.3, 17.7.1 'C'/3, 12.3.3 * — compound iterator construct, 5.2 + — set a spy point (debugger cmd), 14.6.7 ++X, 2 +/3, 8.4 +X, 2 , — compound iterator construct, 5.2 ,/2, 6.9 –b (command line option), D –D (command line option), D –e (command line option), D –g (command line option), D –l (command line option), D . — Print structure definition (debugger cmd), 14.6.6 . — print definition (debugger cmd), 14.6.4 .eclipse_history, 3.5.8 .eclipserc, 3.9.1 0 — Move current subterm to toplevel (debugger cmd), 14.6.6 : /2, 7.3.2, 7.3.2, 7.3.6, 4 :/2, 6.9 ;/2, 6.9, 14.1, 19.1.3 =</2, 6.9, 8.1 =../2, 6.9 =/2, 6.9, 6.9, 8.2.4 =:=/2, 6.9, 8.1 ==/2, 6.9, 6.9, 8.2.4 =\=/2, 8.1 [], 2 @/2, 7.3.5 @/2, 7.3.5, 7.3.6, 14.5.1 ?— help (debugger cmd), 14.6.4 `~`/1, 17.12 A — Move current subterm up by N levels (debugger cmd), 14.6.6 a — abort (debugger cmd), 14.6.3 abolish, 19.1.1 abort/0, 13.3.2 accept/3, 10.1.3, 10.1.3 accessible, 7.2.4 add_attribute/2, 16.4 add_attribute/3, 16.4 after events, 13.1.2 als/1, 6.11 ambiguity, A.3.3 ambiguity warning, 7.3.1 append/3, 6.9 arg/3, 5.3, 5.3.1, 6.9, 6.9, 9.7 argc/1, 20.2.1, 20.2.1 argv/2, 20.2.1, 20.2.1 arithmetic, 8 built-ins, 8.1 coroutining, 8.6 expressions, 8.3.2 functions, 8.3 predefined arithmetic functions, 8.3.1 prefer_rationals, 8.3.1 types, 8.2 user defined arithmetic, 8.3.3 arity, 2 array, 5.3 array/1, 9.6 arrays, 19.1.1 non-logical, 9.6 assert/1, 6.4, 6.4, 6.4, 11.1, 11.1, 11.1, 11.2, 11.2, 11.2, 12.2, 19.1.1, 22.1.1, 22.3, 4 assert/1,2, 6.2 at/2, 10.2.8, 10.2.8, 10.3.1 atom, 2 atom/1, 6.9 atom_string/2, 5.4.2 atomic, 2 atomic/1, 6.9 atoms, 5.4.1 attach_suspensions/2, 17.8.7 attach_tools/0, 4.2.2 attached/1, 4.2.2 attribute, 17.8.5 specification qualified, 16.3 unqualified, 16.3 attributed variable, A.3 attributed variables, 16, 16.10 handlers, 16.7 B — Move current subterm down by N levels (debugger cmd), 14.6.6 Blocks, 13.2.2 b — break (debugger cmd), 14.6.8 backtracking, 3.5.5 bag_abolish/1, 19.1.1 bag_create/1, 9.2 bag_dissolve/2, 9.2 bag_enter/2, 9.2 bag_retrieve/2, 9.2 bags, 19.1.1 bb_min/3, 17.7.3 bignum, 8.2.1 bind/2, 21.3 block/3, 13.2.2, 13.2.2, 14.1, 14.1, 14.1, 14.1, 14.1, 14.1, C.2 body, 2 bounded reals, 8.2.4 break/0, 14.6.8 breal, 8.2.4 breal/1, 6.9 breal/2, 8.2.5 buffered output, 10.2.6 bug reports, 1.4 C — Move current subterm right by N positions (debugger cmd), 14.6.6 CHIP, 1.2 c — creep (debugger cmd), 14.6.2 call/1, 6.7, 14.5.1, 14.5.1 call_c/2, 20.2.6 call_priority/2, 17.10.1, 17.10.1 callable term, 2 caller module, 7.3.6 cancel_after_event/2, 13.1.2 ccompile coverage, 15.8.1, 15.8.1 ccompile/1, 15.8.1, 15.8.1 ccompile/2, 15.8.1, 15.8.1 cd/1, 20.3.1, 20.3.1, 20.3.1 character class, 10.2.2, A.2.1 character lists, 5.4.1 choicepoint, 19.1.3 clause, 2, 2 goal, 2 head, 2 iterative, 2 matching, 5.5 program, 2 regular, 2 termination, 3.5.4 unit, 2 clause/1,2, 22.1.1 code coverage, 15 command line options, 20.2.1, D, D –b, D –e, D comment directive, 11 comment/2, 15.3 compare_instances handler, 16.7 compare_instances/3, 16.7 comparison arithmetic, 8.1 compilation nesting compile commands, 3.6 compile/1, 3.5.3, 3.9.2, 6.4, 6.4, 7.3.5, 12.2, 19.1.1 compile/1, 2, C.1.6 compile/2, 3.5.3, 6.4, 6.4 compile_stream/1, 6.4, 6.4, C.1.6, C.1.6 compile_term/1, 6.4, 6.4, 4 compiled_file/2, 6.4, 6.4 compiled_stream/1, 6.4 compiler arithmetic, 8.4 compiler macros, 12.1 compound term, 2 compound/1, 6.9 connect/2, 21.3, 21.3, 21.3, 21.3 constrained, 18.3 container, 7.1.2 control stack, 19.1.3 copy_term handler, 16.7 copy_term/2, 9.5, 16.7, 4 copy_term_vars/3, 16.7 coroutining, 17.7.1, 18 arithmetic, 8.6 count — iterator construct, 5.2 coverage, 15.8, 15.8.1 coverage counters, 15.8 cputime/1, 8.3.3, 20.2.4 create_module/1, 7.4.2 create_module/3, 7.4.2 curly braces, 5.1 current_after_events/1, 13.1.2 current_array/2, 9.6, 9.6 current_compiled_file/3, 6.4, 6.4 current_error/1, 13.2.1, 13.2.1 current_interrupt/2, 13.3.1 current_module/1, 7.3.7 current_stream/1, 10.1.6 current_suspension/1, 17.8.4 cut, 17.11.1, 17.11.2, 25 cut warnings, 17.11.2 cyclic terms, 4 D — Move current subterm left by N positions (debugger cmd), 14.6.6 DCG, 12.3 Debugger Commands, 14.6 Determinism, 2 DID, 2 d — delayed goals (debugger cmd), 14.6.4 database, 11.2 dbgcomp/0, 14.5.1 dead code, 29 debug/0, 14.4, 14.4 debug/1, 14.5.1 debug_output, 14.2 debugging/0, 14.4 decval/1, 9.5, 9.5, 9.5, 9.6 default/0, 13.3.2 definite clause grammar, 12.3 definition, 7.1.2, 7.2.4 delay arithmetic, 8.6 delay clauses, 17.5 delayed_goals handler, 16.7 delayed_goals/1, 17.8.4 delayed_goals/2, 16.7 delayed_goals_number handler, 16.7 delayed_goals_number/2, 16.7 delete/1, 20.3.4, 20.3.4 demon, 17.9 demon/1, 17.9 dictionary, 19.1.1 dif/2, 18.2, 18.2, 18.2, 18.2, 18.2 difference list, 2 dim/2, 5.3, 5.3 disjunction, 20 display/1, 10.4.2 do/2, 5.2, 6.10 document (library), 15.1 double float, 8.2.3 downarrow key — Move current subterm down by N levels (debugger cmd), 14.6.6 dynamic/1, 6.2, 11.1, 11.1, 11.1 ECLIPSEINIT, 3.9.1 ECLIPSELIBRARYPATH, 3.7 ECLiPSe, 1.2 Exiting ECLiPSe, 3.5.2 eci_to_html/3, 15.3 eclipse_language, 7.4.1 ensure_loaded/1, 6.4, 6.4, 7.2.3, D enter_suspension_list/3, 17.8.6 env/0, 20.1, 20.2.5, 20.4.2 erase_all/1, 19.1.1 erase_array/1, 9.6, 9.6, 19.1.1 erase_module/1, 7.4.2, 7.4.3 error, 10.1.1 error handlers, C error/2, 13.2.1 error/3, 13.2.1, 13.2.1 error_id/2, 13.2.1, 13.2.1 errors, 13.2 handlers, 13.2.2 user defined, 13.2.3 event handlers, C event/1, 13.1.2, 13.1.2, 13.1.2, 13.1.2, 13.1.2, 13.1.2, 13.3.2 event_after/2, 13.1.2 event_after_every/2, 13.1.2 event_create/3, 13.1.1 events, 13.1, 17.7.3 events_after/1, 13.1.2 events_nodefer/0, 13.1.4 exec/2, 10.1.3, 10.1.3, 20.4.1, 20.4.2 exec/3, 10.1.3, 10.1.3, 20.4.1, 20.4.2, 20.4.2, 20.4.2 exec_group/3, 10.1.3, 10.1.3, 20.4.1, 20.4.2, 20.4.2 existing_file/4, 20.3.3, 20.3.3 exists/1, 20.3.3, 20.3.3 exit status, D exit/1, 3.5.2, 20.2.3, 20.2.3 exit_block/1, 13.1.4, 13.2, 13.2.2, 14.1, 14.1, 6, C.2 export/1, 2, 5.1, 5.1.5, 7.2.2, 7.2.2, 12.1 exporting, 7.2.2 extended head, 17.11.1 Fibonacci, 9.4 f — fail (debugger cmd), 14.6.3 fact, 2 factorial function, 8.3.3 fail/0, 13.2.2 failure loop, 24 fatal errors, C.3 fcompile/1, 6.4, 6.10 fcompile/2, 6.10 fcompile:fcompile/1, 6.10 fib/2, 9.4 file name, 2 finalization, 7.4.3 findall/3, 6.9, 17.7.3 float/1, 6.9 float/2, 8.2.5 floating point numbers, 8.2.3 floundering, 17.2.2, 17.2.2, 17.8.4 flush/1, 10.2.6, 21 for — iterator construct, 5.2 foreach — iterator construct, 5.2 foreacharg — iterator construct, 5.2 foreachelem — iterator construct, 5.2 foreachindex — iterator construct, 5.2 format string, 10.4.1 free/1, 6.9, 16.8 freeze/2, 17.12 fromto — iterator construct, 5.2 fullstop, 3.5.4 functor, 2, 2 functor/3, 5.3, 6.9, 18.2 G — all ancestors (debugger cmd), 14.6.4 g — ancestor (debugger cmd), 14.6.5 garbage collection, 19.2 garbage_collect/0, 19.2 get/1, 10.2.1 get/1, 2, 10.2.1 get/2, 10.2.1 get_bounds handler, 16.7 get_event_handler/3, 13.1.1, 13.1.1, 13.2.1, 13.2.1 get_file_info/2, 20.3.3 get_file_info/3, 20.3.3, 20.3.3 get_flag/2, 3.4.6, 3.7, 3.9.2, 6.3, 6.3, 6.3, 6.3, 6.3, 6.3, 14.6.7, 14.6.7, 20.1, 20.2.5, 20.2.5, 20.2.5, 20.4.2, 20.4.2, A.5 get_flag/3, 6.2, 6.2, 7.3.8, 17.11.1 get_interrupt_handler/3, 13.3.2 get_module_info/3, 7.3.7, 7.4.4 get_priority/1, 17.10 get_stream/2, 10.1.2, 10.1.2 get_stream_info/3, 10.1.7, 10.3.1 get_suspension_data/3, 17.8.3 get_var_bounds/3, 16.7, 16.7 getcwd/1, 5.4.2, 20.3.1, 20.3.1, 20.3.1 getenv/2, 20.2.2, 20.2.2 getval/2, 9.5, 9.5, 9.6, 9.6, 9.6, 9.7, 9.7 global flag prefer_rationals, 8.3.1 global flags, 8.2.2, 8.2.3 global reference, 9.1, 9.7 global stack, 19.1.4 goal, 2 goal expansion, 6.7 grammar rules, 12.3 ground, 2 h — help (debugger cmd), 14.6.4 halt/0, 3.5.2, 13.3.2, 20.2.3 hash table, 9.4 head, 2 clause, 2 pair, 2 heap, 19.1.1 help, 3.5.9 help/0, 3.5.1 help/1, 3.5.1, 20.3.3 history, 3.5.8 hostid, 20.2.5 hostname, 20.2.5 Inspect subterm commands (debugger), 14.6.6 interaction with output modes, 14.6.6 i — invocation skip (debugger cmd), 14.6.2 icompile/2, 15.3 if then else, 21 ifdef (library), 6.4 import/1, 7.2.3, 7.2.3, 7.2.3, 12.2 importing, 7.2.3 include/1, 6.4, 6.4, 6.10, 7.3.4 incval/1, 9.5, 9.5, 9.5, 9.6 indexing, 5.4.1 infix, A.3.2 infix/postfix ambiguity, A.3.3 inheritance, 5.1.4 init_suspension_list/2, 17.8.6 initialisation file, 3.9.1 initialization, 7.4.3 initialization/1, 7.2.2 inline/2, 6.7, 6.7, 12.2 inlining, 6.7 input, 10.1.1 input/output, 10.1 insert_suspension/3, 17.8.5, 17.8.5 insert_suspension/4, 17.8.5 insert_suspension/4,3, 17.8.5 instance/2, 16.7 instantiated, 2 integer constants, 23 integer/1, 6.9 integer/2, 8.2.5 integers, 8.2.1 interrupt, 3.5.6 interrupts, 13.3 tkeclipse, 13.3.2 interval arithmetic, 8.2.4 is/2, 6.8, 8.1, 8.1, 8.3.3, 8.5, 17.11.1 is_dynamic/1, 11.1, 11.1 is_suspension/1, 17.8.3 iteration, 5.2 j — jump to level (debugger cmd), 14.6.2 kill/2, 13.3.2, 20.4.2, 20.4.3, 20.4.3 kill_display_matrix/1, 4.1 kill_suspension/1, 17.8.3 l — leap (debugger cmd), 14.6.2 language, 7.4.1 leftarrow key — Move current subterm left by N positions (debugger cmd), 14.6.6 lib(suspend), 17.3 | lib(timeout), 13.1.4 lib/1, 3.7, 6.4, 6.4, 7.2.3 lib/1,2, 6.10 libraries, 3.7, 7.1.3 library coverage, 15.8 suspend.pl, 16.7 library search path, 3.7 library(hash), 9.4 library(source_processor), 10.2.3 library_path, 3.7 line coverage, 15.8 lint (library), 15.1 lint/1, 15.2 lint/2, 15.2 list, 2 list_error/3, 13.2.1 listing/0,1, 22.1.1 load/1, 19.1.1, 20.2.6 local stack, 19.1.2 local/1, 5.1, 7.2.2, 7.3.1, 7.3.1, 9.5, 9.6, 12.1, 22.2 lock/1, 7.4.4 lock/2, 7.4.4 locking, 7.4.4 log_output, 10.1.1 logical update semantics, 11.2 lookup module, 7.3.6 loop_name — iterator construct, 5.2 loops, 5.2 MegaLog, 1.2 Mode, 2 m — module (debugger cmd), 8, 14.6.7 macro no_macro_expansion, 6.10.1, 12.2 write, 16.7.1 macro expansion, 12.1 macro/3, 6.10.1, 12.2, 12.2 macro_expansion, 12.2 macros clause, 12.2 compiler, 12.1 goal, 12.2 protect_arg, 12.2 read, 12.1, 12.2 term, 12.2 top_only, 12.2 type, 12.2 write, 12.1, 12.2 mailing list, 1.3 make/0, 3.5.3, 6.4, 6.4 make_display_matrix/2, 4.1, 4.1, 4.1 make_display_matrix/5, 4.1, 4.1 make_suspension/3, 14.1, 17.8.3 make_suspension/3,4, 17.8.2, 17.8.2 make_suspension/4, 17.8.3 matching, 5.5, 16.9.1, 17.5 matmult/3, 5.3 matrix, 5.3 member/2, 28 memberchk/2, 28 memoization, 9.4 memory usage, 19 merge_suspension_lists/4, 17.8.6 meta-predicates, 7.3.5 meta/1, 6.9, 16.8 meta_attribute/2, 16.2 metaterms, 16.1 minimize/2, 17.7.3 mode declaration, 6.6 mode/1, 6.6 module/1, 6.5, 6.5, 6.10.1, 7.2.1, 7.4.1 module/3, 7.4.1, 22.1 modules, 7 multifor — iterator construct, 5.2 N — nodebug permanently (debugger cmd), 14.6.8 Name/Arity, 2, 2 Non-logical Variables, 9.5 n — nodebug (debugger cmd), 14.6.2 name conflict, 7.3.1 named structure, 18 nil, 2 nl/0, 10.2.4 nl/1, 10.2.4 no_macro_expansion/1, 5.1.3, 6.10.1, 12.2 nodbgcomp/0, 3.8, 14.5.1, 22.3 nodebug/0, 14.4 nonground/1, 6.9, 17.5, 17.12, 4 nonground/2, 17.7.1 nonground/3, 17.5 nonlogical variables, 19.1.1 nonvar/1, 6.9 nospy/1, 14.3, 14.4 not/1, 6.9 not_unify/2, 16.7, 18.3 notify_constrained/1, 17.7.1 notrace/0, 14.4 null, 10.1.1 number, 2 number/1, 6.9 number_string/2, 5.4.2 numbervars/3, 22.2 o — output mode (debugger cmd), 9, 14.6.7 object code, 6.10 occur check, 6.3 of/2, 5.1 op/3, 7.1.2, A.3.2, B open/3, 2, 2, 10.1.3, 10.1.3, 10.1.3, 10.1.3, 10.1.3, 10.3.1, 10.3.2 open/4, 10.1.3, 10.3.2 operator, A.3.2 operators, B optimisation, 15 os_file_name/2, 20.3.5 output, 10.1.1 output options, 10.4.1 output_mode, 16.7.1 overflow, stack, C.2 PredSpec, 2 Prolog, 17.2.1 p — Show subterm path (debugger cmd), 14.6.6 pair, 2 param — iterator construct, 5.2 pathname/4, 20.3.5, 20.3.5 pattern matching, 16.9.1, 17.5 pause/0, 3.5.6 performance, 15 phrase/3, 12.3, 12.3, 12.3.1, 12.3.1 pid (global flag), 20.4.2 pipe streams, 10.1.3 plus/3, 8.5 port_profiler (library), 15.7 portray/3, 12.2, 17.8.2 postfix, A.3.2 postponed, 17.7.3 ppid (global flag), 20.4.2 pragma, 6.8 pre_unify handler, 16.7 pred/1, 7.3.8, 14.3 predicate, 2 predicate name, 8 prefer_rationals, 8.2.2, 8.3.1 prefix, A.3.2 prefix ambiguity, A.3.3 prefix/infix ambiguity, A.3.3 pretty_print/2, 15.5 pretty_printer (library), 15.1 print handler, 16.7 print/1, 10.4.2 printf/2, 10.2.4, 10.4.1, 12.2, 12.2, 16.7.1, 16.7.1 printf/2, 3, 21 printf/2,3, 16.7 printf/3, 10.2.4, 10.4.1, 10.4.1 priority, 17.2.1 private heap, 19.1.1 procedure built_in, 2 dynamic, 2 external, 2 functor, 2 regular, 2 simple, 2 static, 2 tool, 7.3.5 profile/1, 15.6 profiling, 15, 15.6 program analysis, 15 program clause, 2 prolog_suffix, 3.9.2 properties module, 7.3.7 predicate, 7.3.8 put/1, 10.2.1 put/1, 2, 10.2.1 put/2, 10.2.1 q — query the failure culprit (debugger cmd), 14.6.2 qualified acccess, 7.3.2 qualified attribute specification, 16.3 query, 2, 3.5.5, 3.6 Reference Manual, 15.7, 15.9 rational numbers, 8.2.2 rational/1, 6.9 rational/2, 8.2.5 read macros, 12.1 read mode, 10.1 read/1, 7.3.5, 10.1.1, 10.1.1, 10.2.3, 10.2.3, 12.1 read/1, 2, 10.2.3 read/2, 6.4, 10.2.3 read_directory/4, 20.3.2, 20.3.2 read_string/3, 10.2.2 read_string/3,4, 5.4.2 read_string/4, 10.2.2 read_term/2, 10.2.3 read_term/3, 10.2.3 read_token/2, 10.2.2, A.2.3 read_token/3, 10.2.2, A.2.3 readvar/3, 10.2.3, C.1.7 real/1, 6.9 record/2, 7.3.5 redefinition error, 7.3.1 redefinition warning, 7.3.1 redirecting streams, 10.1.5 reexport/1, 7.3.3 reference, 9.1, 9.7 rename/2, 20.3.4, 20.3.4 reset_error_handlers/0, 13.2.1 reset_event_handler/1, 13.2.1 resolvent, 17.2.1 result coverage, 15.8.2 result/1, 15.8.2, 15.8.2 retract/1, 11.1, 11.1, 11.2, 11.2, 11.2, 19.1.1 rightarrow key — Move current subterm right by N positions (debugger cmd), 14.6.6 runtime system, 7.1.3 SEPIA, 1.2 SpecList, 2 s — skip (debugger cmd), 14.6.2 scattered (library), 6.1 schedule_suspensions/1, 17.8.8, 17.8.8 schedule_suspensions/2, 17.8.6, 17.8.8, 17.8.8 seek/2, 6.4, 10.2.8, 10.2.8, 10.3.1 set_bounds handler, 16.7 set_chtab/2, 5.4.3, A.2.1, A.4 set_event_handler/2, 13.1.1, 13.1.1, 13.2.1, 13.2.1, C.4 set_flag/2, 3.4.6, 3.7, 3.9.2, 14.5.1, 19.1.1, 19.2, 20.1 set_flag/3, 14.3, 14.3, 14.3, 14.4, 14.5.1, 14.5.1 set_interrupt_handler/2, 13.3.2, 20.4.3 set_stream/2, 2, 2, 10.1.2, 10.1.5 set_stream_property/3, 10.1.7, 10.2.4, 10.2.6, 10.2.7, 10.4.3 set_suspension_data/3, 17.8.3 set_var_bounds/3, 16.7, 16.7 setarg/3, 9.7, 16.6 setof/3, 6.9, 14.5.1, 17.7.3 setval/2, 9.5, 9.5, 9.5, 9.6, 9.6, 9.6, 9.7, 9.7, 9.7 setval/2, getval/2, 22.3 sh/1, 20.4.1, 20.4.1, 20.4.1, 20.4.2 shared heap, 19.1.1 shelf, 9.3 shelf_abolish/1, 19.1.1 shelf_create/2, 9.3 shelf_create/3, 9.3 shelf_get/3, 9.3 shelf_inc/2, 9.3 shelf_set/3, 9.3 shelves, 19.1.1 simple goals, 17.11.1 sin/2, 8.4 singleton, 10 singleton variables, 6.3 skipped/1, 14.3, 14.5.1 socket streams, 10.1.3 socket/3, 10.1.3, 10.1.3, 21.2 sort/2, 6.9 source files, 7.3.4 source transformation, 12.1 split_string/4, 10.2.2 spy point, 2, 14.4, 14.6.2 add, 14.6.7 remove, 14.6.7 spy/1, 14.3, 14.4, 14.6.7 spy_term/2, 14.6.2 spy_var/1, 14.6.2 stack overflow, C.2 stacks, 19.1.2 start_tracing, 14.5.1 statistics/0, 3.4.6, 19.1 statistics/0,2, 19.1.1 statistics/2, 3.4.6, 19.1, 19.2, 20.2.4 stderr, 10.1.1 stdin, 10.1.1 stdout, 10.1.1 store, 9.4 store/ 1, 9.4 store_create/1, 9.4 store_delete/2, 9.4 store_erase/1, 9.4 store_get/3, 9.4 store_set/3, 9.4 stored_keys/2, 9.4 stored_keys_and_values/2, 9.4 stream, 2 streams, 10.1 string, 2 string/1, 6.9 string_code/3, 5.4.1 string_length/2, 8.3.3 string_list/2, 5.4.2 strings, 5.4 struct/1, 5.1 structure, 2, 7.1.2, A.3 structures, 5.1, 6.9 subcall/2, 14.5.1, 17.8.4 subscript, A.3 subscript/2, 5.3.1 subscript/3, 5.3.1 succ/2, 8.5 suspend, 17.7.1, 18 suspend library, 17.3 suspend/3, 14.1, 17.6, 17.6, 17.7.2, 17.7.3, 17.8.5 suspend/3,4, 17.8.2 suspend/4, 14.1 suspended goal, 17.2.1 suspending variables, 17.6, 17.11.1 suspension, 17.8, 17.8.8 creating, 17.8.2 executed, 17.8.2 sleeping, 17.8.2 waking, 17.8.2 suspension list, 17.8.1, 17.8.5 suspensions handler, 16.7 suspensions/1, 17.8.4 suspensions/2, 16.7 symbolic waking condition, 17.7.3, 17.8.7 syntax, 7.1.2 syntax differences of ECLiPSe, A.4 syntax_option, A.5 system/1, 20.4.1, 20.4.1 Tools, 7.3.5 tail, 2 term, 2 term_hash/4, 4 term_string/2, 5.4.2 term_variables/2, 18.1, 4 test_unify handler, 16.7 throw/1, 13.3.2 timed events, 13.1.2 timers, 13.1.2 times/3, 8.5 token, 10.2.2 token class, 10.2.2 tool system, 7.3.5 tool/2, 7.3.5 tool_body/3, 7.3.8 tools/0, 4.2.2, 4.2.2 top level loop, 3.5.2, 17.4 toplevel module, 7.1.3 trace/0, 14.4, 14.4 trace/1, 14.3, 14.5.1 trace_call_port/3, 14.7.1 trace_exit_port/0, 14.7.1 trace_parent_port/1, 14.7.1 trace_point_port/3, 14.7.1 traceable/1, 14.3 trail stack, 19.1.5 trigger, 17.7.3, 17.8.7 trigger/1, 13.1.3, 17.7.3 trimcore/0, 19.1.1 true/0, 11.1, 13.2.2, 13.3.2, 16.7, 17.11.1 twice/1, 7.3.5 tyi/1, 10.2.1 tyi/1, 2, 10.2.1 tyi/2, 10.2.1 tyo/1, 10.2.1 tyo/1, 2, 10.2.1 tyo/2, 10.2.1 type breal, 8.2.4 float, 8.2.3 integer, 8.2.1 rational, 8.2.2 type macros, 12.2 type_of/2, 17.8.3 u — scheduled goals (debugger cmd), 14.6.4 unification pattern matching, 16.9.1 unify handler, 16.7 unlock/2, 7.4.4 unskipped/1, 14.3 untraceable/1, 14.3 uparrow key — Move current subterm up by N levels (debugger cmd), 14.6.6 update mode, 10.1 update_struct/4, 5.1.1 use_module/1, 3.7, 6.10, 7.2.3, 12.2 user, 10.1.1 user group, 1.3 v — var/term modification skip (debugger cmd), 14.6.2 var/1, 5.5, 6.9, 16.1, 17.5, 17.12 variable name, 9 variable names, 6.3 variable output, 10.2.3 variable/1, 9.5 variable_names, 10.2.3 variables, 3.5.5 variant/2, 16.7 visible, 7.2.4, 7.3.2 wait/2, 20.4.2, 20.4.2 wake/0, 17.7.1, 17.8.8, 17.8.8 waking, 17.8.8, 17.11.1 waking/1, 14.5.1 warning_output, 10.1.1 when declarations, 17.12 windows, 15.6 with/2, 5.1 write macros, 12.1 write mode, 10.1 write/1, 7.3.5, 10.1.1, 10.1.1, 10.2.3, 10.2.3, 10.4.2, 16.7.1 write/1, 2, 10.2.3, 10.2.3 write/1,2, 16.7 write/2, 10.2.3, 10.2.3 write_canonical/1, 10.4.2 write_history/0, 3.5.8 write_term/2, 10.4.1 write_term/3, 10.4.1, 10.4.1 writeln/1, 10.2.4, 10.4.2 writeln/1,2, 16.7 writeln/2, 10.2.4 writeq/1, 10.2.3, 10.4.2, 16.7.1 writeq/1, 2, 10.2.3 writeq/2, 10.2.3, 4 x — examine goal (debugger cmd), 14.6.5 xref (library), 15.1 xref/2, 15.4 z — zap (debugger cmd), 14.6.2