-
#—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
|
