This is info/sicstus.info, produced by makeinfo version 4.13 from sicstus.texi. INFO-DIR-SECTION SICStus Prolog START-INFO-DIR-ENTRY * SICStus Prolog Manual: (sicstus). SICStus Prolog User's Manual. END-INFO-DIR-ENTRY Generated 1 February 2012.  File: sicstus.info, Node: Book Index, Prev: Keystroke Index, Up: Top Book Index ********** [index] * Menu: * !, cut: ref-sem-ctr-cut. (line 6) * !/0 (built-in, ref page): mpg-ref-cut. (line 6) * !/0, cut: ref-sem-ctr-cut. (line 6) * # /1 (clpfd): Propositional Constraints. (line 22) * # /2 (clpfd): Propositional Constraints. (line 28) * # /2, boolean eor: CLPB Introduction. (line 42) * #/ /2 (clpfd): Propositional Constraints. (line 31) * #< /2 (clpfd): Arithmetic Constraints. (line 7) * #<= /2 (clpfd): Propositional Constraints. (line 35) * #<=> /2 (clpfd) <1>: Propositional Constraints. (line 38) * #<=> /2 (clpfd): Reified Constraints. (line 17) * #= /2 (clpfd): Arithmetic Constraints. (line 7) * #=< /2 (clpfd): Arithmetic Constraints. (line 7) * #=> /2 (clpfd): Propositional Constraints. (line 35) * #> /2 (clpfd): Arithmetic Constraints. (line 7) * #>= /2 (clpfd): Arithmetic Constraints. (line 7) * '$VAR': ref-iou-tou-dis. (line 30) * 'SU_messages':generate_message/3: Message Handling Predicates. (line 21) * 'SU_messages':query_abbreviation/3: Query Handling Predicates. (line 29) * 'SU_messages':query_class/5: Query Handling Predicates. (line 26) * 'SU_messages':query_input/3: Query Handling Predicates. (line 39) * 'SU_messages':query_map/4: Query Handling Predicates. (line 49) * * /2, boolean and: CLPB Introduction. (line 36) * * /2, multiplication (evaluable): ref-ari-aex. (line 48) * ** /2, exponent (evaluable): ref-ari-aex. (line 219) * + /1, identity (evaluable): ref-ari-aex. (line 36) * + /1, not provable: ref-sem-ctr-naf. (line 6) * + /2, addition (evaluable): ref-ari-aex. (line 42) * + /2, boolean ior: CLPB Introduction. (line 39) * +, mode annotation: mpg-ref-mod. (line 6) * +/1 (built-in ref page): mpg-ref-not_provable. (line 6) * , atom: ref-syn-trm-ato. (line 35) * ,/2 (built-in, ref page): mpg-ref-and. (line 6) * ,/2 (iterator) <1>: ref-sem-ctr-dol. (line 193) * ,/2 (iterator): mpg-ref-do. (line 57) * ,/2 (when/2 condition): mpg-ref-when. (line 27) * ,/2, conjunction: ref-sem-ctr. (line 6) * - /1, negation (evaluable): ref-ari-aex. (line 39) * - /2, subtraction (evaluable): ref-ari-aex. (line 45) * -, mode annotation: mpg-ref-mod. (line 6) * -->, grammar rules: ref-gru-dcg. (line 6) * -/2 (debugger show control): Action Variables. (line 32) * -> /2 ;/2, if then else: ref-sem-ctr-ite. (line 6) * -> /2, if then: ref-sem-ctr-ite. (line 29) * -> ;, if-then-else: ref-sem-ctr-ite. (line 6) * ->/2 (built-in, ref page): mpg-ref-if_then. (line 6) * . /2, identity (evaluable): ref-ari-aex. (line 107) * ., functor: ref-syn-cpt-lis. (line 6) * .emacs Emacs initialization file: Quick-Start. (line 12) * / /2, floating division (evaluable): ref-ari-aex. (line 51) * // /2, integer division (evaluable): ref-ari-aex. (line 54) * /\ /2, bitwise conjunction (evaluable): ref-ari-aex. (line 84) * 0' notation for character conversion: ref-syn-trm-int. (line 20) * : /2, module qualifier: ref-sem-ctr-oth. (line 16) * :, use in meta_predicate declaration: ref-mod-met. (line 6) * :, use in Module:Goal: ref-mod-vis. (line 6) * :- /1, directive: Directives. (line 6) * ;/2 (built-in, ref page): mpg-ref-or. (line 6) * ;/2 (when/2 condition): mpg-ref-when. (line 30) * ;/2, disjunction: ref-sem-ctr-dis. (line 6) * < /2, boolean less: CLPB Introduction. (line 61) * <, arithmetic less than: ref-ari-acm. (line 28) * <-/2 (objects): obj-exp-send. (line 6) * : mpg-ref-term_equal_to. (line 6) * ==/2 (built-in, ref page): mpg-ref-not_equal_to. (line 6) * =\= /2, boolean not equal: CLPB Introduction. (line 52) * =\=, arithmetic not equal: ref-ari-acm. (line 23) * > /2, boolean greater: CLPB Introduction. (line 64) * >, arithmetic greater than: ref-ari-acm. (line 33) * >/2 (built-in, ref page): mpg-ref-greater_than. (line 6) * >= /2, boolean greater or equal: CLPB Introduction. (line 58) * >=, arithmetic greater or equal: ref-ari-acm. (line 43) * >=/2 (built-in, ref page): mpg-ref-not_less_than. (line 6) * >> /2, right shift (evaluable): ref-ari-aex. (line 103) * >>/2 (objects): obj-exp-get. (line 6) * ?, mode annotation: mpg-ref-mod. (line 6) * ?- /1, query: Queries. (line 6) * ?=/2 (built-in): ref-lte-met-usu. (line 30) * ?=/2 (built-in, ref page): mpg-ref-term_unify_decided. (line 6) * ?=/2 (when/2 condition): mpg-ref-when. (line 24) * @/2 (built-in): ref-lte-cte-sot. (line 35) * @>/2 (built-in, ref page): mpg-ref-term_greater_than. (line 6) * @>=/2 (built-in): ref-lte-cte-sot. (line 35) * @>=/2 (built-in, ref page): mpg-ref-term_not_less_than. (line 6) * [], empty grammar body: ref-gru-dcg. (line 58) * [], empty list: ref-syn-cpt-lis. (line 6) * []/0 (debugger condition): Other Tests. (line 35) * \ /1, bitwise negation (evaluable): ref-ari-aex. (line 95) * \ /2, bitwise exclusive or (evaluable): ref-ari-aex. (line 92) * \" (escape sequence): ref-syn-syn-esc. (line 49) * \' (escape sequence): ref-syn-syn-esc. (line 49) * \/ /2, bitwise disjunction (evaluable): ref-ari-aex. (line 88) * \ (escape sequence): ref-syn-syn-esc. (line 44) * \\ (escape sequence): ref-syn-syn-esc. (line 49) * \` (escape sequence): ref-syn-syn-esc. (line 49) * \a (escape sequence): ref-syn-syn-esc. (line 35) * \b (escape sequence): ref-syn-syn-esc. (line 11) * \d (escape sequence): ref-syn-syn-esc. (line 32) * \e (escape sequence): ref-syn-syn-esc. (line 29) * \f (escape sequence): ref-syn-syn-esc. (line 23) * \n (escape sequence): ref-syn-syn-esc. (line 17) * \OCTAL-DIGIT...\ (escape sequence): ref-syn-syn-esc. (line 41) * \r (escape sequence): ref-syn-syn-esc. (line 26) * \t (escape sequence): ref-syn-syn-esc. (line 14) * \v (escape sequence): ref-syn-syn-esc. (line 20) * \xHEX-DIGIT...\ (escape sequence): ref-syn-syn-esc. (line 38) * ^ /2, boolean existential quantifier: CLPB Introduction. (line 45) * ^ /2, existential quantifier: ref-sem-ctr-oth. (line 6) * ^/2 (built-in): ref-all-cse-equ. (line 6) * ^/2 (built-in, ref page): mpg-ref-exists. (line 6) * ^/2 (input method): Default Input Methods. (line 20) * _, anonymous variable: ref-syn-trm-var. (line 11) * abolish (definition): Glossary. (line 7) * abolish/[1,2] (built-in): ref-mdb-rcd. (line 19) * abolish/[1,2] (built-in, ref page): mpg-ref-abolish. (line 6) * abort (debugger command): Debug Commands. (line 308) * abort/0 (built-in): ref-ere-int. (line 19) * abort/0 (built-in, ref page): mpg-ref-abort. (line 6) * abort/0 (debugger command control): Action Variables. (line 91) * abs/1, absolute value (evaluable): ref-ari-aex. (line 113) * absolute path: ref-fdi-syn. (line 81) * absolute_file_name/[2,3] (built-in, ref page): mpg-ref-absolute_file_name. (line 6) * accept (top-level command): Queries. (line 39) * accepted_hosts/1 (start/1 option): PB Prolog Server Interface. (line 29) * access to streams, random: ref-iou-raf. (line 6) * access/1 (absolute_file_name/3 option): mpg-ref-absolute_file_name. (line 125) * accumulating parameter: Accumulating Parameters. (line 6) * acos/1 (evaluable): ref-ari-aex. (line 178) * acosh/1 (evaluable): ref-ari-aex. (line 196) * acot/1 (evaluable): ref-ari-aex. (line 187) * acot2/2 (evaluable): ref-ari-aex. (line 190) * acoth/1 (evaluable): ref-ari-aex. (line 202) * action condition, breakpoint: Action Conditions. (line 6) * action execution, breakpoint: Breakpoint Actions. (line 95) * action variables, debugger <1>: Action Variables. (line 6) * action variables, debugger: Breakpoint Actions. (line 6) * action, breakpoint <1>: Creating Breakpoints. (line 39) * action, breakpoint: Breakpoint Actions. (line 6) * acyclic_term/1 (terms): lib-terms. (line 168) * add_breakpoint/2 (built-in): Breakpoint Predicates. (line 10) * add_breakpoint/2 (built-in, ref page): mpg-ref-add_breakpoint. (line 6) * add_edges/3 (ugraphs): lib-ugraphs. (line 63) * add_edges/3 (wgraphs): lib-wgraphs. (line 79) * add_element/3 (sets): lib-sets. (line 12) * add_vertices/3 (ugraphs): lib-ugraphs. (line 56) * add_vertices/3 (wgraphs): lib-wgraphs. (line 33) * address, socket: lib-sockets. (line 20) * advice breakpoint <1>: Advice-points. (line 6) * advice breakpoint: Advanced Debugging. (line 6) * advice-point (definition): Glossary. (line 12) * advice/0 (debugger condition) <1>: Other Tests. (line 11) * advice/0 (debugger condition): Advice-points. (line 24) * agc_count (statistics key): ref-mgc-ove-sta. (line 203) * agc_freed (statistics key): ref-mgc-ove-sta. (line 207) * agc_margin (prolog flag) <1>: ref-mgc-ago-agc. (line 14) * agc_margin (prolog flag) <2>: ref-lps-flg. (line 21) * agc_margin (prolog flag): Atoms in C. (line 35) * agc_nbfreed (statistics key): ref-mgc-ove-sta. (line 205) * agc_time (statistics key): ref-mgc-ove-sta. (line 209) * aggregate/3 (aggregate): lib-aggregate. (line 152) * aggregate/4 (aggregate): lib-aggregate. (line 148) * aggregate_all/3 (aggregate): lib-aggregate. (line 160) * aggregate_all/4 (aggregate): lib-aggregate. (line 156) * aggregation: lib-aggregate. (line 6) * alias, of a stream: ref-iou-sfh-sob. (line 36) * alias, stream (definition): Glossary. (line 383) * alias/1 (open/4 option) <1>: mpg-ref-open. (line 60) * alias/1 (open/4 option): ref-iou-sfh-sob. (line 17) * alias/1 (stream property): mpg-ref-stream_property. (line 46) * all (absolute_file_name/3 solutions): mpg-ref-absolute_file_name. (line 219) * all (labeling/2 option): Enumeration Predicates. (line 138) * all solutions, predicates for <1>: mpg-top-all. (line 6) * all solutions, predicates for: ref-all-sum. (line 6) * all/1 (plunit option): PlUnit A Unit Test Box. (line 115) * all_different/[1,2] (clpfd): Combinatorial Constraints. (line 407) * all_distinct/[1,2] (clpfd): Combinatorial Constraints. (line 407) * alphanumeric (definition): Glossary. (line 18) * among/3 (lex_chain/2 option): Combinatorial Constraints. (line 1150) * analysis, coverage: Coverage Analysis. (line 6) * ancestor goal: Debug Format. (line 40) * ancestor/2 (debugger condition) <1>: Goal Tests. (line 47) * ancestor/2 (debugger condition): Accessing Past Debugger States. (line 126) * ancestors (debugger command): Debug Commands. (line 200) * ancestors (definition): Glossary. (line 23) * and: ref-sem-ctr. (line 6) * annotate goal (debugger command): FDBG Debugger Commands. (line 15) * annotation: FDBG Names of Terms. (line 14) * anonymous variable: ref-syn-trm-var. (line 6) * anonymous variable (definition): Glossary. (line 28) * ANSI conformance: Function Prototypes. (line 6) * any (absolute_file_name/3 file type): mpg-ref-absolute_file_name. (line 58) * anystretchocc/1 (automaton/9 option): Combinatorial Constraints. (line 1230) * API: Mixing C and Prolog. (line 6) * append (absolute_file_name/3 access): mpg-ref-absolute_file_name. (line 140) * append (open/[3,4] mode): mpg-ref-open. (line 37) * append, avoiding: Accumulating Lists. (line 6) * append/3 (built-in): ref-lte-acl. (line 6) * append/3 (built-in, ref page): mpg-ref-append. (line 6) * append/[2,5] (lists): lib-lists. (line 18) * append_length/[3,4] (lists): lib-lists. (line 275) * append_queue/3 (queues): lib-queues. (line 81) * appending, to existing files: ref-iou-sfh-opn. (line 18) * application builder: The Application Builder. (line 14) * arc-consistent: Definitions. (line 23) * arc-disentailed: Definitions. (line 27) * arc-entailed: Definitions. (line 27) * arg/3 (built-in): ref-lte-act. (line 12) * arg/3 (built-in, ref page): mpg-ref-arg. (line 6) * argument (definition) <1>: Glossary. (line 33) * argument (definition): ref-syn-cpt. (line 11) * arguments of terms: ref-lte-act. (line 12) * arguments, command-line: Start. (line 6) * arguments, reference page field: mpg-ref-ove. (line 14) * arguments, types of <1>: mpg-ref. (line 15) * arguments, types of: mpg-ref-aty. (line 11) * argv (prolog flag) <1>: ref-lps-flg. (line 26) * argv (prolog flag) <2>: too-sicstus. (line 99) * argv (prolog flag): Initializing the Prolog Engine. (line 15) * arithmetic and character codes: ref-ari-aex. (line 222) * arithmetic equality: ref-ari-acm. (line 19) * arithmetic errors: ref-ari-exc. (line 9) * arithmetic exceptions: ref-ari-exc. (line 9) * arithmetic expression: ref-ari-aex. (line 6) * arithmetic expressions, evaluating: ref-ari-eae. (line 6) * arithmetic functors: ref-ari-aex. (line 21) * arithmetic limits: ref-ari-ove. (line 6) * arithmetic, predicates for <1>: ref-ari-sum. (line 6) * arithmetic, predicates for: mpg-top-ari. (line 6) * arity (argument type): mpg-ref-aty-ety. (line 20) * arity (definition): Glossary. (line 36) * arity, of a functor: ref-syn-cpt. (line 11) * asin/1 (evaluable): ref-ari-aex. (line 175) * asinh/1 (evaluable): ref-ari-aex. (line 193) * ask/0 (debugger command control): Action Variables. (line 38) * ask_query/4 (built-in): Query Handling Predicates. (line 7) * ask_query/4 (built-in, ref page): mpg-ref-ask_query. (line 6) * ASPX: PB Features. (line 36) * assert/[1,2] (built-in): ref-mdb-acd. (line 14) * assert/[1,2] (built-in, ref page): mpg-ref-assert. (line 6) * asserta/[1,2] (built-in): ref-mdb-acd. (line 14) * asserta/[1,2] (built-in, ref page): mpg-ref-asserta. (line 6) * assertion and retraction predicates: ref-mdb-bas. (line 6) * assertz/[1,2] (built-in): ref-mdb-acd. (line 14) * assertz/[1,2] (built-in, ref page): mpg-ref-assertz. (line 6) * assignment, destructive: ref-lte-mut. (line 6) * assignment/[2,3] (clpfd): Combinatorial Constraints. (line 468) * assoc_to_list/2 (assoc): lib-assoc. (line 17) * association list <1>: lib-assoc. (line 6) * association list: lib-avl. (line 6) * associativity of operators: ref-syn-ops-ove. (line 38) * assumptions/1 (labeling/2 option): Enumeration Predicates. (line 153) * asynchronously, calling Prolog: Calling Prolog Asynchronously. (line 10) * at_end_of_line/[0,1] (built-in): ref-iou-cin-elf. (line 6) * at_end_of_line/[0,1] (built-in, ref page): mpg-ref-at_end_of_line. (line 6) * at_end_of_stream/[0,1] (built-in): ref-iou-cin-elf. (line 6) * at_end_of_stream/[0,1] (built-in, ref page): mpg-ref-at_end_of_stream. (line 6) * atan/1 (evaluable): ref-ari-aex. (line 181) * atan2/2 (evaluable): ref-ari-aex. (line 184) * atanh/1 (evaluable): ref-ari-aex. (line 199) * atom (definition): Glossary. (line 40) * atom (double_quotes flag value): ref-lps-flg. (line 110) * atom garbage collection: ref-mgc-ago. (line 13) * atom, one-char (definition): Glossary. (line 540) * atom/1 (built-in, ref page): mpg-ref-atom. (line 6) * atom_chars/2 (built-in): ref-lte-c2t. (line 22) * atom_chars/2 (built-in, ref page): mpg-ref-atom_chars. (line 6) * atom_codes/2 (built-in): ref-lte-c2t. (line 6) * atom_codes/2 (built-in, ref page): mpg-ref-atom_codes. (line 6) * atom_concat/3 (built-in): ref-lte-atm. (line 10) * atom_concat/3 (built-in, ref page): mpg-ref-atom_concat. (line 6) * atom_garbage_collection (statistics key): ref-mgc-ove-sta. (line 155) * atom_length/2 (built-in): ref-lte-atm. (line 6) * atom_length/2 (built-in, ref page): mpg-ref-atom_length. (line 6) * atomic term (definition): Glossary. (line 51) * atomic/1 (built-in, ref page): mpg-ref-atomic. (line 6) * atomic_type/[1,2,3] (structs): str-etr. (line 34) * atoms: ref-syn-trm-ato. (line 6) * atoms (statistics key): ref-mgc-ove-sta. (line 147) * atoms, canonical representation of: Atoms in C. (line 6) * atoms_nbfree (statistics key): ref-mgc-ove-sta. (line 187) * atoms_nbused (statistics key): ref-mgc-ove-sta. (line 185) * atoms_used (statistics key): ref-mgc-ove-sta. (line 183) * attribute declaration: lib-atts. (line 21) * attribute/1 (declaration): lib-atts. (line 21) * attribute_goal/2 (Module): lib-atts. (line 123) * attributed variables: lib-atts. (line 6) * auto-generation of names: FDBG Name Auto-Generation. (line 6) * automaton/[3,8,9] (clpfd): Combinatorial Constraints. (line 1172) * aux (table/3 method/1 value): Combinatorial Constraints. (line 183) * avl_change/5 (avl): lib-avl. (line 116) * avl_del_max/4 (avl): lib-avl. (line 168) * avl_del_min/4 (avl): lib-avl. (line 162) * avl_delete/4 (avl): lib-avl. (line 157) * avl_domain/2 (avl): lib-avl. (line 32) * avl_fetch/2 (avl): lib-avl. (line 85) * avl_fetch/3 (avl): lib-avl. (line 90) * avl_height/2 (avl): lib-avl. (line 57) * avl_incr/4 (avl): lib-avl. (line 153) * avl_map/2 (avl): lib-avl. (line 174) * avl_map/3 (avl): lib-avl. (line 178) * avl_max/2 (avl): lib-avl. (line 51) * avl_max/3 (avl): lib-avl. (line 54) * avl_member/2 (avl): lib-avl. (line 72) * avl_member/3 (avl): lib-avl. (line 78) * avl_min/2 (avl): lib-avl. (line 45) * avl_min/3 (avl): lib-avl. (line 48) * avl_next/3 (avl): lib-avl. (line 96) * avl_next/4 (avl): lib-avl. (line 100) * avl_prev/3 (avl): lib-avl. (line 106) * avl_prev/4 (avl): lib-avl. (line 110) * avl_range/2 (avl): lib-avl. (line 38) * avl_size/2 (avl): lib-avl. (line 61) * avl_store/4 (avl): lib-avl. (line 147) * avl_to_list/2 (avl): lib-avl. (line 17) * avoiding append: Accumulating Lists. (line 6) * backtrace <1>: Accessing Past Debugger States. (line 9) * backtrace: Debug Commands. (line 202) * backtrace (debugger command): Debug Commands. (line 217) * backtrace (definition): Glossary. (line 54) * backtracking: ref-sem-sec. (line 41) * backtracking (definition): Glossary. (line 61) * backtracking, terminating a loop: Terminating a Backtracking Loop. (line 14) * backtracks (fd_statistics/2 option): Statistics Predicates. (line 30) * backward-paragraph (emacs command): Usage. (line 97) * bag: lib-bags. (line 6) * bag_add_element/4 (bags): lib-bags. (line 199) * bag_del_element/4 (bags): lib-bags. (line 203) * bag_intersect/2 (bags): lib-bags. (line 195) * bag_intersection/2 (bags): lib-bags. (line 185) * bag_max/2 (bags): lib-bags. (line 130) * bag_max/3 (bags): lib-bags. (line 145) * bag_min/2 (bags): lib-bags. (line 151) * bag_subtract/3 (bags): lib-bags. (line 207) * bag_to_list/2 (bags): lib-bags. (line 81) * bag_to_ord_set/2 (bags): lib-bags. (line 86) * bag_to_ord_set/3 (bags): lib-bags. (line 92) * bag_to_set/2 (bags): lib-bags. (line 102) * bag_to_set/3 (bags): lib-bags. (line 108) * bag_union/2 (bags): lib-bags. (line 180) * bag_union/3 (bags): lib-bags. (line 177) * bagof/3 (built-in): ref-all-cba. (line 10) * bagof/3 (built-in, ref page): mpg-ref-bagof. (line 6) * bagof_rd_noblock/3 (linda_client): lib-linda-client. (line 90) * bb_delete/2 (built-in): ref-mdb-bbd. (line 32) * bb_delete/2 (built-in, ref page): mpg-ref-bb_delete. (line 6) * bb_get/2 (built-in): ref-mdb-bbd. (line 28) * bb_get/2 (built-in, ref page): mpg-ref-bb_get. (line 6) * bb_inf/[3,5] (clpqr): CLPQR Solver Predicates. (line 140) * bb_put/2 (built-in): ref-mdb-bbd. (line 25) * bb_put/2 (built-in, ref page): mpg-ref-bb_put. (line 6) * bb_update/3 (built-in): ref-mdb-bbd. (line 37) * bb_update/3 (built-in, ref page): mpg-ref-bb_update. (line 6) * begin_tests/[1,2] (plunit declaration): PlUnit A Unit Test Box. (line 9) * between/3 (between): lib-between. (line 10) * bid/1 (debugger condition) <1>: Port Tests. (line 38) * bid/1 (debugger condition): Built-in Predicates for Breakpoint Handling. (line 54) * binary tree <1>: lib-assoc. (line 6) * binary tree: lib-avl. (line 6) * binding (definition): Glossary. (line 66) * bisect (labeling/2 option): Enumeration Predicates. (line 98) * blackboard: ref-mdb-bbd. (line 6) * block (predicate property): mpg-ref-predicate_property. (line 48) * block declaration: Block Declarations. (line 6) * block/0 (debugger port value): Port Tests. (line 13) * block/1 (built-in, ref page): mpg-ref-block. (line 6) * block/1 (declaration): Block Declarations. (line 6) * block/1 (predicate property): ref-lps-app. (line 32) * blocked goal: Debug Format. (line 72) * blocked goal (definition): Glossary. (line 70) * blocked goals (debugger command) <1>: FDBG Debugger Commands. (line 9) * blocked goals (debugger command): Debug Commands. (line 250) * blocked/1 (plunit option): PlUnit A Unit Test Box. (line 34) * body (definition): Glossary. (line 73) * body of a clause: ref-sem-pro. (line 24) * bof (seek/4 method): mpg-ref-seek. (line 33) * bound (all_different/2 consistency/1 value): Combinatorial Constraints. (line 424) * bound (all_distinct/2 consistency/1 value): Combinatorial Constraints. (line 424) * bound (global_cardinality/3 consistency/1 value): Combinatorial Constraints. (line 76) * bound (scalar_product/5 consistency/1 value): Arithmetic Constraints. (line 60) * bound (table/3 consistency/1 value): Combinatorial Constraints. (line 151) * bound-consistent: Definitions. (line 32) * bound-disentailed: Definitions. (line 37) * bound-entailed: Definitions. (line 37) * bound/1 (cumulatives/3 option): Combinatorial Constraints. (line 595) * bounded (prolog flag): ref-lps-flg. (line 38) * bounding_box/2 (geost/[2,3,4] option): Combinatorial Constraints. (line 900) * box, invocation: Procedure Box. (line 103) * box, invocation (definition): Glossary. (line 425) * box, procedure: Procedure Box. (line 6) * box, procedure (definition): Glossary. (line 622) * break: Nested. (line 6) * break (debugger command): Debug Commands. (line 320) * break (top-level command): Queries. (line 50) * break/0 (built-in) <1>: ref-lod-rpx. (line 6) * break/0 (built-in) <2>: ref-ere-int. (line 9) * break/0 (built-in): Nested. (line 6) * break/0 (built-in, ref page): mpg-ref-break. (line 6) * break_level/1 (debugger condition) <1>: Past States. (line 13) * break_level/1 (debugger condition): Break Tests. (line 10) * breakpoint (definition): Glossary. (line 77) * breakpoint action <1>: Creating Breakpoints. (line 39) * breakpoint action: Breakpoint Actions. (line 6) * breakpoint action condition: Action Conditions. (line 6) * breakpoint action execution: Breakpoint Actions. (line 95) * breakpoint condition: Creating Breakpoints. (line 39) * breakpoint conditions: Breakpoint Conditions. (line 6) * breakpoint handling predicates: Breakpoint Predicates. (line 6) * breakpoint identifier: Creating Breakpoints. (line 31) * breakpoint processing: Breakpoint Processing. (line 6) * breakpoint spec: Creating Breakpoints. (line 6) * breakpoint spec (definition): Glossary. (line 87) * breakpoint test: Creating Breakpoints. (line 39) * breakpoint test condition: Goal Tests. (line 6) * breakpoint, advice <1>: Advanced Debugging. (line 6) * breakpoint, advice: Advice-points. (line 6) * breakpoint, debugger: Advanced Debugging. (line 6) * breakpoint, generic: Specific and Generic Breakpoints. (line 6) * breakpoint, line: Usage. (line 154) * breakpoint, setting: Usage. (line 154) * breakpoint, specific: Specific and Generic Breakpoints. (line 6) * breakpoint_expansion/2 (hook, ref page): mpg-ref-breakpoint_expansion. (line 6) * breakpoint_expansion/2 (user, hook) <1>: Condition Macros. (line 23) * breakpoint_expansion/2 (user, hook): Hooks Related to Breakpoints. (line 8) * buffer (definition): Glossary. (line 96) * builder, application: The Application Builder. (line 14) * built-in operators: ref-syn-ops-ove. (line 78) * built-in operators, list of: ref-syn-ops-bop. (line 6) * built-in predicate (definition): Glossary. (line 99) * built-in predicates, annotations: mpg-ref-cat. (line 6) * built-in predicates, list of: mpg-top. (line 32) * built_in (predicate property): mpg-ref-predicate_property. (line 29) * built_in/0 (predicate property): ref-lps-app. (line 10) * Button (Tk event type): Event Handling. (line 36) * button (Tk widget): Types of Widget. (line 10) * ButtonPress (Tk event type): Event Handling. (line 37) * ButtonRelease (Tk event type): Event Handling. (line 40) * byte (argument type): mpg-ref-aty-ety. (line 22) * byte-list (definition): Glossary. (line 93) * byte_count/2 (built-in) <1>: ref-iou-sfh-opn. (line 77) * byte_count/2 (built-in): ref-iou-sos. (line 14) * byte_count/2 (built-in, ref page): mpg-ref-byte_count. (line 6) * C errors, functions for: cpg-top-err. (line 6) * C functions for Exceptions: cpg-top-exc. (line 6) * C functions for File and Stream Handling: cpg-top-fst. (line 6) * C functions for Foreign Interface: cpg-top-fin. (line 6) * C functions for I/O: cpg-top-cio. (line 6) * C functions for initialization: cpg-top-main. (line 6) * C functions for memory management: cpg-top-mem. (line 6) * C functions for signal handling: cpg-top-sig. (line 6) * C functions for terms: cpg-top-tic. (line 6) * C functions for type tests: cpg-top-typ. (line 6) * C functions, return values, errors: cpg-rve. (line 6) * cache_size/1 (db_open/5 option): The Predicates. (line 53) * call (leashing mode): Basic Debug. (line 55) * call errors: ref-sem-exc. (line 9) * call exceptions: ref-sem-exc. (line 9) * call, procedure <1>: ref-sem-sec. (line 98) * call, procedure: ref-sem-pro. (line 6) * call/0 (debugger port value): Port Tests. (line 13) * call/1 (clpfd:dispatch_global/4 request): The Global Constraint Programming Interface. (line 62) * call/[1,2,...,255] (built-in, ref page): mpg-ref-call. (line 6) * call_cleanup/2 (built-in, ref page): mpg-ref-call_cleanup. (line 6) * call_residue_vars/2 (built-in, ref page): mpg-ref-call_residue_vars. (line 6) * callable term (definition): Glossary. (line 103) * callable/1 (built-in, ref page): mpg-ref-callable. (line 6) * calling Prolog asynchronously: Calling Prolog Asynchronously. (line 10) * calling Prolog from C: Calling Prolog from C. (line 6) * CallSpec: Terminology. (line 75) * canonical representation of atoms: Atoms in C. (line 6) * canvas (Tk widget): Types of Widget. (line 13) * card/2, boolean cardinality: CLPB Introduction. (line 67) * case/[3,4] (clpfd): Combinatorial Constraints. (line 193) * cast/1 (structs): str-cas. (line 6) * Casting: str-cas. (line 6) * catch/3 (built-in): ref-ere-hex-pgo. (line 6) * catch/3 (built-in, ref page): mpg-ref-catch. (line 6) * catching unknown procedures: ref-mdb-dsp. (line 61) * ceiling/1 (evaluable): ref-ari-aex. (line 148) * changing prompt: ref-iou-tin-cpr. (line 6) * changing type-in module: ref-mod-tyi. (line 6) * char (argument type): mpg-ref-aty-ety. (line 24) * char/1 (map method): Default Map Methods. (line 11) * char_code/2 (built-in): ref-lte-c2t. (line 33) * char_code/2 (built-in, ref page): mpg-ref-char_code. (line 6) * char_conversion (prolog flag) <1>: ref-lps-flg. (line 43) * char_conversion (prolog flag): Glossary. (line 122) * char_conversion/2 (built-in, ref page): mpg-ref-char_conversion. (line 6) * character code (definition): Glossary. (line 107) * character code set (definition): Glossary. (line 111) * character codes, arithmetic and: ref-ari-aex. (line 222) * character codes, lists of: ref-syn-cpt-sli. (line 6) * character encoding: ref-iou-sfh-enc. (line 17) * character escaping: ref-syn-ces. (line 6) * character I/O, predicates for <1>: mpg-top-cio. (line 6) * character I/O, predicates for: ref-iou-sum. (line 9) * character set <1>: ref-syn-syn-tok. (line 6) * character set: ref-iou-sfh-enc. (line 17) * character, EOF: Keyboard Characters. (line 13) * character, interrupt: Keyboard Characters. (line 13) * character-conversion <1>: mpg-ref-current_char_conversion. (line 23) * character-conversion: mpg-ref-char_conversion. (line 23) * character-conversion mapping (definition): Glossary. (line 117) * character-type mapping (definition): Glossary. (line 125) * character_count/2 (built-in) <1>: ref-iou-sfh-opn. (line 77) * character_count/2 (built-in): ref-iou-sos. (line 17) * character_count/2 (built-in, ref page): mpg-ref-character_count. (line 6) * characters, conversion to character code: ref-syn-trm-int. (line 20) * characters, conversion to integers: ref-ari-aex. (line 225) * characters, input and output of: ref-iou-cin. (line 14) * characters, strings of: ref-syn-cpt-sli. (line 6) * chars (argument type): mpg-ref-aty-ety. (line 26) * chars (double_quotes flag value): ref-lps-flg. (line 107) * check_guard_bindings (CHR option): CHR Semantics. (line 86) * checkbag/2 (bags): lib-bags. (line 52) * checkbutton (Tk widget): Types of Widget. (line 17) * checker, constraint: Combinatorial Constraints. (line 1161) * checking indexicals: Indexicals. (line 10) * choice (statistics key): ref-mgc-ove-sta. (line 120) * choice stack: ref-mgc-ove. (line 20) * choice_free (statistics key): ref-mgc-ove-sta. (line 181) * choice_used (statistics key): ref-mgc-ove-sta. (line 179) * choicepoints (definition): Glossary. (line 130) * CHOICESTKSIZE (system property): System Properties and Environment Variables. (line 156) * chr_constraint/1 (CHR declaration): CHR Constraint Declaration. (line 6) * chr_flag/3 (chr): CHR Debugging Predicates. (line 28) * chr_leash/1 (chr): CHR Debugging Predicates. (line 20) * chr_notrace/0 (chr): CHR Debugging Predicates. (line 15) * chr_option/2 (CHR declaration): CHR Semantics. (line 74) * chr_show_store/1 (chr): CHR Debugging Predicates. (line 46) * chr_trace/0 (chr): CHR Debugging Predicates. (line 10) * chr_type/1 (CHR declaration): CHR Constraint Declaration. (line 68) * circuit/1 (assignment/3 option): Combinatorial Constraints. (line 482) * circuit/[1,2] (clpfd): Combinatorial Constraints. (line 502) * clash, name: ref-mod-ncl. (line 6) * clash, name (definition): Glossary. (line 532) * class/1 (objects): obj-exp-class. (line 6) * class_ancestor/2 (objects): obj-exp-class_ancestor. (line 6) * class_method/1 (objects): obj-exp-class_method. (line 6) * class_of/2 (objects): obj-exp-class_of. (line 6) * class_superclass/2 (objects): obj-exp-class_superclass. (line 6) * classes, error: ref-ere-err. (line 21) * classes, exception: ref-ere-err. (line 21) * Classname, Fully Qualified: Jasper Library Predicates. (line 84) * clause: ref-sem-pro. (line 20) * clause (definition): Glossary. (line 134) * clause, guarded: Conditionals and Disjunction. (line 95) * clause, guarded (definition): Glossary. (line 361) * clause, instance of: ref-sem-sec. (line 12) * clause, unit: ref-sem-pro. (line 29) * clause, unit (definition): Glossary. (line 862) * clause/[2,3] (built-in): ref-mdb-acl. (line 6) * clause/[2,3] (built-in, ref page): mpg-ref-clause. (line 6) * clauseref/5 (source information descriptor): mpg-ref-goal_source_info. (line 40) * clauses, database references to: ref-mdb-dre. (line 6) * clauses, declarative interpretation of: ref-sem-sec. (line 6) * clauses, printing: ref-iou-tou-pcl. (line 6) * clauses, procedural interpretation of: ref-sem-sec. (line 6) * cleanup/1 (plunit option): PlUnit A Unit Test Box. (line 71) * close (Tcl command): Commands. (line 597) * close on SPQuery: Jasper Package Class Reference. (line 148) * close/1 (built-in): ref-iou-sfh-cst. (line 6) * close/[1,2] (built-in, ref page): mpg-ref-close. (line 6) * close_all_streams/0 (file_systems): lib-file_systems. (line 135) * close_client/0 (linda_client): lib-linda-client. (line 28) * closing a file: ref-iou-sfh-cst. (line 6) * closing a stream: ref-iou-sfh-cst. (line 6) * clpfd:dispatch_global/4: The Global Constraint Programming Interface. (line 22) * clpfd:full_answer/0: Answer Constraints. (line 19) * CLSID: Terminology. (line 11) * clumped/2 (lists): lib-lists. (line 807) * clumps/2 (lists): lib-lists. (line 788) * code (argument type): mpg-ref-aty-ety. (line 28) * code, character (definition): Glossary. (line 107) * code, glue (definition): Glossary. (line 343) * code, source (definition): Glossary. (line 725) * code, unreachable: Xref Introduction. (line 6) * code-list (definition): Glossary. (line 139) * codes (argument type): mpg-ref-aty-ety. (line 30) * codes (double_quotes flag value): ref-lps-flg. (line 104) * collection, garbage: ref-lps-flg. (line 159) * collection, garbage (definition): Glossary. (line 317) * comclient_clsid_from_progid/2 (comclient): COM Client Predicates. (line 28) * comclient_create_instance/2 (comclient): COM Client Predicates. (line 55) * comclient_equal/2 (comclient): COM Client Predicates. (line 24) * comclient_exception_code/2 (comclient): COM Client Predicates. (line 105) * comclient_exception_culprit/2 (comclient): COM Client Predicates. (line 106) * comclient_exception_description/2 (comclient): COM Client Predicates. (line 107) * comclient_garbage_collect/0 (comclient): COM Client Predicates. (line 7) * comclient_get_active_object/2 (comclient): COM Client Predicates. (line 61) * comclient_iid_from_name/2 (comclient): COM Client Predicates. (line 45) * comclient_invoke_method_fun/3 (comclient): COM Client Predicates. (line 68) * comclient_invoke_method_proc/2 (comclient): COM Client Predicates. (line 72) * comclient_invoke_put/3 (comclient): COM Client Predicates. (line 75) * comclient_is_exception/1 (comclient): COM Client Predicates. (line 94) * comclient_is_object/1 (comclient): COM Client Predicates. (line 13) * comclient_name_from_iid/2 (comclient): COM Client Predicates. (line 51) * comclient_progid_from_clsid/2 (comclient): COM Client Predicates. (line 33) * comclient_release/1 (comclient): COM Client Predicates. (line 79) * comclient_valid_object/1 (comclient): COM Client Predicates. (line 20) * ComInArg: Terminology. (line 63) * comint-interrupt-subjob (emacs command): Usage. (line 185) * comint-quit-subjob (emacs command): Usage. (line 188) * command (debugger command): Debug Commands. (line 335) * command-line arguments: Start. (line 6) * command/1 (debugger condition) <1>: Breakpoint Actions. (line 12) * command/1 (debugger condition) <2>: Port Tests. (line 46) * command/1 (debugger condition): Action Conditions. (line 13) * commands, debug: Debug Commands. (line 6) * comment-dwim (emacs command): Usage. (line 112) * communication, process <1>: lib-sockets. (line 6) * communication, process: lib-linda. (line 6) * compactcode (compiling flag value) <1>: ref-lod-ove. (line 22) * compactcode (compiling flag value): ref-lps-flg. (line 52) * compactcode (definition): Glossary. (line 146) * compare/3 (built-in, ref page): mpg-ref-compare. (line 6) * comparison of terms: ref-lte-cte. (line 12) * comparison, of numbers: ref-ari-acm. (line 6) * compilation_mode/1 (load_files/2 option): mpg-ref-load_files. (line 59) * compile (definition): Glossary. (line 151) * compile-buffer (emacs command): Usage. (line 64) * compile-file (emacs command): Usage. (line 61) * compile-predicate (emacs command): Usage. (line 70) * compile-region (emacs command): Usage. (line 67) * compile/1 (built-in): ref-mod-lod. (line 6) * compile/1 (built-in, ref page): mpg-ref-compile. (line 6) * compiled (predicate property): mpg-ref-predicate_property. (line 29) * compiled/0 (predicate property): ref-lps-app. (line 13) * compiling: Run Intro. (line 15) * compiling (prolog flag) <1>: Glossary. (line 148) * compiling (prolog flag) <2>: ref-lps-flg. (line 49) * compiling (prolog flag): ref-lod-ove. (line 19) * complement/2 (ugraphs): lib-ugraphs. (line 80) * compose/3 (ugraphs): lib-ugraphs. (line 85) * compound term (definition): Glossary. (line 158) * compound, terms: ref-syn-cpt. (line 11) * compound/1 (built-in, ref page): mpg-ref-compound. (line 6) * computation rule: ref-sem-sec. (line 98) * ComValue: Terminology. (line 32) * concat (Tcl command): Commands. (line 159) * concepts, FDBG: FDBG Concepts. (line 6) * condition, breakpoint: Creating Breakpoints. (line 39) * condition/1 (plunit option): PlUnit A Unit Test Box. (line 46) * conditional compilation: ref-lod-cnd. (line 6) * conditional compilation (definition): Glossary. (line 142) * conditional spypoint: Creating Breakpoints. (line 26) * conditionals: Conditionals and Disjunction. (line 6) * conditions, breakpoint: Breakpoint Conditions. (line 6) * conformance, ANSI: Function Prototypes. (line 6) * conjunction: ref-sem-ctr. (line 6) * conjunction (definition): Glossary. (line 166) * connection_timeout/1 (odbc_db_open/4 option): ODBC Predicates. (line 32) * cons/3 (lists): lib-lists. (line 361) * consistency errors: ref-ere-err-cns. (line 6) * consistency/1 (all_different/2 option): Combinatorial Constraints. (line 415) * consistency/1 (all_distinct/2 option): Combinatorial Constraints. (line 415) * consistency/1 (assignment/3 option): Combinatorial Constraints. (line 479) * consistency/1 (global_cardinality/3 option): Combinatorial Constraints. (line 70) * consistency/1 (scalar_product/5 option): Arithmetic Constraints. (line 51) * consistency/1 (table/3 option): Combinatorial Constraints. (line 144) * consistency_error/[3,4] (error class): ref-ere-err. (line 137) * consistent store: Definitions. (line 10) * console-based executable (definition): Glossary. (line 170) * constant: ref-syn-trm-ove. (line 6) * constant (definition): Glossary. (line 174) * constraint: CLPFD Interface. (line 10) * constraint checker: Combinatorial Constraints. (line 1161) * constraint event: FDBG Events. (line 10) * constraint store: Definitions. (line 10) * constraint, domain: Definitions. (line 6) * constraint, global: The Global Constraint Programming Interface. (line 6) * constraints (fd_statistics/2 option): Statistics Predicates. (line 36) * constraints, posting: Posting Constraints. (line 6) * consult (definition): Glossary. (line 179) * consult-buffer (emacs command): Usage. (line 52) * consult-file (emacs command): Usage. (line 49) * consult-predicate (emacs command): Usage. (line 58) * consult-region (emacs command): Usage. (line 55) * consult/1 (built-in, ref page): mpg-ref-consult. (line 6) * consulting <1>: Run Intro. (line 15) * consulting: Reading In. (line 6) * consume_layout/1 (read_term/[2,3] option): mpg-ref-read_term. (line 73) * contains_term/2 (terms): lib-terms. (line 179) * contains_var/2 (terms): lib-terms. (line 200) * context errors: ref-ere-err-con. (line 6) * context, load: ref-lps-lco. (line 6) * context-free grammars: ref-gru-dcg. (line 38) * context_error/[2,3] (error class): ref-ere-err. (line 116) * contradictory store: Definitions. (line 10) * control constructs in grammar rules: ref-gru-dcg. (line 81) * control structure: ref-sem-ctr. (line 6) * control structure (definition): Glossary. (line 186) * control, predicates for <1>: mpg-top-con. (line 6) * control, predicates for: ref-sem-con. (line 6) * conversions, term: Support Functions. (line 6) * converting into module-files: ref-mod-n2m. (line 6) * convlist/3 (lists): lib-lists. (line 580) * copy_term/[2,3] (built-in): ref-lte-cpt. (line 6) * copy_term/[2,3] (built-in, ref page): mpg-ref-copy_term. (line 6) * core (statistics key): ref-mgc-ove-sta. (line 127) * corners/1 (geost/[2,3,4] option): Combinatorial Constraints. (line 858) * correspond/4 (lists): lib-lists. (line 40) * cos/1 (evaluable): ref-ari-aex. (line 154) * cosh/1 (evaluable): ref-ari-aex. (line 166) * cost/2 (assignment/3 option): Combinatorial Constraints. (line 486) * cost/2 (global_cardinality/3 option): Combinatorial Constraints. (line 98) * cot/1 (evaluable): ref-ari-aex. (line 160) * coth/1 (evaluable): ref-ari-aex. (line 172) * count/3 (iterator) <1>: ref-sem-ctr-dol. (line 182) * count/3 (iterator): mpg-ref-do. (line 42) * count/4 (clpfd): Combinatorial Constraints. (line 42) * counter: Execution Profiling. (line 6) * counterseq/1 (automaton/9 option): Combinatorial Constraints. (line 1287) * coverage analysis: Coverage Analysis. (line 6) * coverage site: Coverage Analysis. (line 6) * coverage_data/1 (built-in): Coverage Analysis. (line 36) * coverage_data/1 (built-in, ref page): mpg-ref-coverage_data. (line 6) * create/2 (objects): obj-exp-create. (line 6) * create_mutable/2 (built-in): ref-lte-mut. (line 34) * create_mutable/2 (built-in, ref page): mpg-ref-create_mutable. (line 6) * creating new files: ref-iou-sfh-opn. (line 18) * creep (debugger command): Debug Commands. (line 59) * creep (definition): Glossary. (line 192) * cross-referencer: Xref Introduction. (line 6) * cumlist/[4,5,6] (lists): lib-lists. (line 422) * cumulative/1 (geost/[2,3,4] option): Combinatorial Constraints. (line 815) * cumulative/[1,2] (clpfd): Combinatorial Constraints. (line 512) * cumulatives/[2,3] (clpfd): Combinatorial Constraints. (line 562) * current (seek/4 method): mpg-ref-seek. (line 36) * current frame <1>: Debug Commands. (line 13) * current frame: Debug Format. (line 36) * current input: ref-iou-str. (line 15) * current input stream: ref-iou-sfh-sob. (line 37) * current input streams <1>: ref-iou-sfh-opn. (line 32) * current input streams <2>: ref-iou-sfh-cis. (line 9) * current input streams: ref-iou-sfh-cos. (line 8) * current operators: ref-syn-ops-ops. (line 14) * current output: ref-iou-str. (line 15) * current output stream: ref-iou-sfh-sob. (line 37) * current output streams <1>: ref-iou-sfh-opn. (line 32) * current output streams <2>: ref-iou-sfh-cos. (line 8) * current output streams: ref-iou-sfh-cis. (line 9) * current stream: ref-iou-sfh-bos. (line 6) * current_atom/1 (built-in, ref page): mpg-ref-current_atom. (line 6) * current_breakpoint/5 (built-in) <1>: Breakpoint Predicates. (line 59) * current_breakpoint/5 (built-in): Built-in Predicates for Breakpoint Handling. (line 72) * current_breakpoint/5 (built-in, ref page): mpg-ref-current_breakpoint. (line 6) * current_char_conversion/2 (built-in, ref page): mpg-ref-current_char_conversion. (line 6) * current_class/1 (objects): obj-exp-current_class. (line 6) * current_directory/[1,2] (file_systems): lib-file_systems. (line 317) * current_host/1 (sockets): lib-sockets. (line 183) * current_input/1 (built-in): ref-iou-sfh-cis. (line 7) * current_input/1 (built-in, ref page): mpg-ref-current_input. (line 6) * current_key/2 (built-in): ref-mdb-idb. (line 42) * current_key/2 (built-in, ref page): mpg-ref-current_key. (line 6) * current_module/[1,2] (built-in): ref-mod-ilm. (line 12) * current_module/[1,2] (built-in, ref page): mpg-ref-current_module. (line 6) * current_op/3 (built-in): ref-syn-ops-ops. (line 12) * current_op/3 (built-in, ref page): mpg-ref-current_op. (line 6) * current_output/1 (built-in): ref-iou-sfh-cos. (line 6) * current_output/1 (built-in, ref page): mpg-ref-current_output. (line 6) * current_predicate/2 (built-in): ref-mod-ilm-def. (line 9) * current_predicate/[1,2] (built-in, ref page): mpg-ref-current_predicate. (line 6) * current_prolog_flag/2 (built-in, ref page): mpg-ref-current_prolog_flag. (line 6) * current_stream/3 (built-in): ref-iou-sfh-bos. (line 6) * current_stream/3 (built-in, ref page): mpg-ref-current_stream. (line 6) * currently loaded modules <1>: ref-mod-mpc-cmo. (line 6) * currently loaded modules: ref-mod-ilm. (line 11) * cursor (definition): Glossary. (line 197) * customize-group (emacs command): Customizing Emacs. (line 6) * customize-variable (emacs command): Customizing Emacs. (line 6) * cut: Cut Overview. (line 10) * cut (definition): Glossary. (line 202) * cut and generate-and-test: Terminating a Backtracking Loop. (line 6) * cut on SPQuery: Jasper Package Class Reference. (line 155) * cut, green: ref-sem-ctr-cut. (line 57) * cut, local: ref-sem-ctr-ite. (line 39) * cut, placement of: Placement of Cuts. (line 6) * cut, red: ref-sem-ctr-cut. (line 57) * cut, soft: ref-sem-ctr-ite. (line 48) * cycles/1 (read_term/[2,3] option): mpg-ref-read_term. (line 62) * cycles/1 (write_term/[2,3] option): mpg-ref-write_term. (line 58) * cyclic term <1>: mpg-ref-read_term. (line 62) * cyclic term: mpg-ref-write_term. (line 58) * cyclic terms: ref-sem-occ. (line 6) * cyclic_term/1 (terms): lib-terms. (line 171) * data areas, used by Prolog: ref-mgc. (line 17) * data resource: too-spld. (line 203) * data tables: Data Tables. (line 6) * data type: ref-syn-trm-ove. (line 6) * data types, foreign: lib-structs. (line 19) * database <1>: BDB Basics. (line 12) * database: ref-sls. (line 13) * database (definition): Glossary. (line 208) * database modification: ref-mdb. (line 19) * database reference: ref-mdb-dre. (line 6) * database references to clauses: ref-mdb-dre. (line 6) * database, internal: ref-mdb-idb. (line 6) * database, loading: ref-sls-ove. (line 6) * database, predicates for <1>: ref-mdb-sum. (line 6) * database, predicates for: mpg-top-dat. (line 6) * database, saving: ref-sls-ove. (line 6) * datime/[1,2] (system): lib-system. (line 15) * db-spec: The DB-Spec Informal Description. (line 6) * db_close/1 (bdb): The Predicates. (line 65) * db_close_env/1 (bdb): The Predicates. (line 22) * db_compress/[2,3] (bdb): The Predicates. (line 125) * db_current/5 (bdb): The Predicates. (line 69) * db_current_env/2 (bdb): The Predicates. (line 26) * db_current_iterator/3 (bdb): The Predicates. (line 170) * db_enumerate/3 (bdb): The Predicates. (line 106) * db_erase/[2,3] (bdb): The Predicates. (line 97) * db_export/[2,3] (bdb): The Predicates. (line 177) * db_fetch/3 (bdb): The Predicates. (line 80) * db_findall/3 (bdb): The Predicates. (line 116) * db_import/[2,3] (bdb): The Predicates. (line 188) * db_iterator_done/1 (bdb): The Predicates. (line 167) * db_iterator_next/3 (bdb): The Predicates. (line 162) * db_make_iterator/[2,3] (bdb): The Predicates. (line 152) * db_open/[4,5] (bdb): The Predicates. (line 32) * db_open_env/[2,3] (bdb): The Predicates. (line 8) * db_reference (definition): Glossary. (line 214) * db_reference/1 (built-in, ref page): mpg-ref-db_reference. (line 6) * db_store/3 (bdb): The Predicates. (line 75) * db_sync/1 (bdb): The Predicates. (line 147) * DCG: ref-gru-dcg. (line 6) * dcg, grammar rule expansion: mpg-ref-term_expansion. (line 60) * dcgc_count (statistics key): ref-mgc-ove-sta. (line 219) * dcgc_time (statistics key): ref-mgc-ove-sta. (line 221) * debug (CHR option): CHR Semantics. (line 100) * debug (debugging flag value) <1>: ref-lps-flg. (line 67) * debug (debugging flag value): mpg-ref-debugging. (line 20) * debug (definition): Glossary. (line 218) * debug (FD flag): The Global Constraint Programming Interface. (line 141) * debug (prolog flag) <1>: ref-lps-flg. (line 76) * debug (prolog flag): Runtime Systems. (line 19) * debug commands: Debug Commands. (line 6) * debug/0 (built-in): Basic Debug. (line 10) * debug/0 (built-in, ref page): mpg-ref-debug. (line 6) * debug/0 (debugger mode control): Action Variables. (line 137) * debug_message/0 (objects): obj-exp-debug_message. (line 6) * debugcode (compiling flag value) <1>: ref-lod-ove. (line 26) * debugcode (compiling flag value): ref-lps-flg. (line 56) * debugcode (definition): Glossary. (line 223) * debugger action variables <1>: Action Variables. (line 6) * debugger action variables: Breakpoint Actions. (line 6) * debugger breakpoint: Advanced Debugging. (line 6) * debugger port: Port Tests. (line 11) * debugger, port: Procedure Box. (line 35) * debugger-ancestor: Goal Tests. (line 54) * debugger-parent: Goal Tests. (line 54) * debugger/0 (debugger condition) <1>: Advice-points. (line 24) * debugger/0 (debugger condition): Other Tests. (line 14) * debugger/0 (map method): Default Map Methods. (line 26) * debugger_command_hook/2 (hook, ref page): mpg-ref-debugger_command_hook. (line 6) * debugger_command_hook/2 (user, hook) <1>: Breakpoint Predicates. (line 111) * debugger_command_hook/2 (user, hook): Hooks Related to Breakpoints. (line 72) * debugger_print_options (prolog flag) <1>: Debug Commands. (line 356) * debugger_print_options (prolog flag) <2>: Action Variables. (line 17) * debugger_print_options (prolog flag) <3>: Breakpoint Actions. (line 17) * debugger_print_options (prolog flag) <4>: mpg-ref-write_term. (line 94) * debugger_print_options (prolog flag) <5>: Runtime Systems. (line 19) * debugger_print_options (prolog flag) <6>: ref-lps-flg. (line 137) * debugger_print_options (prolog flag) <7>: Debug Intro. (line 41) * debugger_print_options (prolog flag): mpg-ref-portray. (line 43) * debugging: Debug Intro. (line 6) * debugging (debugger command): Debug Commands. (line 260) * debugging (prolog flag) <1>: Runtime Systems. (line 19) * debugging (prolog flag): ref-lps-flg. (line 59) * debugging messages: Debug Format. (line 6) * debugging modules: ref-mod-cim. (line 6) * debugging predicates: Basic Debug. (line 6) * debugging, predicates for <1>: mpg-top-deb. (line 6) * debugging, predicates for: Debug Summary. (line 6) * debugging/0 (built-in) <1>: Undefined Predicates. (line 27) * debugging/0 (built-in): Basic Debug. (line 96) * debugging/0 (built-in, ref page): mpg-ref-debugging. (line 6) * dec10 (syntax_errors flag value) <1>: ref-lps-flg. (line 333) * dec10 (syntax_errors flag value): ref-ere-err-syn. (line 39) * declaration (definition): Glossary. (line 227) * declaration (predicate annotation): mpg-ref-cat. (line 30) * declaration, attribute: lib-atts. (line 21) * declaration, block: Block Declarations. (line 6) * declaration, discontiguous: Discontiguous Declarations. (line 6) * declaration, dynamic: Dynamic Declarations. (line 6) * declaration, include: Include Declarations. (line 6) * declaration, meta-predicate: Meta-Predicate Declarations. (line 6) * declaration, meta_predicate: ref-mod-met. (line 6) * declaration, mode: Mode Declarations. (line 6) * declaration, module <1>: ref-mod-lod. (line 35) * declaration, module: Module Declarations. (line 6) * declaration, multifile: Multifile Declarations. (line 6) * declaration, operator: ref-lod-dcl. (line 18) * declaration, predicate: ref-lod-dcl. (line 6) * declaration, public: Public Declarations. (line 6) * declaration, volatile: Volatile Declarations. (line 6) * declarations, mode: ref-mod-met. (line 101) * declarative semantics: ref-sem-sec. (line 6) * declaring nondeterminacy: Declaring Nondeterminacy. (line 6) * declaring operators: ref-syn-ops-ops. (line 6) * decomposition/1 (disjoint1/2 option): Combinatorial Constraints. (line 647) * decomposition/1 (disjoint2/2 option): Combinatorial Constraints. (line 688) * decreasing_prefix/[3,4] (lists): lib-lists. (line 783) * default (open/4 if_exists value): mpg-ref-open. (line 202) * define_method/3 (objects): obj-exp-define_method. (line 6) * definite clause grammars: ref-gru-dcg. (line 6) * definition, procedure: ref-sem-sec. (line 93) * defrag_count (statistics key): ref-mgc-ove-sta. (line 211) * defrag_time (statistics key): ref-mgc-ove-sta. (line 213) * defragmentation (statistics key): ref-mgc-ove-sta. (line 159) * deinit function: Conversion Declarations. (line 9) * deinit function (definition): Glossary. (line 231) * del_edges/3 (ugraphs): lib-ugraphs. (line 67) * del_edges/3 (wgraphs): lib-wgraphs. (line 83) * del_element/3 (sets): lib-sets. (line 17) * del_vertices/3 (ugraphs): lib-ugraphs. (line 59) * del_vertices/3 (wgraphs): lib-wgraphs. (line 75) * delete (delete_directory/2 if_nonempty option value): lib-file_systems. (line 96) * delete/[3,4] (lists): lib-lists. (line 47) * delete_directory/[1,2] (file_systems): lib-file_systems. (line 81) * delete_file/1 (file_systems): lib-file_systems. (line 77) * deprecated (predicate annotation): mpg-ref-cat. (line 42) * depth/1 (debugger condition) <1>: Breakpoint Tests. (line 121) * depth/1 (debugger condition): Goal Tests. (line 14) * depth_bound/2 (terms): lib-terms. (line 227) * descendant_of/2 (objects): obj-exp-descendant_of. (line 6) * destroy/1 (objects): obj-exp-destroy. (line 6) * destructive assignment: ref-lte-mut. (line 6) * determinacy checker: The Determinacy Checker. (line 6) * determinacy detection, last clause: Last Clause Determinacy Detection. (line 6) * determinacy detection, via indexing: Determinacy Detection. (line 6) * determinate (definition): Glossary. (line 235) * development (predicate annotation): mpg-ref-cat. (line 35) * development system: Development and Runtime Systems. (line 6) * development system (definition): Glossary. (line 238) * dialect (prolog flag) <1>: ref-lps-flg. (line 143) * dialect (prolog flag): ref-lod-cnd. (line 81) * dif/2 (built-in): ref-lte-met-usu. (line 36) * dif/2 (built-in, ref page): mpg-ref-dif. (line 6) * direct_message/4 (objects): obj-exp-direct_message. (line 6) * direction/1 (close/2 option): mpg-ref-close. (line 35) * directive <1>: Start. (line 41) * directive <2>: ref-sem-pro. (line 20) * directive: Queries and Directives. (line 6) * directive (definition): Glossary. (line 245) * directives, in files being compiled: ref-lod-lod. (line 122) * directories: lib-file_systems. (line 6) * directory (absolute_file_name/3 file type): mpg-ref-absolute_file_name. (line 83) * directory (load context key): ref-lps-lco. (line 21) * directory specification: ref-fdi-fsp. (line 67) * directory_exists/1 (file_systems): lib-file_systems. (line 101) * directory_exists/2 (file_systems): lib-file_systems. (line 101) * directory_member_of_directory/2 (file_systems): lib-file_systems. (line 140) * directory_member_of_directory/3 (file_systems): lib-file_systems. (line 147) * directory_member_of_directory/4 (file_systems): lib-file_systems. (line 155) * directory_members_of_directory/[1,2,3] (file_systems): lib-file_systems. (line 163) * directory_must_exist/1 (file_systems): lib-file_systems. (line 129) * directory_must_exist/2 (file_systems): lib-file_systems. (line 129) * directory_property/[2,3] (file_systems): lib-file_systems. (line 226) * disable this (debugger command): Debug Commands. (line 291) * disable_breakpoints/1 (built-in): Breakpoint Predicates. (line 74) * disable_breakpoints/1 (built-in, ref page): mpg-ref-disable_breakpoints. (line 6) * discontiguous declaration: Discontiguous Declarations. (line 6) * discontiguous/1 (built-in, ref page): mpg-ref-discontiguous. (line 6) * discontiguous/1 (declaration): Discontiguous Declarations. (line 6) * discontiguous_warnings (prolog flag) <1>: Runtime Systems. (line 26) * discontiguous_warnings (prolog flag) <2>: ref-lps-flg. (line 149) * discontiguous_warnings (prolog flag) <3>: ref-lod-lod. (line 86) * discontiguous_warnings (prolog flag): Discontiguous Declarations. (line 13) * discrepancy/1 (labeling/2 option): Enumeration Predicates. (line 159) * disjoint/2 (sets): lib-sets. (line 28) * disjoint1/[1,2] (clpfd): Combinatorial Constraints. (line 637) * disjoint2/[1,2] (clpfd): Combinatorial Constraints. (line 677) * disjoint_union/3 (sets): lib-sets. (line 147) * disjunction <1>: ref-sem-ctr-dis. (line 6) * disjunction: Conditionals and Disjunction. (line 6) * disjunction (definition): Glossary. (line 250) * disjunctive/1 (geost/[2,3,4] option): Combinatorial Constraints. (line 819) * dispatch_global/4 (clpfd): The Global Constraint Programming Interface. (line 22) * display (debugger command): Debug Commands. (line 180) * display/0 (debugger show control): Action Variables. (line 23) * display/1 (built-in): ref-iou-tou-dsp. (line 6) * display/1 (built-in, ref page): mpg-ref-display. (line 6) * display/1 (tk_new/2 option): Basic Functions. (line 46) * displaying statistics: ref-mgc-ove-sta. (line 6) * dispose/1 (structs): str-cdf. (line 6) * distinctions among write predicates: ref-iou-tou-dis. (line 6) * do-loop: ref-sem-ctr-dol. (line 6) * do-loop (definition): Glossary. (line 254) * do/2 (built-in, ref page): mpg-ref-do. (line 6) * do/2, do-loop: ref-sem-ctr-dol. (line 6) * dom (all_different/2 on/1 value): Combinatorial Constraints. (line 437) * dom (all_distinct/2 on/1 value): Combinatorial Constraints. (line 437) * dom (global_cardinality/3 on/1 value): Combinatorial Constraints. (line 87) * dom/1 (case/4 on/1 value): Combinatorial Constraints. (line 250) * dom/1 (fd_global/[3,4] option): The Global Constraint Programming Interface. (line 82) * domain (all_different/2 consistency/1 value): Combinatorial Constraints. (line 418) * domain (all_distinct/2 consistency/1 value): Combinatorial Constraints. (line 418) * domain (global_cardinality/3 consistency/1 value): Combinatorial Constraints. (line 72) * domain (scalar_product/5 consistency/1 value): Arithmetic Constraints. (line 53) * domain (table/3 consistency/1 value): Combinatorial Constraints. (line 147) * domain constraint: Definitions. (line 6) * domain errors: ref-ere-err-dom. (line 6) * domain variable: CLPFD Interface. (line 10) * domain, finite: CLPFD Interface. (line 10) * domain/3 (clpfd): Membership Constraints. (line 7) * domain_error/[2,4] (error class): ref-ere-err. (line 100) * double_quotes (prolog flag) <1>: ref-lps-flg. (line 100) * double_quotes (prolog flag) <2>: ref-syn-cpt-sli. (line 20) * double_quotes (prolog flag): Glossary. (line 801) * down (labeling/2 option): Enumeration Predicates. (line 131) * dpgc_count (statistics key): ref-mgc-ove-sta. (line 215) * dpgc_time (statistics key): ref-mgc-ove-sta. (line 217) * dump/3 (clpqr): CLPQR Solver Predicates. (line 179) * dynamic (predicate property): mpg-ref-predicate_property. (line 34) * dynamic code, indexing of: ref-mdb-dsp. (line 80) * dynamic code, semantics of: ref-mdb-bas. (line 30) * dynamic creation of modules: ref-mod-dmo. (line 6) * dynamic declaration: Dynamic Declarations. (line 6) * dynamic predicate (definition): Glossary. (line 258) * dynamic predicates, importing: ref-mod-idp. (line 6) * dynamic resource: Foreign Resources. (line 33) * dynamic, procedures and declarations: ref-mdb-dsp. (line 6) * dynamic/0 (predicate property): ref-lps-app. (line 23) * dynamic/1 (built-in, ref page): mpg-ref-dynamic. (line 6) * dynamic/1 (declaration): Dynamic Declarations. (line 6) * dynamic_programming/1 (geost/[2,3,4] option): Combinatorial Constraints. (line 870) * Eclipse: SPIDER. (line 6) * edges/2 (ugraphs): lib-ugraphs. (line 43) * edges/2 (wgraphs): lib-wgraphs. (line 33) * efficiency and specifying streams: ref-iou-str-not. (line 6) * efficiency, increasing: Writing Efficient Programs. (line 6) * element/3 (clpfd): Combinatorial Constraints. (line 110) * elif/1 (conditional directive): ref-lod-cnd. (line 6) * else/0 (conditional directive): ref-lod-cnd. (line 6) * Emacs initialization file .emacs: Quick-Start. (line 12) * emacs interface: Emacs Interface. (line 7) * empty_assoc/1 (assoc): lib-assoc. (line 14) * empty_avl/1 (avl): lib-avl. (line 14) * empty_bag/1 (bags): lib-bags. (line 113) * empty_fdset/1 (clpfd): FD Set Operations. (line 16) * empty_interval/2 (clpfd): FD Set Operations. (line 29) * empty_queue/1 (queues): lib-queues. (line 29) * enable this (debugger command): Debug Commands. (line 298) * enable_breakpoints/1 (built-in): Breakpoint Predicates. (line 74) * enable_breakpoints/1 (built-in, ref page): mpg-ref-enable_breakpoints. (line 6) * enabling and disabling garbage collection: ref-mgc-egc. (line 6) * encoded string: CPL Notes. (line 43) * encoded string (definition): Glossary. (line 264) * encoding: ref-iou-sfh-enc. (line 17) * encoding, UTF-8: CPL Notes. (line 43) * encoding/1 (open/4 option): mpg-ref-open. (line 80) * encoding/1 (stream property): mpg-ref-stream_property. (line 75) * encoding_signature/1 (open/4 option): mpg-ref-open. (line 88) * encoding_signature/1 (stream property): mpg-ref-stream_property. (line 87) * end of line: mpg-ref-at_end_of_line. (line 31) * end of stream: mpg-ref-at_end_of_stream. (line 14) * end-of-file on character input: ref-iou-cin. (line 14) * end-of-file, characters: mpg-ref-break. (line 27) * end_class/[0,1] (objects): obj-exp-end_class. (line 6) * end_of_file: ref-iou-tin-trm. (line 44) * end_of_file atom: mpg-ref-read. (line 50) * end_of_stream/1 (stream property): mpg-ref-stream_property. (line 58) * end_tests/1 (plunit declaration): PlUnit A Unit Test Box. (line 12) * endif/0 (conditional directive): ref-lod-cnd. (line 6) * ensure_loaded/1 (built-in): ref-mod-lod. (line 6) * ensure_loaded/1 (built-in, ref page): mpg-ref-ensure_loaded. (line 6) * entailed/1 (clpqr): CLPQR Solver Predicates. (line 72) * entailments (fd_statistics/2 option): Statistics Predicates. (line 23) * Enter (Tk event type): Event Handling. (line 43) * entry (Tk widget): Types of Widget. (line 20) * enum (labeling/2 option): Enumeration Predicates. (line 94) * enumerating solutions to a goal <1>: ref-all-cba. (line 10) * enumerating solutions to a goal <2>: ref-all-cse. (line 10) * enumerating solutions to a goal: ref-all-cba-cal. (line 6) * environ/[2,3] (system): lib-system. (line 30) * environment: The Environment. (line 6) * environment variables: System Properties and Environment Variables. (line 6) * environment/1 (db_open/5 option): The Predicates. (line 50) * eof (seek/4 method): mpg-ref-seek. (line 39) * eof (Tcl command): Commands. (line 634) * EOF character: Keyboard Characters. (line 13) * eof_action/1 (open/4 option): mpg-ref-open. (line 63) * eof_action/1 (stream property): mpg-ref-stream_property. (line 67) * eof_code (open/4 eof_action value): mpg-ref-open. (line 72) * eol/1 (open/4 option): mpg-ref-open. (line 153) * eol/1 (stream property): mpg-ref-stream_property. (line 83) * Epoch: lib-file_systems. (line 247) * equality of floats: ref-ari-acm. (line 6) * equality, arithmetic: ref-ari-acm. (line 19) * equality, unification: ref-lte-met-usu. (line 10) * erase/1 (built-in): ref-mdb-rcd. (line 19) * erase/1 (built-in, ref page): mpg-ref-erase. (line 6) * error (absolute_file_name/3 fileerrors): mpg-ref-absolute_file_name. (line 194) * error (delete_directory/2 if_nonempty option value): lib-file_systems. (line 93) * error (open/4 eof_action value): mpg-ref-open. (line 69) * error (open/4 if_exists value): mpg-ref-open. (line 206) * error (overflow FD flag value): The Global Constraint Programming Interface. (line 135) * error (syntax_errors flag value) <1>: ref-ere-err-syn. (line 49) * error (syntax_errors flag value): ref-lps-flg. (line 336) * error (unknown flag value): ref-lps-flg. (line 378) * error classes: ref-ere-err. (line 21) * error handling: Exceptions Debug. (line 6) * error, syntax: Syntax Errors. (line 6) * error/1 (plunit option): PlUnit A Unit Test Box. (line 151) * error/2 (plunit option): PlUnit A Unit Test Box. (line 151) * error_exception/1 (hook, ref page): mpg-ref-error_exception. (line 6) * error_exception/1 (user, hook): Exceptions Debug. (line 15) * errors: ref-ere. (line 16) * errors, arithmetics: ref-ari-exc. (line 9) * errors, calls: ref-sem-exc. (line 9) * errors, consistency: ref-ere-err-cns. (line 6) * errors, context: ref-ere-err-con. (line 6) * errors, domain: ref-ere-err-dom. (line 6) * errors, evaluation: ref-ere-err-eva. (line 6) * errors, existence: ref-ere-err-exi. (line 6) * errors, instantiation: ref-ere-err-ins. (line 6) * errors, permission: ref-ere-err-per. (line 6) * errors, representation: ref-ere-err-rep. (line 6) * errors, resource: ref-ere-err-res. (line 6) * errors, streams: ref-iou-sfh-est. (line 9) * errors, syntax: ref-ere-err-syn. (line 6) * errors, system: ref-ere-err-sys. (line 6) * errors, type: ref-ere-err-typ. (line 6) * escape sequence: ref-syn-syn-esc. (line 6) * escape sequence (definition): Glossary. (line 268) * escaping, character: ref-syn-ces. (line 6) * eval (Tcl command): Commands. (line 350) * evaluating arithmetic expressions: ref-ari-eae. (line 6) * evaluation errors: ref-ere-err-eva. (line 6) * evaluation_error/[2,4] (error class): ref-ere-err. (line 127) * event, constraint: FDBG Events. (line 10) * event, FDBG: FDBG Events. (line 6) * event, labeling: FDBG Events. (line 13) * exception (leashing mode): Basic Debug. (line 67) * exception classes: ref-ere-err. (line 21) * exception handling: Exceptions Debug. (line 6) * exception handling in C: Exception Handling in C. (line 6) * exception term <1>: Exception Handling in C. (line 6) * exception term: ref-ere-rex. (line 6) * exception/1 (debugger port value): Port Tests. (line 13) * exception/1 (plunit option): PlUnit A Unit Test Box. (line 145) * exceptions: ref-ere. (line 16) * exceptions, arithmetic: ref-ari-exc. (line 9) * Exceptions, C functions for: cpg-top-exc. (line 6) * exceptions, calls: ref-sem-exc. (line 9) * exceptions, global handler: ref-ere-hex-hup. (line 6) * exceptions, module name expansion: mpg-ref-cat. (line 61) * exceptions, streams: ref-iou-sfh-est. (line 9) * exclude/[3,4,5] (lists): lib-lists. (line 597) * executable (absolute_file_name/3 access): mpg-ref-absolute_file_name. (line 148) * executable (absolute_file_name/3 file type): mpg-ref-absolute_file_name. (line 79) * executable, console-based (definition): Glossary. (line 170) * executable, stand-alone: Stand-Alone Executables. (line 6) * executable, stand-alone (definition): Glossary. (line 749) * executable, windowed (definition): Glossary. (line 886) * execute (absolute_file_name/3 access): mpg-ref-absolute_file_name. (line 148) * execution: Execution. (line 6) * execution profiling: Execution Profiling. (line 6) * execution state, predicates for <1>: mpg-top-est. (line 6) * execution state, predicates for: ref-ere-sum. (line 6) * execution, nested: Nested. (line 6) * execution_state/[1,2] (built-in) <1>: Built-in Predicates for Breakpoint Handling. (line 17) * execution_state/[1,2] (built-in) <2>: Breakpoint Predicates. (line 81) * execution_state/[1,2] (built-in): Accessing Past Debugger States. (line 21) * execution_state/[1,2] (built-in, ref page): mpg-ref-execution_state. (line 6) * exist (absolute_file_name/3 access): mpg-ref-absolute_file_name. (line 144) * existence errors: ref-ere-err-exi. (line 6) * existence_error/[2,5] (error class): ref-ere-err. (line 106) * existential quantifier <1>: ref-all-cse-equ. (line 6) * existential quantifier: mpg-ref-exists. (line 6) * exit (leashing mode): Basic Debug. (line 58) * exit/0 (clpfd:dispatch_global/4 request): The Global Constraint Programming Interface. (line 44) * exit/1 (debugger port value): Port Tests. (line 13) * exited/1 (debugger condition) <1>: Accessing Past Debugger States. (line 84) * exited/1 (debugger condition): Goal Tests. (line 38) * exiting: Exiting. (line 6) * exp/1, exponent (evaluable): ref-ari-aex. (line 214) * exp/2, exponent (evaluable): ref-ari-aex. (line 219) * expand_term/2 (built-in): ref-lod-exp. (line 51) * expand_term/2 (built-in, ref page): mpg-ref-expand_term. (line 6) * expansion, macro: mpg-ref-goal_expansion. (line 42) * expansion, module name <1>: Mode Spec. (line 11) * expansion, module name: Meta-Predicate Declarations. (line 16) * expansion, module name (definition): Glossary. (line 510) * explicit unification: ref-lte-met-usu. (line 10) * export (definition): Glossary. (line 272) * exported (predicate property): mpg-ref-predicate_property. (line 51) * exported/0 (predicate property): ref-lps-app. (line 41) * exporting predicates from a module: ref-mod-def. (line 6) * expr (argument type): mpg-ref-aty-ety. (line 57) * expr (Tcl command): Commands. (line 63) * expression, arithmetic: ref-ari-aex. (line 6) * extended runtime system (definition): Glossary. (line 275) * extended_characters/1 (xml_parse/3 option): lib-xml. (line 85) * extendible (predicate annotation): mpg-ref-cat. (line 24) * extendible predicate (definition): Glossary. (line 371) * extendible predicates (definition): ref-sem-typ-rpr. (line 6) * extensions/1 (absolute_file_name/3 option): mpg-ref-absolute_file_name. (line 38) * fact (definition): Glossary. (line 281) * fail (absolute_file_name/3 fileerrors): mpg-ref-absolute_file_name. (line 202) * fail (debugger command): Debug Commands. (line 143) * fail (delete_directory/2 if_nonempty option value): lib-file_systems. (line 90) * fail (leashing mode): Basic Debug. (line 64) * fail (overflow FD flag value): The Global Constraint Programming Interface. (line 138) * fail (syntax_errors flag value) <1>: ref-ere-err-syn. (line 44) * fail (syntax_errors flag value): ref-lps-flg. (line 339) * fail (unknown flag value): ref-lps-flg. (line 386) * fail/0 (built-in, ref page): mpg-ref-fail. (line 6) * fail/0 (clpfd:dispatch_global/4 request): The Global Constraint Programming Interface. (line 47) * fail/0 (debugger port value): Port Tests. (line 13) * fail/1 (debugger command control): Action Variables. (line 113) * fail/1 (plunit option): PlUnit A Unit Test Box. (line 141) * false/0 (built-in, ref page): mpg-ref-false. (line 6) * false/0 (debugger condition): Other Tests. (line 38) * FD predicate <1>: FD Predicates. (line 6) * FD predicate: User-Defined Constraints. (line 17) * FD set: FD Set Operations. (line 6) * fd_batch/1 (clpfd): Combinatorial Constraints. (line 1498) * fd_closure/2 (clpfd): Reflection Predicates. (line 56) * fd_constraint (predicate property): mpg-ref-predicate_property. (line 29) * fd_constraint/0 (predicate property): ref-lps-app. (line 19) * fd_degree/2 (clpfd): Reflection Predicates. (line 40) * fd_dom/2 (clpfd): Reflection Predicates. (line 35) * fd_flag/3 (clpfd): The Global Constraint Programming Interface. (line 126) * fd_global/[3,4] (clpfd): The Global Constraint Programming Interface. (line 74) * fd_max/2 (clpfd): Reflection Predicates. (line 20) * fd_min/2 (clpfd): Reflection Predicates. (line 15) * fd_neighbors/2 (clpfd): Reflection Predicates. (line 52) * fd_set/2 (clpfd): Reflection Predicates. (line 30) * fd_size/2 (clpfd): Reflection Predicates. (line 25) * fd_statistics/[0,2] (clpfd): Statistics Predicates. (line 9) * fd_var/1 (clpfd): Reflection Predicates. (line 11) * FDBG concepts: FDBG Concepts. (line 6) * FDBG event: FDBG Events. (line 6) * FDBG output stream: FDBG The fdbg_output Stream. (line 6) * fdbg_annotate/[3,4] (fdbg): FDBG Writing Visualizers. (line 72) * fdbg_assign_name/2 (fdbg): FDBG Naming Terms. (line 10) * fdbg_current_name/2 (fdbg): FDBG Naming Terms. (line 16) * fdbg_get_name/2 (fdbg): FDBG Naming Terms. (line 20) * fdbg_guard/3 (fdbg): FDBG Debugging Global Constraints. (line 15) * fdbg_label_show/3 (fdbg): FDBG Built-In Visualizers. (line 35) * fdbg_labeling_step/2 (fdbg): FDBG Annotation. (line 23) * fdbg_legend/[1,2] (fdbg): FDBG Writing Visualizers. (line 94) * fdbg_off/0 (fdbg): FDBG Options. (line 18) * fdbg_on/[0,1] (fdbg): FDBG Options. (line 8) * fdbg_output: FDBG The fdbg_output Stream. (line 6) * fdbg_show/2 (fdbg): FDBG Built-In Visualizers. (line 14) * fdbg_start_labeling/1 (fdbg): FDBG Annotation. (line 21) * fdbg_transform_actions/3 (fdbg): FDBG Writing Legend Printers. (line 15) * fdset_add_element/3 (clpfd): FD Set Operations. (line 67) * fdset_complement/2 (clpfd): FD Set Operations. (line 106) * fdset_del_element/3 (clpfd): FD Set Operations. (line 70) * fdset_disjoint/2 (clpfd): FD Set Operations. (line 73) * fdset_eq/2 (clpfd): FD Set Operations. (line 89) * fdset_intersect/2 (clpfd): FD Set Operations. (line 76) * fdset_intersection/[2,3] (clpfd): FD Set Operations. (line 79) * fdset_interval/3 (clpfd): FD Set Operations. (line 32) * fdset_max/2 (clpfd): FD Set Operations. (line 42) * fdset_member/2 (clpfd): FD Set Operations. (line 85) * fdset_min/2 (clpfd): FD Set Operations. (line 39) * fdset_parts/4 (clpfd): FD Set Operations. (line 19) * fdset_singleton/2 (clpfd): FD Set Operations. (line 35) * fdset_size/2 (clpfd): FD Set Operations. (line 46) * fdset_subset/2 (clpfd): FD Set Operations. (line 93) * fdset_subtract/3 (clpfd): FD Set Operations. (line 96) * fdset_to_list/2 (clpfd): FD Set Operations. (line 55) * fdset_to_range/2 (clpfd): FD Set Operations. (line 63) * fdset_union/[2,3] (clpfd): FD Set Operations. (line 100) * fdvar_portray/3 (fdbg, hook): FDBG Customizing Output. (line 9) * fetch_slot/2 (objects): obj-exp-fetch_slot. (line 6) * ff (labeling/2 option): Enumeration Predicates. (line 63) * ffc (labeling/2 option): Enumeration Predicates. (line 67) * file (load context key): ref-lps-lco. (line 16) * File and Stream Handling, C functions for: cpg-top-fst. (line 6) * file and stream handling, predicates for <1>: ref-iou-sum. (line 81) * file and stream handling, predicates for: mpg-top-fsh. (line 6) * file specification <1>: ref-fdi-syn. (line 6) * file specification: ref-fdi-fsp. (line 67) * file specification (definition): Glossary. (line 292) * file, closing: ref-iou-sfh-cst. (line 6) * file, initialization: ref-fdi-fsp-ffs. (line 6) * file, PO (definition): Glossary. (line 634) * file/1 (debugger condition) <1>: Breakpoint Tests. (line 224) * file/1 (debugger condition): Source Tests. (line 12) * file_errors/1 (absolute_file_name/3 option): mpg-ref-absolute_file_name. (line 190) * file_exists/1 (file_systems): lib-file_systems. (line 113) * file_exists/2 (file_systems): lib-file_systems. (line 113) * file_member_of_directory/[2,3,4] (file_systems): lib-file_systems. (line 185) * file_members_of_directory/[1,2,3] (file_systems): lib-file_systems. (line 206) * file_must_exist/1 (file_systems): lib-file_systems. (line 121) * file_must_exist/2 (file_systems): lib-file_systems. (line 121) * file_name/1 (stream property): mpg-ref-stream_property. (line 25) * file_property/[2,3] (file_systems): lib-file_systems. (line 305) * file_search_path/2 (hook, ref page): mpg-ref-file_search_path. (line 6) * file_search_path/2 (user, hook): ref-fdi-fsp-def. (line 6) * file_spec (argument type): mpg-ref-aty-ety. (line 55) * file_type/1 (absolute_file_name/3 option): mpg-ref-absolute_file_name. (line 49) * fileerrors (prolog flag) <1>: mpg-ref-see. (line 46) * fileerrors (prolog flag) <2>: mpg-ref-absolute_file_name. (line 355) * fileerrors (prolog flag) <3>: mpg-ref-tell. (line 48) * fileerrors (prolog flag) <4>: ref-iou-sfh-sem. (line 6) * fileerrors (prolog flag) <5>: ref-lod-lod. (line 43) * fileerrors (prolog flag) <6>: mpg-ref-absolute_file_name. (line 191) * fileerrors (prolog flag) <7>: mpg-ref-restore. (line 42) * fileerrors (prolog flag): ref-lps-flg. (line 154) * fileerrors/1 (absolute_file_name/3 option): mpg-ref-absolute_file_name. (line 190) * filename manipulation, predicates for <1>: mpg-top-fnm. (line 6) * filename manipulation, predicates for: ref-fdi-pre. (line 8) * fileref/2 (source information descriptor): mpg-ref-goal_source_info. (line 37) * files: lib-file_systems. (line 6) * files, appending to existing: ref-iou-sfh-opn. (line 18) * files, creating new: ref-iou-sfh-opn. (line 18) * files, opening: ref-iou-sfh-opn. (line 6) * files, searching for in a library: ref-fdi-fsp. (line 12) * find this (debugger command): Debug Commands. (line 302) * findall/[3,4] (built-in): ref-all-cba-cal. (line 6) * findall/[3,4] (built-in, ref page): mpg-ref-findall. (line 6) * finding nondeterminacy: The Determinacy Checker. (line 6) * finite domain: CLPFD Interface. (line 10) * first (absolute_file_name/3 solutions): mpg-ref-absolute_file_name. (line 214) * first_bound/2 (clpfd): Enumeration Predicates. (line 109) * fixall/2 (geost/[2,3,4] option): Combinatorial Constraints. (line 914) * fixme/1 (plunit option): PlUnit A Unit Test Box. (line 41) * flit/0 (debugger command control): Action Variables. (line 45) * flit/2 (debugger command control): Action Variables. (line 80) * float/1 (built-in, ref page): mpg-ref-float. (line 6) * float/1, coercion (evaluable): ref-ari-aex. (line 80) * float_format/1 (write_term/[2,3] option): mpg-ref-write_term. (line 76) * float_fractional_part/1, fractional part (evaluable): ref-ari-aex. (line 76) * float_integer_part/1, coercion (evaluable): ref-ari-aex. (line 73) * floats, equality of: ref-ari-acm. (line 6) * floats, range of: ref-ari-ove. (line 15) * floats, syntax of: ref-syn-trm-flo. (line 6) * floor/1 (evaluable): ref-ari-aex. (line 145) * floundered query (definition): Glossary. (line 297) * floundering: ref-sem-sec. (line 138) * flush_output/1 (built-in): ref-iou-sfh-flu. (line 6) * flush_output/[0,1] (built-in, ref page): mpg-ref-flush_output. (line 6) * flushing output: ref-iou-sfh-flu. (line 6) * for (Tcl command): Commands. (line 269) * for/3 (iterator) <1>: mpg-ref-do. (line 47) * for/3 (iterator): ref-sem-ctr-dol. (line 176) * forall/1 (plunit option): PlUnit A Unit Test Box. (line 58) * forall/2 (aggregate): lib-aggregate. (line 124) * force/1 (abolish/2 option): mpg-ref-abolish. (line 31) * force/1 (close/2 option): mpg-ref-close. (line 29) * foreach (Tcl command): Commands. (line 286) * foreach/2 (aggregate): lib-aggregate. (line 130) * foreach/2 (iterator) <1>: ref-sem-ctr-dol. (line 163) * foreach/2 (iterator): mpg-ref-do. (line 32) * foreacharg/2 (iterator) <1>: mpg-ref-do. (line 37) * foreacharg/2 (iterator): ref-sem-ctr-dol. (line 167) * foreacharg/3 (iterator) <1>: mpg-ref-do. (line 37) * foreacharg/3 (iterator): ref-sem-ctr-dol. (line 171) * foreign data types: lib-structs. (line 19) * Foreign Interface, C functions for: cpg-top-fin. (line 6) * foreign interface, predicates for: mpg-top-fin. (line 6) * foreign language interface <1>: Calling C from Prolog. (line 6) * foreign language interface: Mixing C and Prolog. (line 6) * foreign predicate (definition): Glossary. (line 300) * foreign resource: Foreign Resources. (line 6) * foreign resource (definition): Glossary. (line 305) * foreign resource linker: The Foreign Resource Linker. (line 6) * foreign resource, linked <1>: Foreign Resources. (line 6) * foreign resource, linked: Creating the Linked Foreign Resource. (line 6) * foreign resource, pre-linked (definition): Glossary. (line 586) * foreign terms (definition): lib-structs. (line 27) * foreign/[2,3] (hook, ref page): mpg-ref-foreign. (line 6) * foreign/[2,3] (Module, hook): Conversion Declarations. (line 27) * foreign_arg (argument type): mpg-ref-aty-ety. (line 46) * foreign_resource (absolute_file_name/3 file type): mpg-ref-absolute_file_name. (line 75) * foreign_resource/2 (hook, ref page): mpg-ref-foreign_resource. (line 6) * foreign_resource/2 (Module, hook): Conversion Declarations. (line 9) * foreign_spec (argument type): mpg-ref-aty-ety. (line 44) * foreign_type/2 (structs): str-fty-dty. (line 6) * formal syntax: ref-syn-syn. (line 16) * format (Tcl command): Commands. (line 374) * format-command: Message Phases. (line 14) * format/1 (xml_parse/3 option): lib-xml. (line 82) * format/[2,3] (built-in): ref-iou-cou-fou. (line 6) * format/[2,3] (built-in, ref page): mpg-ref-format. (line 6) * format_to_codes/[3,4] (codesio): lib-codesio. (line 14) * formatted printing: ref-iou-cou-fou. (line 6) * forward-paragraph (emacs command): Usage. (line 100) * frame (Tk widget): Types of Widget. (line 23) * frame, current <1>: Debug Commands. (line 13) * frame, current: Debug Format. (line 36) * free_of_term/2 (terms): lib-terms. (line 184) * free_of_var/2 (terms): lib-terms. (line 206) * free_variables/4 (aggregate): lib-aggregate. (line 164) * freeze/2 (built-in, ref page): mpg-ref-freeze. (line 6) * fromto/4 (iterator) <1>: mpg-ref-do. (line 28) * fromto/4 (iterator): ref-sem-ctr-dol. (line 158) * frozen/2 (built-in, ref page): mpg-ref-frozen. (line 6) * full-stop: ref-sem-sec. (line 6) * full-stop, use of <1>: mpg-ref-read. (line 39) * full-stop, use of <2>: ref-iou-tou-cha. (line 6) * full-stop, use of: ref-iou-tin-trm. (line 25) * full_answer/0 (clpfd): Answer Constraints. (line 19) * Fully Qualified Classname: Jasper Library Predicates. (line 84) * function prototype: Function Prototypes. (line 6) * function, deinit: Conversion Declarations. (line 9) * function, deinit (definition): Glossary. (line 231) * function, init: Conversion Declarations. (line 9) * function, init (definition): Glossary. (line 404) * functions for C errors: cpg-top-err. (line 6) * functor (definition): Glossary. (line 308) * functor, principal: ref-lte-act. (line 6) * functor, principal (definition): ref-syn-cpt. (line 11) * functor/3 (built-in): ref-lte-act. (line 6) * functor/3 (built-in, ref page): mpg-ref-functor. (line 6) * functors: ref-syn-cpt. (line 11) * functors, arithmetic: ref-ari-aex. (line 21) * fzn_dump/[2,3] (zinc): FlatZinc Exported Predicates. (line 314) * fzn_identifier/3 (zinc): FlatZinc Exported Predicates. (line 150) * fzn_load_file/2 (zinc): FlatZinc Exported Predicates. (line 38) * fzn_load_stream/2 (zinc): FlatZinc Exported Predicates. (line 31) * fzn_objective/2 (zinc): FlatZinc Exported Predicates. (line 183) * fzn_output/1 (zinc): FlatZinc Exported Predicates. (line 118) * fzn_post/1 (zinc): FlatZinc Exported Predicates. (line 108) * fzn_run_file/[1,2] (zinc): FlatZinc Exported Predicates. (line 294) * fzn_run_stream/[1,2] (zinc): FlatZinc Exported Predicates. (line 266) * fzn_solve/1 (zinc): FlatZinc Exported Predicates. (line 112) * garbage collection <1>: ref-mgc-ove. (line 48) * garbage collection <2>: mpg-ref-abolish. (line 60) * garbage collection <3>: ref-mgc-gcp. (line 6) * garbage collection: ref-lps-flg. (line 159) * garbage collection (definition): Glossary. (line 317) * garbage collection, atoms: ref-mgc-ago. (line 13) * garbage collection, enabling and disabling: ref-mgc-egc. (line 6) * garbage collection, invoking directly: ref-mgc-gcd. (line 6) * garbage collection, monitoring: ref-mgc-mgc. (line 6) * garbage_collect/0 (built-in): ref-mgc-gcd. (line 19) * garbage_collect/0 (built-in, ref page): mpg-ref-garbage_collect. (line 6) * garbage_collect_atoms/0 (built-in): ref-mgc-ago-agc. (line 18) * garbage_collect_atoms/0 (built-in, ref page): mpg-ref-garbage_collect_atoms. (line 6) * garbage_collection (statistics key): ref-mgc-ove-sta. (line 139) * gauge: lib-gauge. (line 6) * gc (prolog flag) <1>: ref-mgc-egc. (line 16) * gc (prolog flag): ref-lps-flg. (line 158) * gc_count (statistics key): ref-mgc-ove-sta. (line 197) * gc_freed (statistics key): ref-mgc-ove-sta. (line 199) * gc_margin (prolog flag) <1>: ref-mgc-gch. (line 72) * gc_margin (prolog flag): ref-lps-flg. (line 162) * gc_time (statistics key): ref-mgc-ove-sta. (line 201) * gc_trace (prolog flag) <1>: ref-mgc-egc. (line 16) * gc_trace (prolog flag) <2>: ref-mgc-mgc. (line 15) * gc_trace (prolog flag): ref-lps-flg. (line 168) * gcd/2, greatest common divisor (evaluable): ref-ari-aex. (line 121) * gen_assoc/3 (assoc): lib-assoc. (line 23) * gen_int/1 (between): lib-between. (line 23) * gen_label/3 (trees): lib-trees. (line 10) * gen_nat/1 (between): lib-between. (line 17) * generalization/1 (cumulatives/3 option): Combinatorial Constraints. (line 606) * generalized predicate spec (definition): Glossary. (line 322) * generate-and-test, use with cut: Terminating a Backtracking Loop. (line 6) * generate_debug_info (CHR flag): CHR Debugging Predicates. (line 38) * generate_message/3 (built-in, ref page): mpg-ref-generate_message. (line 6) * generate_message/3 (SU_messages): Message Handling Predicates. (line 21) * generate_message_hook/3 (hook, ref page): mpg-ref-generate_message_hook. (line 6) * generate_message_hook/3 (user, hook): Message Handling Predicates. (line 16) * generate_unique_name (open/4 if_exists value): mpg-ref-open. (line 209) * generic breakpoint: Specific and Generic Breakpoints. (line 6) * geost/[2,3,4] (clpfd): Combinatorial Constraints. (line 781) * get/1 (debugger condition): Port Tests. (line 64) * get_address/3 (structs): str-afd. (line 11) * get_assoc/3 (assoc): lib-assoc. (line 33) * get_atts/2 (Module): lib-atts. (line 38) * get_byte/[1,2] (built-in): ref-iou-cin-cha. (line 6) * get_byte/[1,2] (built-in, ref page): mpg-ref-get_byte. (line 6) * get_char/[1,2] (built-in): ref-iou-cin-cha. (line 12) * get_char/[1,2] (built-in, ref page): mpg-ref-get_char. (line 6) * get_code/[1,2] (built-in): ref-iou-cin-cha. (line 9) * get_code/[1,2] (built-in, ref page): mpg-ref-get_code. (line 6) * get_contents/3 (structs): str-afd. (line 6) * get_label/3 (trees): lib-trees. (line 15) * get_mutable/2 (built-in): ref-lte-mut. (line 37) * get_mutable/2 (built-in, ref page): mpg-ref-get_mutable. (line 6) * get_next_assoc/4 (assoc): lib-assoc. (line 46) * get_prev_assoc/4: lib-assoc. (line 58) * getrand/1 (random): lib-random. (line 17) * gets (Tcl command): Commands. (line 615) * glob/1 (absolute_file_name/3 option): mpg-ref-absolute_file_name. (line 95) * global (Tcl command): Commands. (line 809) * global constraint: The Global Constraint Programming Interface. (line 6) * global exception handler: ref-ere-hex-hup. (line 6) * global stack: ref-mgc-ove. (line 24) * global stack, expansion: ref-mgc-ove. (line 48) * global/1 (cumulative/2 option): Combinatorial Constraints. (line 547) * global/1 (disjoint1/2 option): Combinatorial Constraints. (line 651) * global/1 (disjoint2/2 option): Combinatorial Constraints. (line 692) * global/1 (lex_chain/2 option): Combinatorial Constraints. (line 1157) * global_cardinality/[2,3] (clpfd): Combinatorial Constraints. (line 55) * global_stack (statistics key): ref-mgc-ove-sta. (line 104) * global_stack_free (statistics key): ref-mgc-ove-sta. (line 169) * global_stack_used (statistics key): ref-mgc-ove-sta. (line 167) * GLOBALSTKSIZE (system property): System Properties and Environment Variables. (line 146) * glue code (definition): Glossary. (line 343) * GNU Emacs: Emacs Interface. (line 7) * goal: ref-sem-pro. (line 6) * goal (definition): Glossary. (line 348) * goal, ancestor: Debug Format. (line 40) * goal, blocked: Debug Format. (line 72) * goal, blocked (definition): Glossary. (line 70) * goal, skeletal (definition): Glossary. (line 715) * goal, unblocked (definition): Glossary. (line 836) * goal/1 (debugger condition) <1>: Goal Tests. (line 17) * goal/1 (debugger condition): Breakpoint Tests. (line 12) * goal_expansion/5 (hook, ref page): mpg-ref-goal_expansion. (line 6) * goal_expansion/5 (Module, hook): ref-lod-exp. (line 38) * goal_private/1 (debugger condition) <1>: Storing User Information in the Backtrace. (line 6) * goal_private/1 (debugger condition): Goal Tests. (line 32) * goal_source_info/3 (built-in) <1>: Message Handling Predicates. (line 35) * goal_source_info/3 (built-in): ref-ere-err. (line 87) * goal_source_info/3 (built-in, ref page): mpg-ref-goal_source_info. (line 6) * goals, enumerating solutions <1>: ref-all-cba-cal. (line 6) * goals, enumerating solutions <2>: ref-all-cba. (line 10) * goals, enumerating solutions: ref-all-cse. (line 10) * grammar rules, control constructs in: ref-gru-dcg. (line 81) * grammar rules, predicates for <1>: mpg-top-gru. (line 6) * grammar rules, predicates for: ref-gru-sum. (line 6) * grammar rules, semantics of: ref-gru-tra. (line 6) * grammars, context-free: ref-gru-dcg. (line 38) * grammars, definite clause: ref-gru-dcg. (line 6) * green cut: ref-sem-ctr-cut. (line 57) * ground (definition): Glossary. (line 357) * ground/1 (built-in, ref page): mpg-ref-ground. (line 6) * ground/1 (when/2 condition): mpg-ref-when. (line 21) * group/[3,4,5] (lists): lib-lists. (line 672) * GROWTHFACTOR (system property): System Properties and Environment Variables. (line 166) * guarded clause: Conditionals and Disjunction. (line 95) * guarded clause (definition): Glossary. (line 361) * halt/[0,1] (built-in): ref-ere-int. (line 11) * halt/[0,1] (built-in, ref page): mpg-ref-halt. (line 6) * handling, error: Exceptions Debug. (line 6) * handling, exception: Exceptions Debug. (line 6) * handling, interrupt: Calling Prolog Asynchronously. (line 10) * handling, signal: Calling Prolog Asynchronously. (line 10) * head (definition): Glossary. (line 365) * head of a clause: ref-sem-pro. (line 24) * head/2 (lists): lib-lists. (line 371) * heap (statistics key): ref-mgc-ove-sta. (line 134) * help (debugger command): Debug Commands. (line 374) * help (top-level command): Queries. (line 76) * hidden module: ref-mod-def. (line 21) * hidden/1 (module/3 option) <1>: ref-mod-def. (line 21) * hidden/1 (module/3 option): mpg-ref-module. (line 33) * hide/0 (debugger condition): Condition Macros. (line 13) * hook (function annotation): cpg-rve. (line 22) * hook (predicate annotation): mpg-ref-cat. (line 17) * hook predicate: Multifile Declarations. (line 16) * hook predicate (definition) <1>: Glossary. (line 375) * hook predicate (definition): ref-sem-typ-hok. (line 6) * hook predicates: mpg-top-hok. (line 6) * hookable (predicate annotation): mpg-ref-cat. (line 11) * hookable predicate (definition): Glossary. (line 379) * host_type (prolog flag) <1>: ref-lps-flg. (line 180) * host_type (prolog flag): ref-fdi-fsp-pre. (line 13) * host_type (prolog flag, volatile): mpg-ref-file_search_path. (line 63) * I/O, C functions for: cpg-top-cio. (line 6) * id/1 (stream property): mpg-ref-stream_property. (line 31) * id3 (table/3 order/1 value): Combinatorial Constraints. (line 169) * idempotent/1 (fd_global/[3,4] option): The Global Constraint Programming Interface. (line 108) * identifier, breakpoint: Creating Breakpoints. (line 31) * if (Tcl command): Commands. (line 241) * if/1 (conditional directive): ref-lod-cnd. (line 6) * if/1 (load_files/2 option): mpg-ref-load_files. (line 32) * if/3 (built-in, ref page): mpg-ref-if. (line 6) * if/3, soft cut: ref-sem-ctr-ite. (line 48) * if_exists/1 (open/4 option): mpg-ref-open. (line 197) * if_nonempty/1 (delete_directory/2 option): lib-file_systems. (line 85) * ignore (delete_directory/2 if_nonempty option value): lib-file_systems. (line 87) * ignore_ops/1 (write_term/[2,3] option): mpg-ref-write_term. (line 43) * IID: Terminology. (line 18) * illarg/[3,4] (types): lib-types. (line 60) * import (definition): Glossary. (line 388) * importation <1>: ref-mod-bas. (line 19) * importation: ref-mod-lod. (line 35) * importation, predicates from another module: ref-mod-lod. (line 6) * imported_from (predicate property): mpg-ref-predicate_property. (line 51) * imported_from/1 (predicate property): ref-lps-app. (line 44) * importing dynamic predicates: ref-mod-idp. (line 6) * importing predicates into modules: ref-mod-lod. (line 6) * imports/1 (load_files/2 option): mpg-ref-load_files. (line 55) * in/1 (linda_client): lib-linda-client. (line 60) * in/2 (clpfd): Membership Constraints. (line 13) * in/2 (clpfd:dispatch_global/4 request): The Global Constraint Programming Interface. (line 54) * in/2 (linda_client): lib-linda-client. (line 71) * in_noblock/1 (linda_client): lib-linda-client. (line 65) * in_set/2 (clpfd): Membership Constraints. (line 18) * in_set/2 (clpfd:dispatch_global/4 request): The Global Constraint Programming Interface. (line 58) * IName: Terminology. (line 23) * include declaration: Include Declarations. (line 6) * include/1 (built-in, ref page): mpg-ref-include. (line 6) * include/1 (declaration): Include Declarations. (line 6) * include/[3,4,5] (lists): lib-lists. (line 629) * incr (Tcl command): Commands. (line 52) * increasing efficiency: Writing Efficient Programs. (line 6) * increasing/0 (lex_chain/2 option): Combinatorial Constraints. (line 1146) * increasing_prefix/[3,4] (lists): lib-lists. (line 778) * indented/1 (write_term/[2,3] option): mpg-ref-write_term. (line 62) * indexed term: The DB-Spec Informal Description. (line 15) * indexical: Indexicals. (line 6) * indexicals: FDBG Events. (line 27) * indexicals, checking: Indexicals. (line 10) * indexicals, propagating: Indexicals. (line 10) * indexing: Indexing. (line 6) * indexing (definition): Glossary. (line 398) * indexing of dynamic code: ref-mdb-dsp. (line 80) * indexing, determinacy detection via: Determinacy Detection. (line 6) * indomain/1 (clpfd): Enumeration Predicates. (line 14) * inf/[2,4] (clpqr): CLPQR Solver Predicates. (line 85) * infix operators <1>: ref-syn-cpt. (line 51) * infix operators: ref-syn-ops-ove. (line 25) * information, source <1>: ref-lps-flg. (line 316) * information, source: Usage. (line 18) * informational (prolog flag) <1>: Runtime Systems. (line 31) * informational (prolog flag) <2>: ref-lps-flg. (line 184) * informational (prolog flag): too-sicstus. (line 50) * inherit/1 (objects): obj-exp-inherit. (line 6) * init function: Conversion Declarations. (line 9) * init function (definition): Glossary. (line 404) * initialization: Initializations. (line 6) * initialization (definition): Glossary. (line 408) * initialization file: ref-fdi-fsp-ffs. (line 6) * initialization of saved-states: ref-sls-sst. (line 35) * initialization, C functions for: cpg-top-main. (line 6) * initialization/1 (built-in, ref page): mpg-ref-initialization. (line 6) * initialization/1 (declaration): Initializations. (line 6) * input: ref-iou. (line 19) * input and output of characters: ref-iou-cin. (line 14) * input and output of terms: ref-iou-bas. (line 14) * input and output, streams: ref-iou-bas. (line 10) * input stream, current: ref-iou-sfh-sob. (line 37) * input, current: ref-iou-str. (line 15) * input, term: ref-iou-tin. (line 11) * input/0 (stream property): mpg-ref-stream_property. (line 38) * instance of clause: ref-sem-sec. (line 12) * instance/2 (built-in): ref-mdb-acl. (line 6) * instance/2 (built-in, ref page): mpg-ref-instance. (line 6) * instance_method/1 (objects): obj-exp-instance_method. (line 6) * instantiation (definition): Glossary. (line 413) * instantiation errors: ref-ere-err-ins. (line 6) * instantiation_error/[0,2] (error class): ref-ere-err. (line 91) * integer, large (definition): Glossary. (line 432) * integer, small (definition): Glossary. (line 719) * integer/1 (built-in, ref page): mpg-ref-integer. (line 6) * integer/1, coercion (evaluable): ref-ari-aex. (line 69) * integer_rounding_function (prolog flag): ref-lps-flg. (line 190) * integers, range of: ref-ari-ove. (line 6) * integers, syntax of: ref-syn-trm-int. (line 6) * interactive stream (definition): Glossary. (line 383) * interactive/0 (stream property): mpg-ref-stream_property. (line 105) * interf_arg_type (argument type): mpg-ref-aty-ety. (line 49) * interface, Eclipse: SPIDER. (line 6) * interface, emacs: Emacs Interface. (line 7) * interface, foreign language <1>: Calling C from Prolog. (line 6) * interface, foreign language: Mixing C and Prolog. (line 6) * internal database: ref-mdb-idb. (line 6) * interoperability: Mixing C and Prolog. (line 6) * interpret (definition): Glossary. (line 417) * interpretation of clauses, declarative: ref-sem-sec. (line 6) * interpretation of clauses, procedural: ref-sem-sec. (line 6) * interpreted (predicate property): mpg-ref-predicate_property. (line 29) * interpreted/0 (predicate property): ref-lps-app. (line 16) * interrupt character: Keyboard Characters. (line 13) * interrupt handling: Calling Prolog Asynchronously. (line 10) * intersect/2 (sets): lib-sets. (line 44) * intersection/[2,3] (sets): lib-sets. (line 79) * inv/1 (debugger condition) <1>: Goal Tests. (line 10) * inv/1 (debugger condition) <2>: Past States. (line 19) * inv/1 (debugger condition): Breakpoint Tests. (line 121) * invocation box: Procedure Box. (line 103) * invocation box (definition): Glossary. (line 425) * invoking garbage collection directly: ref-mgc-gcd. (line 6) * is/2 (built-in): ref-ari-eae. (line 15) * is/2 (built-in, ref page): mpg-ref-is. (line 6) * is_assoc/1 (assoc): lib-assoc. (line 64) * is_avl/1 (avl): lib-avl. (line 23) * is_bag/1 (bags): lib-bags. (line 39) * is_fdset/1 (clpfd): FD Set Operations. (line 13) * is_list/1 (lists): lib-lists. (line 71) * is_ordset/1 (ordsets): lib-ordsets. (line 23) * is_process/1 (process): lib-process. (line 190) * is_queue/1 (queues): lib-queues. (line 44) * is_set/1 (sets): lib-sets. (line 33) * ISO (predicate annotation): mpg-ref-cat. (line 39) * iterator (definition): Glossary. (line 428) * jasper_call/4 (jasper): Jasper Library Predicates. (line 73) * jasper_create_global_ref/3 (jasper): Jasper Library Predicates. (line 153) * jasper_create_local_ref/3 (jasper): Jasper Library Predicates. (line 160) * jasper_deinitialize/1 (jasper): Jasper Library Predicates. (line 69) * jasper_delete_global_ref/2 (jasper): Jasper Library Predicates. (line 157) * jasper_delete_local_ref/2 (jasper): Jasper Library Predicates. (line 164) * jasper_initialize/[1,2] (jasper): Jasper Library Predicates. (line 8) * jasper_is_instance_of/3 (jasper): Jasper Library Predicates. (line 187) * jasper_is_jvm/1 (jasper): Jasper Library Predicates. (line 167) * jasper_is_object/[1,2] (jasper): Jasper Library Predicates. (line 171) * jasper_is_same_object/3 (jasper): Jasper Library Predicates. (line 180) * jasper_new_object/5 (jasper) <1>: Jasper Library Predicates. (line 115) * jasper_new_object/5 (jasper): Deprecated Jasper Predicates. (line 7) * jasper_null/2 (jasper): Jasper Library Predicates. (line 199) * jasper_object_class_name/3 (jasper): Jasper Library Predicates. (line 192) * Java Virtual Machine: Jasper Overview. (line 12) * jittable (predicate property): mpg-ref-predicate_property. (line 43) * jitted (predicate property): mpg-ref-predicate_property. (line 46) * JNDI: PB Features. (line 34) * join (Tcl command): Commands. (line 209) * jump to port (debugger command): Debug Commands. (line 176) * JVM: Jasper Overview. (line 12) * kernel, runtime (definition): Glossary. (line 684) * Key (Tk event type): Event Handling. (line 29) * keyboard: Keyboard Characters. (line 6) * keyclumped/2 (lists): lib-lists. (line 814) * keyclumps/2 (lists): lib-lists. (line 797) * keymerge/3 (samsort): lib-samsort. (line 38) * KeyPress (Tk event type): Event Handling. (line 30) * KeyRelease (Tk event type): Event Handling. (line 33) * keys, recorded: ref-mdb-idb. (line 42) * keys_and_values/3 (lists): lib-lists. (line 77) * keysort/2 (built-in): ref-lte-cte-sor. (line 6) * keysort/2 (built-in, ref page): mpg-ref-keysort. (line 6) * label (Tk widget): Types of Widget. (line 26) * labeling: FDBG Annotation. (line 17) * labeling event: FDBG Events. (line 13) * labeling levels: FDBG Labeling Levels. (line 6) * labeling/1 (clpb): CLPB Interface. (line 25) * labeling/2 (clpfd): Enumeration Predicates. (line 19) * large integer (definition): Glossary. (line 432) * last call optimization: Last Call Optimization. (line 6) * last clause determinacy detection: Last Clause Determinacy Detection. (line 6) * last/2 (lists): lib-lists. (line 95) * last/3 (lists): lib-lists. (line 365) * later_bound/2 (clpfd): Enumeration Predicates. (line 26) * layout term: mpg-ref-read_term. (line 69) * layout term (definition): Glossary. (line 435) * layout/1 (read_term/[2,3] option): mpg-ref-read_term. (line 69) * leap (debugger command): Debug Commands. (line 70) * leap (definition): Glossary. (line 450) * leash/0 (debugger condition): Condition Macros. (line 16) * leash/1 (built-in): Basic Debug. (line 44) * leash/1 (built-in, ref page): mpg-ref-leash. (line 6) * leashing (definition): Glossary. (line 456) * Leave (Tk event type): Event Handling. (line 46) * leftmost (labeling/2 option): Enumeration Predicates. (line 52) * leftmost (table/3 order/1 value): Combinatorial Constraints. (line 165) * legacy_char_classification (prolog flag) <1>: ref-lps-flg. (line 196) * legacy_char_classification (prolog flag) <2>: mpg-ref-read_term. (line 59) * legacy_char_classification (prolog flag) <3>: ref-syn-syn-tok. (line 14) * legacy_char_classification (prolog flag): ref-lod-lod. (line 62) * legend: FDBG Legend. (line 6) * legend_portray/3 (fdbg, hook): FDBG Customizing Output. (line 24) * length/2 (built-in): ref-lte-acl. (line 13) * length/2 (built-in, ref page): mpg-ref-length. (line 6) * length/3 (bags): lib-bags. (line 159) * length_bound/2 (terms): lib-terms. (line 233) * levels, labeling: FDBG Labeling Levels. (line 6) * lex/1 (geost/[2,3,4] option): Combinatorial Constraints. (line 808) * lex_chain/[1,2] (clpfd): Combinatorial Constraints. (line 1133) * library: The Prolog Library. (line 6) * library, searching for a file in: ref-fdi-fsp. (line 12) * library_directory/1 (hook, ref page): mpg-ref-library_directory. (line 6) * limit/1 (cumulative/2 option): Combinatorial Constraints. (line 533) * limits, arithmetic: ref-ari-ove. (line 6) * Linda: lib-linda. (line 6) * linda/[0,1] (linda): lib-linda-server. (line 17) * linda_client/1 (linda_client): lib-linda-client. (line 18) * linda_timeout/2 (linda_client): lib-linda-client. (line 50) * lindex (Tcl command): Commands. (line 165) * line breakpoint: Usage. (line 154) * line, end of: mpg-ref-at_end_of_line. (line 31) * line/0 (input method): Default Input Methods. (line 11) * line/1 (debugger condition) <1>: Source Tests. (line 20) * line/1 (debugger condition): Breakpoint Tests. (line 224) * line/2 (debugger condition) <1>: Source Tests. (line 16) * line/2 (debugger condition): Breakpoint Tests. (line 224) * line_count/2 (built-in) <1>: ref-iou-sfh-opn. (line 77) * line_count/2 (built-in): ref-iou-sos. (line 22) * line_count/2 (built-in, ref page): mpg-ref-line_count. (line 6) * line_position/2 (built-in) <1>: ref-iou-sfh-opn. (line 77) * line_position/2 (built-in): ref-iou-sos. (line 27) * line_position/2 (built-in, ref page): mpg-ref-line_position. (line 6) * linked foreign resource <1>: Foreign Resources. (line 6) * linked foreign resource: Creating the Linked Foreign Resource. (line 6) * linked foreign resource (definition): Glossary. (line 461) * linker, foreign resource: The Foreign Resource Linker. (line 6) * linsert (Tcl command): Commands. (line 170) * list (definition): Glossary. (line 465) * list (Tcl command): Commands. (line 175) * list of Type (argument type): mpg-ref-aty-ety. (line 15) * list of variables: FDBG Legend. (line 6) * list processing, predicates for <1>: mpg-top-lis. (line 6) * list processing, predicates for: ref-lte-sum. (line 146) * list separator, '|': ref-syn-cpt-lis. (line 29) * list, association <1>: lib-avl. (line 6) * list, association: lib-assoc. (line 6) * list_queue/2 (queues): lib-queues. (line 95) * list_to_assoc/2 (assoc): lib-assoc. (line 73) * list_to_avl/2 (avl): lib-avl. (line 130) * list_to_bag/2 (bags): lib-bags. (line 97) * list_to_fdset/2 (clpfd): FD Set Operations. (line 51) * list_to_ord_set/2 (ordsets): lib-ordsets. (line 30) * list_to_set/2 (sets): lib-sets. (line 70) * list_to_tree/2 (trees): lib-trees. (line 21) * listbox (Tk widget): Types of Widget. (line 29) * listing/[0,1] (built-in) <1>: Syntax Errors. (line 28) * listing/[0,1] (built-in): ref-mod-idp. (line 21) * listing/[0,1] (built-in, ref page): mpg-ref-listing. (line 6) * lists, predicates for processing: ref-lte-acl. (line 6) * lists, syntax of: ref-syn-cpt-lis. (line 6) * llength (Tcl command): Commands. (line 179) * load (--main option value): too-spld. (line 99) * load (definition): Glossary. (line 485) * load context: ref-lps-lco. (line 6) * load_files/[1,2] (built-in): ref-sls-ssl. (line 6) * load_files/[1,2] (built-in, ref page): mpg-ref-load_files. (line 6) * load_foreign_resource/1 (built-in): Interface Predicates. (line 7) * load_foreign_resource/1 (built-in, ref page): mpg-ref-load_foreign_resource. (line 6) * load_type/1 (load_files/2 option): mpg-ref-load_files. (line 49) * loading database: ref-sls-ove. (line 6) * loading module-files: ref-mod-lod. (line 35) * loading modules: ref-mod-lod. (line 6) * loading PO files: ref-sls-ssl. (line 6) * loading programs: ref-sem-con. (line 80) * loading programs, predicates for <1>: mpg-top-lod. (line 6) * loading programs, predicates for: ref-lod-lis. (line 8) * local cut <1>: mpg-ref-or. (line 53) * local cut: ref-sem-ctr-ite. (line 39) * local stack: ref-mgc-ove. (line 15) * local_stack (statistics key): ref-mgc-ove-sta. (line 110) * local_stack_free (statistics key): ref-mgc-ove-sta. (line 173) * local_stack_used (statistics key): ref-mgc-ove-sta. (line 171) * LOCALSTKSIZE (system property): System Properties and Environment Variables. (line 151) * locks, mutual exclusion: OS Threads. (line 11) * log/1, logarithm (evaluable): ref-ari-aex. (line 208) * log/2, logarithm (evaluable): ref-ari-aex. (line 211) * logic programming: Intro. (line 12) * logical loop: ref-sem-ctr-dol. (line 6) * login_timeout/1 (odbc_db_open/4 option): ODBC Predicates. (line 27) * longest_hole/2 (geost/[2,3,4] option): Combinatorial Constraints. (line 824) * loop, logical: ref-sem-ctr-dol. (line 6) * lrange (Tcl command): Commands. (line 183) * lreplace (Tcl command): Commands. (line 188) * lsearch (Tcl command): Commands. (line 193) * lsort (Tcl command): Commands. (line 199) * macro (function annotation): cpg-rve. (line 26) * macro expansion: mpg-ref-goal_expansion. (line 42) * main thread: Calling Prolog Asynchronously. (line 10) * make_directory/1 (file_systems): lib-file_systems. (line 108) * make_sub_bag/2 (bags): lib-bags. (line 164) * map_assoc/2 (assoc): lib-assoc. (line 86) * map_assoc/3 (assoc): lib-assoc. (line 93) * map_list_queue/3 (queues): lib-queues. (line 133) * map_product/5 (lists): lib-lists. (line 494) * map_queue/[2,3] (queues): lib-queues. (line 121) * map_queue_list/3 (queues): lib-queues. (line 128) * map_tree/3 (trees): lib-trees. (line 25) * mapbag/2 (bags): lib-bags. (line 56) * mapbag/3 (bags): lib-bags. (line 62) * maplist/[2,3,4] (lists): lib-lists. (line 458) * margin/3 (disjoint1/2 option): Combinatorial Constraints. (line 662) * margin/4 (disjoint2/2 option): Combinatorial Constraints. (line 714) * mark-paragraph (emacs command): Usage. (line 103) * max (all_different/2 on/1 value): Combinatorial Constraints. (line 445) * max (all_distinct/2 on/1 value): Combinatorial Constraints. (line 445) * max (labeling/2 option): Enumeration Predicates. (line 59) * max/1 (case/4 on/1 value): Combinatorial Constraints. (line 260) * max/1 (fd_global/[3,4] option): The Global Constraint Programming Interface. (line 88) * max/2, maximum value (evaluable): ref-ari-aex. (line 128) * max_arity (prolog flag): ref-lps-flg. (line 209) * max_assoc/3 (assoc): lib-assoc. (line 104) * max_depth/1 (write_term/[2,3] option): mpg-ref-write_term. (line 66) * max_integer (prolog flag): ref-lps-flg. (line 213) * max_inv/1 (debugger condition) <1>: Accessing Past Debugger States. (line 84) * max_inv/1 (debugger condition): Break Tests. (line 14) * max_member/[2,3] (lists): lib-lists. (line 704) * max_path/5 (ugraphs): lib-ugraphs. (line 111) * max_path/5 (wgraphs): lib-wgraphs. (line 108) * max_tagged_integer (prolog flag) <1>: ref-lps-flg. (line 218) * max_tagged_integer (prolog flag): Glossary. (line 722) * maximize/1 (clpqr): CLPQR Solver Predicates. (line 116) * maximize/1 (labeling/2 option): Enumeration Predicates. (line 142) * maximize/2 (clpfd): Enumeration Predicates. (line 31) * maximum/2 (clpfd): Arithmetic Constraints. (line 73) * maybe/[0,1,2] (random): lib-random. (line 28) * member/2 (built-in): ref-lte-acl. (line 22) * member/2 (built-in, ref page): mpg-ref-member. (line 6) * member/3 (bags): lib-bags. (line 117) * memberchk/2 (built-in): ref-lte-acl. (line 19) * memberchk/2 (built-in, ref page): mpg-ref-memberchk. (line 6) * memberchk/3 (bags): lib-bags. (line 122) * memory (statistics key): ref-mgc-ove-sta. (line 125) * Memory management, C functions for: cpg-top-mem. (line 6) * memory statistics: ref-mgc-ove-sta. (line 6) * memory, general description: ref-mgc. (line 17) * memory, predicates for <1>: ref-mgc-sum. (line 6) * memory, predicates for: mpg-top-mem. (line 6) * memory, reclamation: mpg-ref-abolish. (line 60) * memory_buckets (statistics key): ref-mgc-ove-sta. (line 225) * memory_culprit (statistics key): ref-mgc-ove-sta. (line 223) * memory_free (statistics key): ref-mgc-ove-sta. (line 165) * memory_used (statistics key): ref-mgc-ove-sta. (line 163) * menu (Tk widget): Types of Widget. (line 32) * menubutton (Tk widget): Types of Widget. (line 35) * merge/[3,4] (samsort): lib-samsort. (line 14) * message (Tk widget): Types of Widget. (line 38) * message/4 (objects): obj-exp-message. (line 6) * message_hook/3 (hook, ref page): mpg-ref-message_hook. (line 6) * message_hook/3 (user, hook): Message Handling Predicates. (line 25) * messages and queries, predicates for <1>: mpg-top-msg. (line 6) * messages and queries, predicates for: Message Summary. (line 6) * messages, debugging: Debug Format. (line 6) * meta-call: ref-sem-cal. (line 6) * meta-call (definition): Glossary. (line 489) * meta-logical (definition): ref-lte-met. (line 11) * meta-logical predicate (definition): Glossary. (line 493) * meta-logical predicates: ref-lte-met. (line 11) * meta-predicate (definition): Glossary. (line 499) * meta-predicate declaration: Meta-Predicate Declarations. (line 6) * meta-predicates (definition): mpg-ref-cat. (line 49) * meta_predicate (predicate property): mpg-ref-predicate_property. (line 55) * meta_predicate declaration: ref-mod-met. (line 6) * meta_predicate/1 (built-in, ref page): mpg-ref-meta_predicate. (line 6) * meta_predicate/1 (declaration) <1>: Meta-Predicate Declarations. (line 6) * meta_predicate/1 (declaration): ref-mod-met. (line 6) * meta_predicate/1 (predicate property): ref-lps-app. (line 35) * method/1 (table/3 option): Combinatorial Constraints. (line 175) * method/3 (Java method identifier): Jasper Library Predicates. (line 80) * min (all_different/2 on/1 value): Combinatorial Constraints. (line 442) * min (all_distinct/2 on/1 value): Combinatorial Constraints. (line 442) * min (labeling/2 option): Enumeration Predicates. (line 55) * min/1 (case/4 on/1 value): Combinatorial Constraints. (line 256) * min/1 (fd_global/[3,4] option): The Global Constraint Programming Interface. (line 85) * min/2, minimum value (evaluable): ref-ari-aex. (line 125) * min_assoc/3 (assoc): lib-assoc. (line 110) * min_integer (prolog flag): ref-lps-flg. (line 222) * min_member/[2,3] (lists): lib-lists. (line 714) * min_path/5 (ugraphs): lib-ugraphs. (line 116) * min_path/5 (wgraphs): lib-wgraphs. (line 113) * min_paths/3 (ugraphs): lib-ugraphs. (line 120) * min_paths/3 (wgraphs): lib-wgraphs. (line 118) * min_tagged_integer (prolog flag) <1>: Glossary. (line 722) * min_tagged_integer (prolog flag): ref-lps-flg. (line 227) * min_tree/3 (ugraphs): lib-ugraphs. (line 147) * min_tree/3 (wgraphs): lib-wgraphs. (line 148) * minimize/1 (clpqr): CLPQR Solver Predicates. (line 111) * minimize/1 (labeling/2 option): Enumeration Predicates. (line 142) * minimize/2 (clpfd): Enumeration Predicates. (line 31) * minimum/2 (clpfd): Arithmetic Constraints. (line 67) * minmax (all_different/2 on/1 value): Combinatorial Constraints. (line 448) * minmax (all_distinct/2 on/1 value): Combinatorial Constraints. (line 448) * minmax (global_cardinality/3 on/1 value): Combinatorial Constraints. (line 91) * minmax/1 (case/4 on/1 value): Combinatorial Constraints. (line 264) * minmax/1 (fd_global/[3,4] option): The Global Constraint Programming Interface. (line 91) * mixing C/C++ and Prolog: Mixing C and Prolog. (line 6) * mod/2, integer modulus (evaluable): ref-ari-aex. (line 64) * mode annotations: mpg-ref-mod. (line 6) * mode declaration: Mode Declarations. (line 6) * mode declarations: ref-mod-met. (line 101) * mode spec: Mode Spec. (line 6) * mode/1 (built-in, ref page): mpg-ref-mode. (line 6) * mode/1 (debugger condition) <1>: Breakpoint Actions. (line 12) * mode/1 (debugger condition) <2>: Action Conditions. (line 10) * mode/1 (debugger condition): Port Tests. (line 42) * mode/1 (declaration): Mode Declarations. (line 6) * mode/1 (stream property): mpg-ref-stream_property. (line 28) * modification, database: ref-mdb. (line 19) * modularity, procedural: ref-mod-ove. (line 25) * module (definition) <1>: ref-mod-ove. (line 6) * module (definition): Glossary. (line 505) * module (load context key): ref-lps-lco. (line 25) * module declaration <1>: ref-mod-lod. (line 35) * module declaration: Module Declarations. (line 6) * module name expansion <1>: Meta-Predicate Declarations. (line 16) * module name expansion <2>: ref-mod-mne. (line 6) * module name expansion: Mode Spec. (line 11) * module name expansion (definition): Glossary. (line 510) * module name expansion, exceptions: mpg-ref-cat. (line 61) * module prefixes on clauses: ref-mod-mpc. (line 10) * module, declaration: ref-mod-def. (line 6) * module, hidden: ref-mod-def. (line 21) * module, source: ref-mod-som. (line 6) * module, source (definition): Glossary. (line 729) * module, type-in <1>: ref-lps-flg. (line 363) * module, type-in: ref-mod-som. (line 6) * module, type-in (definition): Glossary. (line 833) * module-file (definition): Glossary. (line 514) * module-files: ref-mod-def. (line 6) * module-files, converting into: ref-mod-n2m. (line 6) * module-files, loading: ref-mod-lod. (line 35) * module/1 (debugger condition): Goal Tests. (line 28) * module/[2,3] (built-in, ref page): mpg-ref-module. (line 6) * module/[2,3] (declaration) <1>: ref-mod-lod. (line 35) * module/[2,3] (declaration): Module Declarations. (line 6) * modules, currently loaded <1>: ref-mod-ilm. (line 11) * modules, currently loaded: ref-mod-mpc-cmo. (line 6) * modules, debugging: ref-mod-cim. (line 6) * modules, defining: ref-mod-def. (line 6) * modules, dynamic creation of: ref-mod-dmo. (line 6) * modules, exporting predicates from: ref-mod-def. (line 6) * modules, importing predicates into: ref-mod-lod. (line 6) * modules, loading: ref-mod-lod. (line 6) * modules, name clashes: ref-mod-ncl. (line 6) * modules, predicates defined in: ref-mod-ilm-def. (line 6) * modules, predicates exported from: ref-mod-ilm-def. (line 13) * modules, predicates for <1>: ref-mod-sum. (line 6) * modules, predicates for: mpg-top-mod. (line 6) * modules, predicates imported into: ref-mod-ilm-vis. (line 6) * modules, source: ref-mod-mne. (line 6) * modules, visibility rules: ref-mod-vis. (line 6) * monitoring garbage collection: ref-mgc-mgc. (line 6) * most general unifier: ref-sem-sec. (line 98) * Motion (Tk event type): Event Handling. (line 49) * msb/1, most significant bit (evaluable): ref-ari-aex. (line 131) * multifile (predicate property): mpg-ref-predicate_property. (line 37) * multifile declaration: Multifile Declarations. (line 6) * multifile predicate (definition): Glossary. (line 522) * multifile/0 (predicate property): ref-lps-app. (line 29) * multifile/1 (built-in, ref page): mpg-ref-multifile. (line 6) * multifile/1 (declaration): Multifile Declarations. (line 6) * multiset: lib-bags. (line 6) * must_be/4 (types): lib-types. (line 46) * mutable: Terminology. (line 70) * mutable term: ref-lte-mut. (line 21) * mutable term (definition): Glossary. (line 527) * mutable/1 (built-in): ref-lte-mut. (line 44) * mutable/1 (built-in, ref page): mpg-ref-mutable. (line 6) * mutex: OS Threads. (line 11) * mutual exclusion locks: OS Threads. (line 11) * mzn_load_file/[2,3] (zinc): MiniZinc Exported Predicates. (line 229) * mzn_run_file/[1,2] (zinc): MiniZinc Exported Predicates. (line 87) * mzn_run_model/[1,2] (zinc): MiniZinc Exported Predicates. (line 115) * mzn_to_fzn/[2,3] (zinc): MiniZinc Exported Predicates. (line 279) * name auto-generation: FDBG Name Auto-Generation. (line 6) * name clash: ref-mod-ncl. (line 6) * name clash (definition): Glossary. (line 532) * name expansion, module: ref-mod-mne. (line 6) * name variable (debugger command): FDBG Debugger Commands. (line 30) * name, of a functor: ref-syn-cpt. (line 11) * name/1 (tk_new/2 option): Basic Functions. (line 40) * name/2 (built-in): ref-lte-c2t. (line 6) * name/2 (built-in, ref page): mpg-ref-name. (line 6) * names of terms <1>: FDBG Names of Terms. (line 6) * names of terms: FDBG Naming Terms. (line 6) * neighbors/3 (ugraphs): lib-ugraphs. (line 76) * neighbors/3 (wgraphs): lib-wgraphs. (line 33) * neighbours/3 (ugraphs): lib-ugraphs. (line 76) * neighbours/3 (wgraphs): lib-wgraphs. (line 33) * nested execution: Nested. (line 6) * network path: ref-fdi-syn. (line 72) * new/[2,3] (structs): str-cdf. (line 6) * newProlog on Jasper: Java Threads. (line 19) * newProlog on SICStus: Java Threads. (line 31) * nextSolution on SPQuery: Jasper Package Class Reference. (line 138) * nextto/3 (lists): lib-lists. (line 101) * nl/[0,1] (built-in): ref-iou-cou-nln. (line 6) * nl/[0,1] (built-in, ref page): mpg-ref-nl. (line 6) * noaux (table/3 method/1 value): Combinatorial Constraints. (line 179) * nodebug (debugger command): Debug Commands. (line 256) * nodebug/0 (built-in): Basic Debug. (line 92) * nodebug/0 (built-in, ref page): mpg-ref-nodebug. (line 6) * nodebug_message/0 (objects): obj-exp-nodebug_message. (line 6) * nodes/1 (table/3 option): Combinatorial Constraints. (line 159) * non-backtraced tests: Breakpoint Conditions. (line 13) * nondet/0 (plunit option): PlUnit A Unit Test Box. (line 53) * nondeterminacy, declaring: Declaring Nondeterminacy. (line 6) * nondeterminacy, finding: The Determinacy Checker. (line 6) * none (--main option value): too-spld. (line 110) * none (absolute_file_name/3 access): mpg-ref-absolute_file_name. (line 159) * none/1 (case/4 on/1 value): Combinatorial Constraints. (line 273) * nonmember/2 (built-in): ref-lte-acl. (line 25) * nonmember/2 (built-in, ref page): mpg-ref-nonmember. (line 6) * nonvar/1 (built-in, ref page): mpg-ref-nonvar. (line 6) * nonvar/1 (when/2 condition): mpg-ref-when. (line 18) * nospy this (debugger command): Debug Commands. (line 275) * nospy/1 (built-in): Plain Spypoint. (line 40) * nospy/1 (built-in, ref page): mpg-ref-nospy. (line 6) * nospyall/0 (built-in): Plain Spypoint. (line 45) * nospyall/0 (built-in, ref page): mpg-ref-nospyall. (line 6) * notation <1>: ref-syn-syn-not. (line 6) * notation: Notation. (line 6) * notrace/0 (built-in): Basic Debug. (line 92) * notrace/0 (built-in, ref page): mpg-ref-notrace. (line 6) * now/1 (system): lib-system. (line 12) * nozip/0 (built-in): Basic Debug. (line 92) * nozip/0 (built-in, ref page): mpg-ref-nozip. (line 6) * nth0/[3,4] (lists): lib-lists. (line 108) * nth1/[3,4] (lists): lib-lists. (line 114) * null streams: ref-iou-sfh-opn. (line 77) * null_foreign_term/2 (structs): str-nul. (line 6) * number/1 (built-in, ref page): mpg-ref-number. (line 6) * number_chars/2 (built-in): ref-lte-c2t. (line 22) * number_chars/2 (built-in, ref page): mpg-ref-number_chars. (line 6) * number_codes/2 (built-in): ref-lte-c2t. (line 16) * number_codes/2 (built-in, ref page): mpg-ref-number_codes. (line 6) * numbers, comparison of: ref-ari-acm. (line 6) * numbervars: lib-varnumbers. (line 6) * numbervars/1 (varnumbers): lib-varnumbers. (line 39) * numbervars/1 (write_term/[2,3] option): mpg-ref-write_term. (line 52) * numbervars/3 (built-in): ref-lte-anv. (line 6) * numbervars/3 (built-in, ref page): mpg-ref-numbervars. (line 6) * numlist/[2,3,5] (between): lib-between. (line 34) * nvalue/2 (clpfd): Combinatorial Constraints. (line 455) * Object: Terminology. (line 29) * object (absolute_file_name/3 file type): mpg-ref-absolute_file_name. (line 67) * object, stream: ref-iou-sfh-sob. (line 6) * object, stream position: ref-iou-raf. (line 20) * objects (library package): lib-objects. (line 16) * occurrences_of_term/3 (terms): lib-terms. (line 192) * occurrences_of_var/3 (terms): lib-terms. (line 212) * occurs-check: ref-sem-occ. (line 6) * occurs-check (definition): Glossary. (line 536) * odbc_db_open/3 (odbc): ODBC Predicates. (line 11) * odbc_db_open/4 (odbc): ODBC Predicates. (line 16) * odbc_db_open/5 (odbc): ODBC Predicates. (line 38) * odbc_env_open/1 (odbc): ODBC Predicates. (line 7) * odbc_list_DSN/2 (odbc): ODBC Predicates. (line 46) * off (debug flag value): ref-lps-flg. (line 80) * off (debugging flag value) <1>: ref-lps-flg. (line 73) * off (debugging flag value): mpg-ref-debugging. (line 38) * off (gc_trace flag value): ref-lps-flg. (line 177) * off (profiling flag value): ref-lps-flg. (line 91) * off (redefine_warnings flag value): ref-lps-flg. (line 296) * off/0 (debugger mode control): Action Variables. (line 143) * on (debug flag value): ref-lps-flg. (line 83) * on (profiling flag value): ref-lps-flg. (line 94) * on (redefine_warnings flag value): ref-lps-flg. (line 292) * on/1 (all_different/2 option): Combinatorial Constraints. (line 435) * on/1 (all_distinct/2 option): Combinatorial Constraints. (line 435) * on/1 (assignment/3 option): Combinatorial Constraints. (line 476) * on/1 (case/4 option): Combinatorial Constraints. (line 240) * on/1 (global_cardinality/3 option): Combinatorial Constraints. (line 85) * on_exception/3 (built-in): ref-ere-hex-pgo. (line 6) * on_exception/3 (built-in, ref page): mpg-ref-on_exception. (line 6) * once/1: ref-sem-ctr-ite. (line 39) * once/1 (built-in, ref page): mpg-ref-once. (line 6) * one of List (argument type): mpg-ref-aty-ety. (line 17) * one-char atom (definition): Glossary. (line 540) * one_longer/2 (lists): lib-lists. (line 140) * op/1 (lex_chain/2 option): Combinatorial Constraints. (line 1140) * op/3 (built-in): ref-syn-ops-ops. (line 6) * op/3 (built-in, ref page): mpg-ref-op. (line 6) * open (Tcl command): Commands. (line 579) * open/[3,4] (built-in) <1>: ref-iou-sfh-opn. (line 6) * open/[3,4] (built-in): ref-iou-sfh-sob. (line 37) * open/[3,4] (built-in, ref page): mpg-ref-open. (line 6) * open_codes_stream/2 (codesio): lib-codesio. (line 43) * open_null_stream/1 (built-in): ref-iou-sfh-opn. (line 75) * open_null_stream/1 (built-in, ref page): mpg-ref-open_null_stream. (line 6) * opening a file: ref-iou-sfh-opn. (line 6) * openQuery on SICStus: Jasper Package Class Reference. (line 123) * operator (definition): Glossary. (line 543) * operator declaration: ref-lod-dcl. (line 18) * operators: mpg-ref-op. (line 43) * operators, associativity of: ref-syn-ops-ove. (line 38) * operators, built-in <1>: ref-syn-ops-bop. (line 6) * operators, built-in: ref-syn-ops-ove. (line 80) * operators, built-in predicates for handling: ref-syn-ops-ops. (line 6) * operators, current: ref-syn-ops-ops. (line 14) * operators, declaring: ref-syn-ops-ops. (line 6) * operators, infix <1>: ref-syn-ops-ove. (line 25) * operators, infix: ref-syn-cpt. (line 53) * operators, list of: ref-syn-ops-bop. (line 6) * operators, postfix <1>: ref-syn-ops-ove. (line 25) * operators, postfix: ref-syn-cpt. (line 53) * operators, precedence of: ref-syn-ops-ove. (line 25) * operators, prefix <1>: ref-syn-ops-ove. (line 25) * operators, prefix: ref-syn-cpt. (line 53) * operators, reference page convention: mpg-ref-cat. (line 76) * operators, syntax restrictions on: ref-syn-ops-res. (line 6) * operators, type of: ref-syn-ops-ove. (line 38) * optimization, last call: Last Call Optimization. (line 6) * optimize (CHR flag): CHR Debugging Predicates. (line 42) * optimize (CHR option): CHR Semantics. (line 94) * or: ref-sem-ctr-dis. (line 6) * ord_add_element/3 (ordsets): lib-ordsets. (line 36) * ord_del_element/3 (ordsets): lib-ordsets. (line 39) * ord_disjoint/2 (ordsets): lib-ordsets. (line 43) * ord_disjoint_union/3 (ordsets): lib-ordsets. (line 102) * ord_intersect/2 (ordsets): lib-ordsets. (line 46) * ord_intersection/[2,3,4] (ordsets): lib-ordsets. (line 50) * ord_list_to_assoc/2 (assoc): lib-assoc. (line 81) * ord_list_to_avl/2 (avl): lib-avl. (line 124) * ord_member/2 (ordsets): lib-ordsets. (line 63) * ord_nonmember/2 (ordsets): lib-ordsets. (line 66) * ord_seteq/2 (ordsets): lib-ordsets. (line 69) * ord_setproduct/3 (ordsets): lib-ordsets. (line 73) * ord_subset/2 (ordsets): lib-ordsets. (line 90) * ord_subtract/3 (ordsets): lib-ordsets. (line 94) * ord_symdiff/3 (ordsets): lib-ordsets. (line 98) * ord_union/[2,3,4] (ordsets): lib-ordsets. (line 110) * order on terms, standard: ref-lte-cte-sot. (line 6) * order/1 (table/3 option): Combinatorial Constraints. (line 162) * ordered/[1,2] (lists): lib-lists. (line 690) * ordering/1 (clpqr) <1>: CLPQR Solver Predicates. (line 175) * ordering/1 (clpqr): CLPQR Variable Ordering. (line 6) * ordset_order/3 (ordsets): lib-ordsets. (line 127) * os_data (prolog flag): ref-lps-flg. (line 231) * otherwise/0 (built-in, ref page): mpg-ref-otherwise. (line 6) * out (debugger command): Debug Commands. (line 97) * out/1 (linda_client): lib-linda-client. (line 57) * output: ref-iou. (line 19) * output stream, current: ref-iou-sfh-sob. (line 37) * output, current: ref-iou-str. (line 15) * output, flushing: ref-iou-sfh-flu. (line 6) * output, term: ref-iou-tou. (line 15) * output/0 (stream property): mpg-ref-stream_property. (line 42) * overflow (FD flag): The Global Constraint Programming Interface. (line 131) * overlap/1 (geost/[2,3,4] option): Combinatorial Constraints. (line 896) * pair (argument type): mpg-ref-aty-ety. (line 32) * pair (definition): Glossary. (line 573) * pairfrom/4 (sets): lib-sets. (line 37) * pallet_loading/1 (geost/[2,3,4] option): Combinatorial Constraints. (line 884) * param/1 (iterator) <1>: mpg-ref-do. (line 53) * param/1 (iterator): ref-sem-ctr-dol. (line 187) * parameter, accumulating: Accumulating Parameters. (line 6) * parconflict/1 (geost/[2,3,4] option): Combinatorial Constraints. (line 836) * parent (definition): Glossary. (line 577) * parent_clause/1 (debugger condition) <1>: Breakpoint Tests. (line 263) * parent_clause/1 (debugger condition): Source Tests. (line 23) * parent_clause/2 (debugger condition) <1>: Breakpoint Tests. (line 263) * parent_clause/2 (debugger condition): Source Tests. (line 26) * parent_clause/3 (debugger condition) <1>: Breakpoint Tests. (line 263) * parent_clause/3 (debugger condition): Source Tests. (line 30) * parent_inv/1 (debugger condition) <1>: Accessing Past Debugger States. (line 126) * parent_inv/1 (debugger condition): Goal Tests. (line 43) * parent_pred/1 (debugger condition) <1>: Breakpoint Tests. (line 236) * parent_pred/1 (debugger condition): Source Tests. (line 36) * parent_pred/2 (debugger condition) <1>: Breakpoint Tests. (line 236) * parent_pred/2 (debugger condition): Source Tests. (line 39) * parsing phrases: mpg-ref-phrase. (line 41) * partition/5 (lists): lib-lists. (line 666) * passive/1 (CHR pragma): CHR Semantics. (line 69) * password/1 (odbc_db_open/4 option): ODBC Predicates. (line 23) * path root: ref-fdi-syn. (line 63) * path, absolute: ref-fdi-syn. (line 81) * path, network: ref-fdi-syn. (line 72) * path, UNC: ref-fdi-syn. (line 72) * path/3 (ugraphs): lib-ugraphs. (line 125) * path/3 (wgraphs): lib-wgraphs. (line 123) * peek_byte/[1,2] (built-in): ref-iou-cin-pee. (line 9) * peek_byte/[1,2] (built-in, ref page): mpg-ref-peek_byte. (line 6) * peek_char/[1,2] (built-in): ref-iou-cin-pee. (line 16) * peek_char/[1,2] (built-in, ref page): mpg-ref-peek_char. (line 6) * peek_code/[1,2] (built-in): ref-iou-cin-pee. (line 12) * peek_code/[1,2] (built-in, ref page): mpg-ref-peek_code. (line 6) * perm/2 (lists): lib-lists. (line 147) * perm2/4 (lists): lib-lists. (line 161) * permission errors: ref-ere-err-per. (line 6) * permission_error/[3,5] (error class): ref-ere-err. (line 112) * permutation/2 (lists): lib-lists. (line 153) * phrase/[2,3] (built-in): ref-gru-exa. (line 29) * phrase/[2,3] (built-in, ref page): mpg-ref-phrase. (line 6) * placement of cut: Placement of Cuts. (line 6) * plain spypoint <1>: Creating Breakpoints. (line 16) * plain spypoint: Plain Spypoint. (line 6) * platform_data (prolog flag): ref-lps-flg. (line 252) * pltrace-break (emacs command): Usage. (line 152) * PO file (definition): Glossary. (line 634) * PO files: ref-sls-ove. (line 6) * PO files, loading: ref-sls-ssl. (line 6) * PO files, saving: ref-sls-ssl. (line 6) * pointer_object/2 (objects): obj-exp-pointer_object. (line 6) * polymorphism/1 (geost/[2,3,4] option): Combinatorial Constraints. (line 877) * port (definition): Glossary. (line 582) * port debugger: Procedure Box. (line 35) * port, debugger: Port Tests. (line 11) * port/1 (debugger condition) <1>: Breakpoint Tests. (line 301) * port/1 (debugger condition): Port Tests. (line 23) * port/1 (start/1 option): PB Prolog Server Interface. (line 19) * portable (quoted_charset flag value): ref-lps-flg. (line 117) * portray/1 (hook, ref page): mpg-ref-portray. (line 6) * portray/1 (user, hook) <1>: CLPQR Fragments and Bits. (line 10) * portray/1 (user, hook): ref-iou-tou-por. (line 6) * portray_assoc/1 (assoc): lib-assoc. (line 116) * portray_avl/1 (avl): lib-avl. (line 65) * portray_bag/1 (bags): lib-bags. (line 43) * portray_clause/[1,2] (built-in): ref-iou-tou-pcl. (line 6) * portray_clause/[1,2] (built-in, ref page): mpg-ref-portray_clause. (line 6) * portray_message/2 (hook, ref page): mpg-ref-portray_message. (line 6) * portray_message/2 (user, hook): Message Handling Predicates. (line 12) * portray_queue/1 (queues): lib-queues. (line 37) * portrayed/1 (write_term/[2,3] option): mpg-ref-write_term. (line 48) * position in a stream: ref-iou-raf. (line 6) * position, stream: ref-iou-sos. (line 10) * position, stream (definition): Glossary. (line 780) * position/1 (stream property): mpg-ref-stream_property. (line 49) * postfix operators <1>: ref-syn-ops-ove. (line 25) * postfix operators: ref-syn-cpt. (line 53) * posting constraints: Posting Constraints. (line 6) * power_set/2 (sets): lib-sets. (line 75) * pre-linked foreign resource (definition): Glossary. (line 586) * pre-linked resource: Foreign Resources. (line 42) * precedence (definition): Glossary. (line 590) * precedence, of operators: ref-syn-ops-ove. (line 25) * precedences/1 (cumulative/2 option): Combinatorial Constraints. (line 536) * pred/1 (debugger condition) <1>: Goal Tests. (line 23) * pred/1 (debugger condition): Creating Breakpoints. (line 16) * pred_spec (argument type): mpg-ref-aty-ety. (line 36) * pred_spec_forest (argument type): mpg-ref-aty-ety. (line 38) * pred_spec_tree (argument type): mpg-ref-aty-ety. (line 42) * predicate: ref-sem-pro. (line 6) * predicate (definition): Glossary. (line 600) * predicate declaration: ref-lod-dcl. (line 6) * predicate spec (definition): Glossary. (line 608) * predicate spec, generalized (definition): Glossary. (line 322) * predicate, built-in (definition): Glossary. (line 99) * predicate, dynamic (definition): Glossary. (line 258) * predicate, extendible (definition): Glossary. (line 371) * predicate, FD <1>: FD Predicates. (line 6) * predicate, FD: User-Defined Constraints. (line 17) * predicate, foreign (definition): Glossary. (line 300) * predicate, hook: Multifile Declarations. (line 16) * predicate, hook (definition): Glossary. (line 375) * predicate, hookable (definition): Glossary. (line 379) * predicate, meta-logical (definition): Glossary. (line 493) * predicate, multifile (definition): Glossary. (line 522) * predicate, public: ref-mod-def. (line 6) * predicate, static (definition): Glossary. (line 757) * predicate, steadfast (definition): Glossary. (line 761) * predicate, undefined <1>: Undefined Predicates. (line 6) * predicate, undefined <2>: mpg-ref-unknown_predicate_handler. (line 15) * predicate, undefined: ref-lps-flg. (line 366) * predicate_property/2 (built-in) <1>: ref-lps-app. (line 6) * predicate_property/2 (built-in): ref-mod-ilm-vis. (line 10) * predicate_property/2 (built-in, ref page): mpg-ref-predicate_property. (line 6) * predicates defined in modules: ref-mod-ilm-def. (line 6) * predicates exported from modules: ref-mod-ilm-def. (line 13) * predicates for all solutions <1>: ref-all-sum. (line 6) * predicates for all solutions: mpg-top-all. (line 6) * predicates for arithmetic <1>: ref-ari-sum. (line 6) * predicates for arithmetic: mpg-top-ari. (line 6) * predicates for character I/O <1>: ref-iou-sum. (line 9) * predicates for character I/O: mpg-top-cio. (line 6) * predicates for control <1>: mpg-top-con. (line 6) * predicates for control: ref-sem-con. (line 6) * predicates for database <1>: mpg-top-dat. (line 6) * predicates for database: ref-mdb-sum. (line 6) * predicates for debugging <1>: Debug Summary. (line 6) * predicates for debugging: mpg-top-deb. (line 6) * predicates for execution state <1>: mpg-top-est. (line 6) * predicates for execution state: ref-ere-sum. (line 6) * predicates for file and stream handling <1>: mpg-top-fsh. (line 6) * predicates for file and stream handling: ref-iou-sum. (line 81) * predicates for filename manipulation <1>: ref-fdi-pre. (line 8) * predicates for filename manipulation: mpg-top-fnm. (line 6) * predicates for foreign interface: mpg-top-fin. (line 6) * predicates for grammar rules <1>: ref-gru-sum. (line 6) * predicates for grammar rules: mpg-top-gru. (line 6) * predicates for list processing <1>: mpg-top-lis. (line 6) * predicates for list processing: ref-lte-sum. (line 146) * predicates for loading programs <1>: ref-lod-lis. (line 8) * predicates for loading programs: mpg-top-lod. (line 6) * predicates for looking at terms: ref-lte. (line 19) * predicates for memory <1>: mpg-top-mem. (line 6) * predicates for memory: ref-mgc-sum. (line 6) * predicates for messages and queries <1>: mpg-top-msg. (line 6) * predicates for messages and queries: Message Summary. (line 6) * predicates for modules <1>: ref-mod-sum. (line 6) * predicates for modules: mpg-top-mod. (line 6) * predicates for processing lists: ref-lte-acl. (line 6) * predicates for program state <1>: mpg-top-sta. (line 6) * predicates for program state: ref-lps-sum. (line 6) * predicates for saving programs <1>: mpg-top-eqs. (line 6) * predicates for saving programs: ref-sls-lis. (line 8) * predicates for term comparison <1>: mpg-top-tcm. (line 6) * predicates for term comparison: ref-lte-sum. (line 47) * predicates for term handling <1>: ref-lte-sum. (line 71) * predicates for term handling: mpg-top-tha. (line 6) * predicates for term I/O <1>: ref-iou-sum. (line 160) * predicates for term I/O: mpg-top-tio. (line 6) * predicates for type tests <1>: mpg-top-typ. (line 6) * predicates for type tests <2>: ref-lte-sum. (line 6) * predicates for type tests: ref-lte-met-typ. (line 6) * predicates imported into modules: ref-mod-ilm-vis. (line 6) * predicates, annotations: mpg-ref-cat. (line 6) * predicates, assertion and retraction: ref-mdb-bas. (line 6) * predicates, breakpoint handling: Breakpoint Predicates. (line 6) * predicates, debugging: Basic Debug. (line 6) * predicates, hook: mpg-top-hok. (line 6) * predicates, importing dynamic: ref-mod-idp. (line 6) * predicates, meta-logical: ref-lte-met. (line 11) * predicates, private: ref-mod-bas. (line 9) * predicates, public: ref-mod-bas. (line 9) * predicates, read: ref-iou-tin-trm. (line 6) * predicates, write: ref-iou-tou-wrt. (line 6) * prefix operators <1>: ref-syn-cpt. (line 53) * prefix operators: ref-syn-ops-ove. (line 25) * prefix/2 (lists): lib-lists. (line 379) * prefix_length/3 (lists): lib-lists. (line 290) * preinit (function annotation): cpg-rve. (line 29) * principal functor: ref-lte-act. (line 6) * principal functor (definition): ref-syn-cpt. (line 11) * print (debugger command): Debug Commands. (line 185) * print/0 (debugger show control): Action Variables. (line 16) * print/[1,2] (built-in): ref-iou-tou-dsp. (line 6) * print/[1,2] (built-in, ref page): mpg-ref-print. (line 6) * print_coverage/[0,1] (built-in): Coverage Analysis. (line 40) * print_coverage/[0,1] (built-in, ref page): mpg-ref-print_coverage. (line 6) * print_message/2 (built-in): Message Handling Predicates. (line 7) * print_message/2 (built-in, ref page): mpg-ref-print_message. (line 6) * print_message_lines/3 (built-in): Message Handling Predicates. (line 31) * print_message_lines/3 (built-in, ref page): mpg-ref-print_message_lines. (line 6) * print_profile/[0,1] (built-in): Execution Profiling. (line 44) * print_profile/[0,1] (built-in, ref page): mpg-ref-print_profile. (line 6) * printing clauses: ref-iou-tou-pcl. (line 6) * printing, formatted: ref-iou-cou-fou. (line 6) * priority/1 (write_term/[2,3] option): mpg-ref-write_term. (line 81) * private predicates: ref-mod-bas. (line 9) * private/1 (debugger condition) <1>: Break Tests. (line 19) * private/1 (debugger condition): Storing User Information in the Backtrace. (line 6) * proc (Tcl command): Commands. (line 652) * procedural modularity: ref-mod-ove. (line 25) * procedural semantics: ref-sem-sec. (line 30) * procedure: ref-sem-pro. (line 94) * procedure (definition): Glossary. (line 612) * procedure box: Procedure Box. (line 6) * procedure box (definition): Glossary. (line 622) * procedure call <1>: ref-sem-sec. (line 98) * procedure call: ref-sem-pro. (line 6) * procedure definition: ref-sem-sec. (line 93) * procedures, dynamic and static: ref-mdb-dsp. (line 6) * procedures, redefining during execution: ref-lod-rpx. (line 6) * procedures, removing properties: mpg-ref-abolish. (line 51) * procedures, self-modifying <1>: ref-mdb-exa. (line 12) * procedures, self-modifying: ref-mdb-bas. (line 15) * proceed (redefine_warnings flag value): ref-lps-flg. (line 305) * proceed/0 (debugger command control): Action Variables. (line 41) * proceed/2 (debugger command control): Action Variables. (line 51) * process communication <1>: lib-sockets. (line 6) * process communication: lib-linda. (line 6) * process_create/[2,3] (process): lib-process. (line 30) * process_id/1 (process): lib-process. (line 184) * process_id/2 (process): lib-process. (line 187) * process_kill/[1,2] (process): lib-process. (line 206) * process_release/1 (process): lib-process. (line 194) * process_wait/[2,3] (process): lib-process. (line 141) * processing, breakpoint: Breakpoint Processing. (line 6) * profile_data/1 (built-in): Execution Profiling. (line 40) * profile_data/1 (built-in, ref page): mpg-ref-profile_data. (line 6) * profile_reset/0 (built-in) <1>: Execution Profiling. (line 37) * profile_reset/0 (built-in): Coverage Analysis. (line 33) * profile_reset/0 (built-in, ref page): mpg-ref-profile_reset. (line 6) * profiling: lib-gauge. (line 6) * profiling (definition): Glossary. (line 626) * profiling (prolog flag) <1>: Runtime Systems. (line 37) * profiling (prolog flag): ref-lps-flg. (line 87) * profiling, execution: Execution Profiling. (line 6) * ProgID: Terminology. (line 7) * program (definition): Glossary. (line 631) * program (statistics key): ref-mgc-ove-sta. (line 133) * program space: ref-mgc-ove. (line 32) * program state: Saving. (line 6) * program state, predicates for <1>: ref-lps-sum. (line 6) * program state, predicates for: mpg-top-sta. (line 6) * program, loading: ref-sem-con. (line 80) * programming in logic: Intro. (line 12) * project_attributes/2 (Module): lib-atts. (line 138) * projecting_assert/1 (clpqr): CLPQR Solver Predicates. (line 213) * prolog (--main option value): too-spld. (line 77) * prolog (quoted_charset flag value): ref-lps-flg. (line 122) * prolog-backward-list (emacs command): Usage. (line 109) * prolog-beginning-of-clause (emacs command): Usage. (line 78) * prolog-beginning-of-predicate (emacs command): Usage. (line 88) * prolog-debug-on (emacs command): Usage. (line 122) * prolog-end-of-clause (emacs command): Usage. (line 82) * prolog-end-of-predicate (emacs command): Usage. (line 91) * prolog-forward-list (emacs command): Usage. (line 106) * prolog-help-on-predicate (emacs command): Usage. (line 174) * prolog-insert-next-clause (emacs command): Usage. (line 164) * prolog-insert-predicate-template (emacs command): Usage. (line 160) * prolog-insert-predspec (emacs command): Usage. (line 157) * prolog-mark-clause (emacs command): Usage. (line 85) * prolog-mark-predicate (emacs command): Usage. (line 94) * prolog-trace-on (emacs command): Usage. (line 118) * prolog-variables-to-anonymous (emacs command): Usage. (line 170) * prolog-zip-on (emacs command): Usage. (line 126) * prolog_flag/[2,3] (built-in): ref-iou-tin-trm. (line 41) * prolog_flag/[2,3] (built-in, ref page): mpg-ref-prolog_flag. (line 6) * prolog_load_context/2 (built-in, ref page): mpg-ref-prolog_load_context. (line 6) * PROLOGINCSIZE (system property): System Properties and Environment Variables. (line 195) * PROLOGINITSIZE (system property) <1>: ref-mgc-ove-rsp. (line 16) * PROLOGINITSIZE (system property): System Properties and Environment Variables. (line 180) * PROLOGKEEPSIZE (system property) <1>: ref-mgc-ove-rsp. (line 16) * PROLOGKEEPSIZE (system property): System Properties and Environment Variables. (line 201) * PROLOGMAXSIZE (system property): System Properties and Environment Variables. (line 187) * prompt, changing: ref-iou-tin-cpr. (line 6) * prompt/2 (built-in): ref-iou-tin-cpr. (line 6) * prompt/2 (built-in, ref page): mpg-ref-prompt. (line 6) * propagating indexicals: Indexicals. (line 10) * proper_length/2 (lists): lib-lists. (line 165) * proper_prefix/2 (lists): lib-lists. (line 385) * proper_prefix_length/3 (lists): lib-lists. (line 300) * proper_segment/2 (lists): lib-lists. (line 413) * proper_suffix/2 (lists): lib-lists. (line 397) * proper_suffix_length/3 (lists): lib-lists. (line 320) * property, stream: mpg-ref-stream_property. (line 24) * property, stream (definition): Glossary. (line 789) * prototype, function: Function Prototypes. (line 6) * prune/1 (case/4 option): Combinatorial Constraints. (line 244) * prune/1 (cumulatives/3 option): Combinatorial Constraints. (line 600) * prunings (fd_statistics/2 option): Statistics Predicates. (line 27) * public declaration: Public Declarations. (line 6) * public predicate: ref-mod-def. (line 6) * public predicates: ref-mod-bas. (line 9) * public/1 (built-in, ref page): mpg-ref-public. (line 6) * public/1 (declaration): Public Declarations. (line 6) * put_assoc/4 (assoc): lib-assoc. (line 123) * put_atts/2 (Module): lib-atts. (line 52) * put_byte/[1,2] (built-in): ref-iou-cou-cha. (line 6) * put_byte/[1,2] (built-in, ref page): mpg-ref-put_byte. (line 6) * put_char/[1,2] (built-in): ref-iou-cou-cha. (line 12) * put_char/[1,2] (built-in, ref page): mpg-ref-put_char. (line 6) * put_code/[1,2] (built-in): ref-iou-cou-cha. (line 9) * put_code/[1,2] (built-in, ref page): mpg-ref-put_code. (line 6) * put_contents/3 (structs): str-afd. (line 6) * put_label/[4,5] (trees): lib-trees. (line 30) * puts (Tcl command): Commands. (line 625) * qskip/1 (debugger mode control): Action Variables. (line 121) * quantifier, existential: ref-all-cse-equ. (line 6) * quasi-skip (debugger command): Debug Commands. (line 105) * query <1>: Start. (line 41) * query <2>: ref-sem-pro. (line 54) * query: Queries and Directives. (line 6) * query (definition): Glossary. (line 641) * query on SICStus: Jasper Package Class Reference. (line 81) * query, floundered (definition): Glossary. (line 297) * query_abbreviation/3 (built-in, ref page): mpg-ref-query_abbreviation. (line 6) * query_abbreviation/3 (SU_messages): Query Handling Predicates. (line 29) * query_class/5 (built-in, ref page): mpg-ref-query_class. (line 6) * query_class/5 (SU_messages): Query Handling Predicates. (line 26) * query_class_hook/5 (hook, ref page): mpg-ref-query_class_hook. (line 6) * query_class_hook/5 (user, hook): Query Handling Predicates. (line 20) * query_hook/6 (hook, ref page): mpg-ref-query_hook. (line 6) * query_hook/6 (user, hook): Query Handling Predicates. (line 14) * query_input/3 (built-in, ref page): mpg-ref-query_input. (line 6) * query_input/3 (SU_messages): Query Handling Predicates. (line 39) * query_input_hook/3 (hook, ref page): mpg-ref-query_input_hook. (line 6) * query_input_hook/3 (user, hook): Query Handling Predicates. (line 33) * query_map/4 (built-in, ref page): mpg-ref-query_map. (line 6) * query_map/4 (SU_messages): Query Handling Predicates. (line 49) * query_map_hook/4 (hook, ref page): mpg-ref-query_map_hook. (line 6) * query_map_hook/4 (user, hook): Query Handling Predicates. (line 43) * queryCutFail on SICStus: Jasper Package Class Reference. (line 86) * queue_append/3 (queues): lib-queues. (line 89) * queue_cons/3 (queues): lib-queues. (line 61) * queue_head/2 (queues): lib-queues. (line 50) * queue_last/[2,3] (queues): lib-queues. (line 69) * queue_length/2 (queues): lib-queues. (line 105) * queue_list/2 (queues): lib-queues. (line 100) * queue_member/2 (queues): lib-queues. (line 110) * queue_memberchk/2 (queues): lib-queues. (line 116) * queue_tail/2 (queues): lib-queues. (line 55) * quiet (syntax_errors flag value) <1>: ref-lps-flg. (line 342) * quiet (syntax_errors flag value): ref-ere-err-syn. (line 35) * quote characters, in atoms: ref-syn-trm-ato. (line 19) * quoted/1 (write_term/[2,3] option): mpg-ref-write_term. (line 33) * quoted/1, write_term/[2,3] option: ref-iou-tou-dis. (line 28) * quoted_charset (prolog flag) <1>: ref-lps-flg. (line 113) * quoted_charset (prolog flag): mpg-ref-write_term. (line 70) * quoted_charset/1 (write_term/[2,3] option): mpg-ref-write_term. (line 70) * radiobutton (Tk widget): Types of Widget. (line 41) * raise exception (debugger command): Debug Commands. (line 350) * raise/1 (debugger command control): Action Variables. (line 88) * raise_exception/1 (built-in): ref-ere-rex. (line 6) * raise_exception/1 (built-in, ref page): mpg-ref-raise_exception. (line 6) * random access to streams: ref-iou-raf. (line 6) * random/[1,3] (random): lib-random. (line 43) * random_member/2 (random): lib-random. (line 51) * random_numlist/4 (random): lib-random. (line 80) * random_perm2/4 (random): lib-random. (line 75) * random_permutation/2 (random): lib-random. (line 69) * random_select/3 (random): lib-random. (line 55) * random_subseq/3 (random): lib-random. (line 61) * random_ugraph/3 (ugraphs): lib-ugraphs. (line 143) * random_wgraph/4 (wgraphs): lib-wgraphs. (line 143) * range of floats: ref-ari-ove. (line 15) * range of integers: ref-ari-ove. (line 6) * range_to_fdset/2 (clpfd): FD Set Operations. (line 59) * rd/[1,2] (linda_client): lib-linda-client. (line 77) * rd_noblock/1 (linda_client): lib-linda-client. (line 82) * reachable/3 (ugraphs): lib-ugraphs. (line 138) * reachable/3 (wgraphs): lib-wgraphs. (line 138) * read (absolute_file_name/3 access): mpg-ref-absolute_file_name. (line 136) * read (open/[3,4] mode): mpg-ref-open. (line 29) * read (Tcl command): Commands. (line 608) * read predicates: ref-iou-tin-trm. (line 6) * read/[1,2] (built-in): ref-iou-tin-trm. (line 6) * read/[1,2] (built-in, ref page): mpg-ref-read. (line 6) * read_from_codes/2 (codesio): lib-codesio. (line 33) * read_line/[0,1] (built-in, ref page): mpg-ref-read_line. (line 6) * read_term/[2,3] (built-in): ref-iou-tin-trm. (line 6) * read_term/[2,3] (built-in, ref page): mpg-ref-read_term. (line 6) * read_term_from_codes/3 (codesio): lib-codesio. (line 38) * reading a goal from a string: Reading a goal from a string. (line 6) * reading in: Reading In. (line 6) * reclamation, space: ref-mgc-ove-rsp. (line 6) * reconsult: Consult. (line 6) * reconsult/1 (built-in, ref page): mpg-ref-reconsult. (line 6) * recorda/3 (built-in): ref-mdb-idb. (line 31) * recorda/3 (built-in, ref page): mpg-ref-recorda. (line 6) * recorded keys: ref-mdb-idb. (line 42) * recorded/3 (built-in, ref page): mpg-ref-recorded. (line 6) * recordz/3 (built-in): ref-mdb-idb. (line 35) * recordz/3 (built-in, ref page): mpg-ref-recordz. (line 6) * recursion (definition): Glossary. (line 659) * red cut: ref-sem-ctr-cut. (line 57) * redefine_warnings (prolog flag) <1>: ref-lod-lod. (line 70) * redefine_warnings (prolog flag) <2>: Runtime Systems. (line 28) * redefine_warnings (prolog flag): ref-lps-flg. (line 274) * redefining procedures, during execution: ref-lod-rpx. (line 6) * redo (leashing mode): Basic Debug. (line 61) * redo/0 (debugger port value): Port Tests. (line 13) * redo/1 (debugger command control): Action Variables. (line 107) * reduce/2 (ugraphs): lib-ugraphs. (line 129) * reduce/2 (wgraphs): lib-wgraphs. (line 128) * reexit/1 (debugger command control): Action Variables. (line 100) * reference page conventions: mpg-ref-ove. (line 6) * reference, term: Mixing C and Prolog. (line 16) * regexp (Tcl command): Commands. (line 423) * region (definition): Glossary. (line 664) * register_event_listener/[2,3] (prologbeans): PB Prolog Server Interface. (line 137) * register_query/[2,3] (prologbeans): PB Prolog Server Interface. (line 73) * regsub (Tcl command): Commands. (line 466) * reification: Reified Constraints. (line 17) * reject (redefine_warnings flag value): ref-lps-flg. (line 301) * reject (top-level command): Queries. (line 44) * relation/3 (clpfd): Combinatorial Constraints. (line 120) * relative_to/1 (absolute_file_name/3 option): mpg-ref-absolute_file_name. (line 225) * rem/2, integer remainder (evaluable): ref-ari-aex. (line 58) * rem_add_link/4 (rem): lib-rem. (line 22) * rem_create/2 (rem): lib-rem. (line 10) * rem_equivalent/3 (rem): lib-rem. (line 18) * rem_head/3 (random): lib-rem. (line 14) * remove this (debugger command): Debug Commands. (line 283) * remove_attribute_prefixes/1 (xml_parse/3 option): lib-xml. (line 89) * remove_breakpoints/1 (built-in) <1>: Breakpoint Predicates. (line 74) * remove_breakpoints/1 (built-in): Built-in Predicates for Breakpoint Handling. (line 44) * remove_breakpoints/1 (built-in, ref page): mpg-ref-remove_breakpoints. (line 6) * remove_dups/2 (lists): lib-lists. (line 168) * rename_directory/2 (file_systems): lib-file_systems. (line 71) * rename_file/2 (file_systems): lib-file_systems. (line 65) * repeat/0 (built-in, ref page): mpg-ref-repeat. (line 6) * repeat/1 (between): lib-between. (line 29) * reposition/1 (open/4 option): mpg-ref-open. (line 51) * reposition/1 (stream property): mpg-ref-stream_property. (line 100) * representation errors: ref-ere-err-rep. (line 6) * representation_error/[1,3] (error class): ref-ere-err. (line 131) * reset (open/4 eof_action value): mpg-ref-open. (line 76) * reset printdepth (debugger command): Debug Commands. (line 356) * reset printdepth (top-level command): Queries. (line 53) * reset subterm (debugger command): Debug Commands. (line 370) * reset subterm (top-level command): Queries. (line 63) * resource errors: ref-ere-err-res. (line 6) * resource, data: too-spld. (line 203) * resource, dynamic: Foreign Resources. (line 33) * resource, foreign: Foreign Resources. (line 6) * resource, foreign (definition): Glossary. (line 305) * resource, linked foreign (definition): Glossary. (line 461) * resource, pre-linked: Foreign Resources. (line 42) * resource, static: Foreign Resources. (line 33) * resource_error/[1,2] (error class): ref-ere-err. (line 143) * rest of list, '|': ref-syn-cpt-lis. (line 29) * restore (--main option value): too-spld. (line 88) * restore/1 (built-in) <1>: ref-sls-sst. (line 6) * restore/1 (built-in): Saving. (line 23) * restore/1 (built-in, ref page): mpg-ref-restore. (line 6) * restoring: Saving. (line 6) * restrictions, operator syntax: ref-syn-ops-res. (line 6) * resumptions (fd_statistics/2 option): Statistics Predicates. (line 20) * retract/1 (built-in): ref-mdb-rcd. (line 19) * retract/1 (built-in, ref page): mpg-ref-retract. (line 6) * retractall/1 (built-in): ref-mdb-rcd. (line 19) * retractall/1 (built-in, ref page): mpg-ref-retractall. (line 6) * retry (debugger command): Debug Commands. (line 128) * retry/1 (debugger command control): Action Variables. (line 94) * return (Tcl command): Commands. (line 726) * rev/2 (lists): lib-lists. (line 183) * reverse/2 (lists): lib-lists. (line 176) * rewriting, syntactic: ref-fdi-syn. (line 14) * rotate_list/[2,3] (lists): lib-lists. (line 330) * round/1 (evaluable): ref-ari-aex. (line 137) * rule (definition): Glossary. (line 668) * rule, computation: ref-sem-sec. (line 98) * rule, search: ref-sem-sec. (line 98) * run-prolog (emacs command): Usage. (line 180) * run_tests/[0,1,2] (plunit): PlUnit Running the Test-Suite. (line 10) * running: Start. (line 6) * runtime (statistics key): ref-mgc-ove-sta. (line 84) * runtime kernel (definition): Glossary. (line 684) * runtime system <1>: Development and Runtime Systems. (line 6) * runtime system: Stand-Alone Executables. (line 6) * runtime system (definition): Glossary. (line 688) * runtime system, extended (definition): Glossary. (line 275) * runtime_entry/1 (user, hook): too-spld. (line 73) * same_functor/[2,3,4] (terms): lib-terms. (line 276) * same_length/[2,3] (lists): lib-lists. (line 189) * samkeysort/2 (samsort): lib-samsort. (line 31) * samsort/[2,3] (samsort): lib-samsort. (line 9) * sat/1 (clpb): CLPB Interface. (line 9) * save_files/2 (built-in) <1>: Saving. (line 59) * save_files/2 (built-in): ref-sls-ssl. (line 6) * save_files/2 (built-in, ref page): mpg-ref-save_files. (line 6) * save_modules/2 (built-in) <1>: Saving. (line 59) * save_modules/2 (built-in): ref-sls-ssl. (line 6) * save_modules/2 (built-in, ref page): mpg-ref-save_modules. (line 6) * save_predicates/2 (built-in) <1>: ref-sls-ssl. (line 6) * save_predicates/2 (built-in): Saving. (line 59) * save_predicates/2 (built-in, ref page): mpg-ref-save_predicates. (line 6) * save_program/[1,2] (built-in) <1>: Saving. (line 10) * save_program/[1,2] (built-in): ref-sls-sst. (line 6) * save_program/[1,2] (built-in, ref page): mpg-ref-save_program. (line 6) * saved-state <1>: ref-sls-sst. (line 6) * saved-state: Saving. (line 6) * saved-state (definition): Glossary. (line 694) * saved-states, initialization of: ref-sls-sst. (line 35) * saved_state (absolute_file_name/3 file type): mpg-ref-absolute_file_name. (line 71) * saving: Saving. (line 6) * saving database: ref-sls-ove. (line 6) * saving PO files: ref-sls-ssl. (line 6) * saving programs, predicates for <1>: ref-sls-lis. (line 8) * saving programs, predicates for: mpg-top-eqs. (line 6) * scalar_product/[4,5] (clpfd): Arithmetic Constraints. (line 42) * scale (Tk widget): Types of Widget. (line 45) * scan (Tcl command): Commands. (line 402) * scanlist/[4,5,6] (lists): lib-lists. (line 517) * scollbar (Tk widget): Types of Widget. (line 50) * scope of variables: ref-sem-pro. (line 66) * search (absolute_file_name/3 access): mpg-ref-absolute_file_name. (line 154) * search rule: ref-sem-sec. (line 98) * searchable (absolute_file_name/3 access): mpg-ref-absolute_file_name. (line 154) * searching, for a file in a library: ref-fdi-fsp. (line 12) * seconds since the Epoch: lib-file_systems. (line 247) * see/1 (built-in): ref-iou-sfh-opn. (line 44) * see/1 (built-in, ref page): mpg-ref-see. (line 6) * seeing/1 (built-in): ref-iou-sfh-cis. (line 13) * seeing/1 (built-in, ref page): mpg-ref-seeing. (line 6) * seek/4 (built-in): ref-iou-raf. (line 6) * seek/4 (built-in, ref page): mpg-ref-seek. (line 6) * seen/0 (built-in): ref-iou-sfh-cst. (line 26) * seen/0 (built-in, ref page): mpg-ref-seen. (line 6) * segment/2 (lists): lib-lists. (line 404) * select/3 (lists): lib-lists. (line 9) * select/4 (lists): lib-lists. (line 205) * select_max/[3,4] (lists): lib-lists. (line 756) * select_min/[3,4] (lists): lib-lists. (line 748) * selectchk/3 (lists): lib-lists. (line 13) * selectchk/4 (lists): lib-lists. (line 211) * selector: FDBG Selectors. (line 6) * selector, subterm <1>: Queries. (line 64) * selector, subterm: Breakpoint Tests. (line 263) * selector, subterm (definition): Glossary. (line 804) * self-modifying procedures <1>: ref-mdb-exa. (line 12) * self-modifying procedures: ref-mdb-bas. (line 15) * semantics: ref-sem. (line 17) * semantics (definition): Glossary. (line 698) * semantics of dynamic code: ref-mdb-bas. (line 30) * semantics of grammar rules: ref-gru-tra. (line 6) * semantics, declarative: ref-sem-sec. (line 6) * semantics, procedural: ref-sem-sec. (line 30) * sentence: ref-sem-pro. (line 20) * sentence (definition): Glossary. (line 703) * sentences: ref-syn-syn. (line 16) * sequence, escape: ref-syn-syn-esc. (line 6) * sequence, escape (definition): Glossary. (line 268) * servlet: PB Features. (line 32) * session_gc_timeout/1 (start/1 option): PB Prolog Server Interface. (line 41) * session_get/4 (prologbeans): PB Prolog Server Interface. (line 106) * session_put/3 (prologbeans): PB Prolog Server Interface. (line 121) * session_timeout/1 (start/1 option): PB Prolog Server Interface. (line 34) * set (Tcl command): Commands. (line 35) * set printdepth (debugger command): Debug Commands. (line 356) * set printdepth (top-level command): Queries. (line 53) * set subterm (debugger command): Debug Commands. (line 370) * set subterm (top-level command): Queries. (line 63) * set, character: ref-syn-syn-tok. (line 6) * set, FD: FD Set Operations. (line 6) * set/1 (plunit option): PlUnit A Unit Test Box. (line 129) * set_input/1 (built-in): ref-iou-sfh-opn. (line 6) * set_input/1 (built-in, ref page): mpg-ref-set_input. (line 6) * set_module/1 (built-in): ref-mod-tyi. (line 22) * set_module/1 (built-in, ref page): mpg-ref-set_module. (line 6) * set_order/3 (sets): lib-sets. (line 63) * set_output/1 (built-in): ref-iou-sfh-opn. (line 34) * set_output/1 (built-in, ref page): mpg-ref-set_output. (line 6) * set_prolog_flag/2 (built-in, ref page): mpg-ref-set_prolog_flag. (line 6) * set_stream_position/2 (built-in): ref-iou-raf. (line 6) * set_stream_position/2 (built-in, ref page): mpg-ref-set_stream_position. (line 6) * seteq/2 (sets): lib-sets. (line 67) * setof/3 (built-in): ref-all-cse. (line 10) * setof/3 (built-in, ref page): mpg-ref-setof. (line 6) * setproduct/3 (sets): lib-sets. (line 131) * setrand/1 (random): lib-random. (line 20) * sets, collecting solutions to a goal: ref-all. (line 13) * setting a breakpoint: Usage. (line 154) * setup/1 (plunit option): PlUnit A Unit Test Box. (line 66) * shorter_list/2 (lists): lib-lists. (line 222) * show/1 (debugger condition) <1>: Breakpoint Actions. (line 12) * show/1 (debugger condition) <2>: Port Tests. (line 50) * show/1 (debugger condition): Action Conditions. (line 16) * shutdown/[0,1] (prologbeans): PB Prolog Server Interface. (line 53) * shutdown_server/0 (linda_client): lib-linda-client. (line 31) * SICStus Prolog IDE (SPIDER): SPIDER. (line 6) * sicstus(1) (command line tool): too-sicstus. (line 6) * sicstus-bindings-on (emacs command): Usage. (line 130) * sicstus-coverage-on (emacs command): Usage. (line 139) * side-effect (definition): Glossary. (line 706) * side-effects, in repeat loops: mpg-ref-repeat. (line 41) * SIG_DFL (C macro): cpg-ref-SP_signal. (line 61) * SIG_ERR (C macro): cpg-ref-SP_signal. (line 61) * SIG_IGN (C macro): cpg-ref-SP_signal. (line 61) * sigaction: Signal Handling. (line 6) * SIGBREAK: Signal Handling. (line 18) * SIGCHLD: Signal Handling. (line 18) * SIGCLD: Signal Handling. (line 18) * SIGINT: Signal Handling. (line 18) * sign/1 (evaluable): ref-ari-aex. (line 116) * signal: Signal Handling. (line 6) * signal handling: Calling Prolog Asynchronously. (line 10) * Signal handling, C functions for: cpg-top-sig. (line 6) * SIGUSR1: Signal Handling. (line 18) * SIGUSR2: Signal Handling. (line 18) * SIGVTALRM: Signal Handling. (line 18) * silent/0 (debugger show control): Action Variables. (line 20) * simple term (definition): Glossary. (line 711) * simple/1 (built-in, ref page): mpg-ref-simple. (line 6) * simple_pred_spec (argument type): mpg-ref-aty-ety. (line 34) * SimpleCallSpec: Terminology. (line 56) * sin/1 (evaluable): ref-ari-aex. (line 151) * single_var_warnings (prolog flag) <1>: Runtime Systems. (line 26) * single_var_warnings (prolog flag) <2>: ref-lod-lod. (line 58) * single_var_warnings (prolog flag): ref-lps-flg. (line 311) * singleton_queue/2 (queues): lib-queues. (line 34) * singletons/1 (read_term/[2,3] option): mpg-ref-read_term. (line 50) * sinh/1 (evaluable): ref-ari-aex. (line 163) * site, coverage: Coverage Analysis. (line 6) * size_bound/2 (terms): lib-terms. (line 237) * skeletal goal (definition): Glossary. (line 715) * skip (debugger command): Debug Commands. (line 92) * skip/1 (debugger mode control): Action Variables. (line 129) * skip_byte/[1,2] (built-in): ref-iou-cin-ski. (line 9) * skip_byte/[1,2] (built-in, ref page): mpg-ref-skip_byte. (line 6) * skip_char/[1,2] (built-in): ref-iou-cin-ski. (line 17) * skip_char/[1,2] (built-in, ref page): mpg-ref-skip_char. (line 6) * skip_code/[1,2] (built-in): ref-iou-cin-ski. (line 13) * skip_code/[1,2] (built-in, ref page): mpg-ref-skip_code. (line 6) * skip_line/[0,1] (built-in): ref-iou-cin-ski. (line 21) * skip_line/[0,1] (built-in, ref page): mpg-ref-skip_line. (line 6) * sleep/1 (system): lib-system. (line 26) * small integer (definition): Glossary. (line 719) * smt/1 (clpfd): Combinatorial Constraints. (line 12) * socket address: lib-sockets. (line 20) * socket_client_open/3 (sockets): lib-sockets. (line 55) * socket_select/7 (sockets): lib-sockets. (line 149) * socket_server_accept/4 (sockets): lib-sockets. (line 136) * socket_server_close/1 (sockets): lib-sockets. (line 145) * socket_server_open/[2,3] (sockets): lib-sockets. (line 91) * sockets: lib-sockets. (line 6) * soft cut: ref-sem-ctr-ite. (line 48) * solutions/1 (absolute_file_name/3 option): mpg-ref-absolute_file_name. (line 211) * some/[2,3,4] (lists): lib-lists. (line 551) * some_queue/[2,3] (queues): lib-queues. (line 138) * somebag/2 (bags): lib-bags. (line 71) * somechk/[2,3,4] (lists): lib-lists. (line 568) * somechk_queue/[2,3] (queues): lib-queues. (line 149) * somechkbag/2 (bags): lib-bags. (line 76) * sort/2 (built-in): ref-lte-cte-sor. (line 6) * sort/2 (built-in, ref page): mpg-ref-sort. (line 6) * sorting/3 (clpfd): Combinatorial Constraints. (line 618) * source (absolute_file_name/3 file type): mpg-ref-absolute_file_name. (line 62) * source (load context key): ref-lps-lco. (line 12) * source (Tcl command): Commands. (line 842) * source code (definition): Glossary. (line 725) * source information <1>: ref-lps-flg. (line 316) * source information: Usage. (line 18) * source module <1>: ref-mod-som. (line 6) * source module: ref-mod-mne. (line 6) * source module (definition): Glossary. (line 729) * source/1 (fd_global/[3,4] option): The Global Constraint Programming Interface. (line 99) * source_file/[1,2] (built-in): ref-lps-apf. (line 6) * source_file/[1,2] (built-in, ref page): mpg-ref-source_file. (line 6) * source_info (prolog flag) <1>: ref-lps-flg. (line 316) * source_info (prolog flag) <2>: Debugging Runtime Systems. (line 23) * source_info (prolog flag) <3>: Breakpoint Tests. (line 229) * source_info (prolog flag): Usage. (line 28) * SP_AllocHook() (C type): cpg-ref-SP_set_memalloc_hooks. (line 36) * SP_ALLOW_CHDIR (system property): System Properties and Environment Variables. (line 139) * SP_APP_DIR (system property): System Properties and Environment Variables. (line 77) * SP_APP_PATH (system property): System Properties and Environment Variables. (line 81) * SP_atom (C type) <1>: cpg-ref-SP_unregister_atom. (line 21) * SP_atom (C type) <2>: Atoms in C. (line 6) * SP_atom (C type) <3>: cpg-ref-SP_register_atom. (line 21) * SP_atom (C type) <4>: cpg-ref-SP_cons_functor. (line 29) * SP_atom (C type) <5>: cpg-ref-SP_get_atom. (line 24) * SP_atom (C type) <6>: cpg-ref-SP_put_atom. (line 24) * SP_atom (C type) <7>: cpg-ref-SP_put_functor. (line 29) * SP_atom (C type) <8>: cpg-ref-SP_cons_functor_array. (line 29) * SP_atom (C type) <9>: cpg-ref-SP_pred. (line 22) * SP_atom (C type) <10>: cpg-ref-SP_get_functor. (line 30) * SP_atom (C type) <11>: cpg-ref-SP_atom_length. (line 20) * SP_atom (C type) <12>: cpg-ref-SP_atom_from_string. (line 16) * SP_atom (C type) <13>: cpg-ref-SP_string_from_atom. (line 21) * SP_atom (C type): Glossary. (line 40) * SP_atom_from_string() (C function) <1>: cpg-ref-SP_atom_from_string. (line 6) * SP_atom_from_string() (C function): Atoms in C. (line 6) * SP_atom_length() (C function) <1>: Atoms in C. (line 23) * SP_atom_length() (C function): cpg-ref-SP_atom_length. (line 6) * SP_ATTACH_SPIDER (system property): Customizing the Debugged Runtime System. (line 12) * SP_calloc() (C function) <1>: cpg-ref-SP_calloc. (line 6) * SP_calloc() (C function): OS Memory Management. (line 18) * SP_close_query() (C function): cpg-ref-SP_close_query. (line 6) * SP_compare() (C function) <1>: Unifying and Comparing Terms. (line 12) * SP_compare() (C function): cpg-ref-SP_compare. (line 6) * SP_cons_functor() (C function) <1>: Creating Prolog Terms. (line 51) * SP_cons_functor() (C function): cpg-ref-SP_cons_functor. (line 6) * SP_cons_functor_array() (C function): cpg-ref-SP_cons_functor_array. (line 6) * SP_cons_list() (C function) <1>: Creating Prolog Terms. (line 54) * SP_cons_list() (C function): cpg-ref-SP_cons_list. (line 6) * SP_create_stream() (C function): cpg-ref-SP_create_stream. (line 6) * SP_cut_query() (C function) <1>: cpg-ref-SP_cut_query. (line 6) * SP_cut_query() (C function): Finding Multiple Solutions of a Call. (line 31) * SP_define_c_predicate() (C function): cpg-ref-SP_define_c_predicate. (line 6) * SP_DeinitAllocHook() (C type): cpg-ref-SP_set_memalloc_hooks. (line 36) * SP_deinitialize() (C function) <1>: Initializing the Prolog Engine. (line 17) * SP_deinitialize() (C function): cpg-ref-SP_deinitialize. (line 6) * SP_DEVSYS_NO_TRACE (system property): Customizing the Debugged Runtime System. (line 12) * SP_errno (C macro) <1>: CPL Notes. (line 37) * SP_errno (C macro): cpg-rve. (line 6) * SP_ERROR (C macro) <1>: CPL Notes. (line 30) * SP_ERROR (C macro): cpg-rve. (line 6) * SP_error_message() (C function) <1>: CPL Notes. (line 37) * SP_error_message() (C function) <2>: cpg-rve. (line 6) * SP_error_message() (C function): cpg-ref-SP_error_message. (line 6) * SP_event() (C function) <1>: cpg-ref-SP_event. (line 6) * SP_event() (C function): Calling Prolog Asynchronously. (line 35) * SP_exception_term() (C function) <1>: cpg-ref-SP_exception_term. (line 6) * SP_exception_term() (C function): Exception Handling in C. (line 12) * SP_expand_file_name() (C function): cpg-ref-SP_expand_file_name. (line 6) * SP_fail() (C function) <1>: cpg-ref-SP_fail. (line 6) * SP_fail() (C function): Exception Handling in C. (line 20) * SP_FAILURE (C macro) <1>: CPL Notes. (line 30) * SP_FAILURE (C macro): cpg-rve. (line 6) * SP_fclose() (C function) <1>: Prolog Streams. (line 50) * SP_fclose() (C function): cpg-ref-SP_fclose. (line 6) * SP_flush_output() (C function) <1>: cpg-ref-SP_flush_output. (line 6) * SP_flush_output() (C function): Prolog Streams. (line 47) * SP_fopen() (C function): cpg-ref-SP_fopen. (line 6) * SP_foreign_stash() (C macro) <1>: cpg-ref-SP_foreign_stash. (line 6) * SP_foreign_stash() (C macro): OS Threads. (line 23) * SP_fprintf() (C function) <1>: cpg-ref-SP_fprintf. (line 6) * SP_fprintf() (C function): Prolog Streams. (line 44) * SP_free() (C function) <1>: OS Memory Management. (line 25) * SP_free() (C function): cpg-ref-SP_free. (line 6) * SP_FreeHook() (C type): cpg-ref-SP_set_memalloc_hooks. (line 36) * SP_get_address() (C function) <1>: cpg-ref-SP_get_address. (line 6) * SP_get_address() (C function): Accessing Prolog Terms. (line 24) * SP_get_arg() (C function) <1>: Accessing Prolog Terms. (line 48) * SP_get_arg() (C function): cpg-ref-SP_get_arg. (line 6) * SP_get_atom() (C function) <1>: Accessing Prolog Terms. (line 18) * SP_get_atom() (C function): cpg-ref-SP_get_atom. (line 6) * SP_get_byte() (C function): cpg-ref-SP_get_byte. (line 6) * SP_get_byte() (C macro): Prolog Streams. (line 21) * SP_get_code() (C function): cpg-ref-SP_get_code. (line 6) * SP_get_code() (C macro): Prolog Streams. (line 24) * SP_get_current_dir() (C function) <1>: cpg-ref-SP_get_current_dir. (line 6) * SP_get_current_dir() (C function): OS File System. (line 15) * SP_get_dispatch() (C function): cpg-ref-SP_get_dispatch. (line 6) * SP_get_float() (C function) <1>: cpg-ref-SP_get_float. (line 6) * SP_get_float() (C function): Accessing Prolog Terms. (line 15) * SP_get_functor() (C function) <1>: Accessing Prolog Terms. (line 42) * SP_get_functor() (C function): cpg-ref-SP_get_functor. (line 6) * SP_get_integer() (C function) <1>: Accessing Prolog Terms. (line 12) * SP_get_integer() (C function): cpg-ref-SP_get_integer. (line 6) * SP_get_integer_bytes() (C function) <1>: cpg-ref-SP_get_integer_bytes. (line 6) * SP_get_integer_bytes() (C function): Accessing Prolog Terms. (line 39) * SP_get_list() (C function) <1>: cpg-ref-SP_get_list. (line 6) * SP_get_list() (C function): Accessing Prolog Terms. (line 45) * SP_get_list_codes() (C function) <1>: cpg-ref-SP_get_list_codes. (line 6) * SP_get_list_codes() (C function): Accessing Prolog Terms. (line 27) * SP_get_list_n_bytes() (C function) <1>: Accessing Prolog Terms. (line 33) * SP_get_list_n_bytes() (C function): cpg-ref-SP_get_list_n_bytes. (line 6) * SP_get_list_n_codes() (C function) <1>: cpg-ref-SP_get_list_n_codes. (line 6) * SP_get_list_n_codes() (C function): Accessing Prolog Terms. (line 30) * SP_get_number_codes() (C function) <1>: Accessing Prolog Terms. (line 36) * SP_get_number_codes() (C function): cpg-ref-SP_get_number_codes. (line 6) * SP_get_stream_counts() (C function): cpg-ref-SP_get_stream_counts. (line 6) * SP_get_stream_user_data() (C function): cpg-ref-SP_get_stream_user_data. (line 6) * SP_get_string() (C function) <1>: Accessing Prolog Terms. (line 21) * SP_get_string() (C function): cpg-ref-SP_get_string. (line 6) * SP_getenv() (C function): cpg-ref-SP_getenv. (line 6) * SP_InitAllocHook() (C type): cpg-ref-SP_set_memalloc_hooks. (line 36) * SP_initialize() (C function): Initializing the Prolog Engine. (line 10) * SP_initialize() (C macro): cpg-ref-SP_initialize. (line 6) * SP_is_atom() (C function) <1>: Testing Prolog Terms. (line 23) * SP_is_atom() (C function): cpg-ref-SP_is_atom. (line 6) * SP_is_atomic() (C function) <1>: Testing Prolog Terms. (line 32) * SP_is_atomic() (C function): cpg-ref-SP_is_atomic. (line 6) * SP_is_compound() (C function) <1>: Testing Prolog Terms. (line 26) * SP_is_compound() (C function): cpg-ref-SP_is_compound. (line 6) * SP_is_float() (C function) <1>: cpg-ref-SP_is_float. (line 6) * SP_is_float() (C function): Testing Prolog Terms. (line 20) * SP_is_integer() (C function) <1>: Testing Prolog Terms. (line 17) * SP_is_integer() (C function): cpg-ref-SP_is_integer. (line 6) * SP_is_list() (C function) <1>: Testing Prolog Terms. (line 29) * SP_is_list() (C function): cpg-ref-SP_is_list. (line 6) * SP_is_number() (C function) <1>: Testing Prolog Terms. (line 35) * SP_is_number() (C function): cpg-ref-SP_is_number. (line 6) * SP_is_variable() (C function) <1>: cpg-ref-SP_is_variable. (line 6) * SP_is_variable() (C function): Testing Prolog Terms. (line 14) * SP_LIBRARY_DIR (system property): System Properties and Environment Variables. (line 96) * SP_LICENSE_CODE (system property): Locating the License Information. (line 24) * SP_LICENSE_EXPIRATION (system property): Locating the License Information. (line 24) * SP_LICENSE_FILE (system property): Locating the License Information. (line 24) * SP_LICENSE_SITE (system property): Locating the License Information. (line 24) * SP_load() (C function) <1>: Loading Prolog Code. (line 7) * SP_load() (C function): cpg-ref-SP_load. (line 6) * SP_load_sicstus_run_time() (C function): cpg-ref-SP_load_sicstus_run_time. (line 6) * SP_malloc() (C function) <1>: OS Memory Management. (line 15) * SP_malloc() (C function): cpg-ref-SP_malloc. (line 6) * SP_MUTEX_INITIALIZER (C macro): OS Threads. (line 11) * SP_mutex_lock() (C function) <1>: OS Threads. (line 12) * SP_mutex_lock() (C function): cpg-ref-SP_mutex_lock. (line 6) * SP_mutex_unlock() (C function) <1>: OS Threads. (line 15) * SP_mutex_unlock() (C function) <2>: cpg-ref-SP_mutex_unlock. (line 6) * SP_mutex_unlock() (C function): OS Threads. (line 11) * SP_new_term_ref() (C function) <1>: Creating and Manipulating SP_term_refs. (line 40) * SP_new_term_ref() (C function): cpg-ref-SP_new_term_ref. (line 6) * SP_next_solution() (C function) <1>: Finding Multiple Solutions of a Call. (line 25) * SP_next_solution() (C function): cpg-ref-SP_next_solution. (line 6) * SP_next_stream() (C function): cpg-ref-SP_next_stream. (line 6) * SP_on_fault() (C macro): Exception Handling in C. (line 22) * SP_open_query() (C function) <1>: Finding Multiple Solutions of a Call. (line 21) * SP_open_query() (C function): cpg-ref-SP_open_query. (line 6) * SP_PATH (system property) <1>: CPL Notes. (line 7) * SP_PATH (system property): System Properties and Environment Variables. (line 127) * SP_pred() (C function) <1>: cpg-ref-SP_pred. (line 6) * SP_pred() (C function): Calling Prolog from C. (line 15) * SP_predicate() (C function) <1>: cpg-ref-SP_predicate. (line 6) * SP_predicate() (C function): Calling Prolog from C. (line 9) * SP_printf() (C function) <1>: Prolog Streams. (line 42) * SP_printf() (C function): cpg-ref-SP_printf. (line 6) * SP_put_address() (C function) <1>: Creating Prolog Terms. (line 27) * SP_put_address() (C function): cpg-ref-SP_put_address. (line 6) * SP_put_atom() (C function) <1>: cpg-ref-SP_put_atom. (line 6) * SP_put_atom() (C function): Creating Prolog Terms. (line 21) * SP_put_byte() (C function): cpg-ref-SP_put_byte. (line 6) * SP_put_byte() (C macro): Prolog Streams. (line 27) * SP_put_bytes() (C function) <1>: cpg-ref-SP_put_bytes. (line 6) * SP_put_bytes() (C function): Prolog Streams. (line 33) * SP_put_code() (C function): cpg-ref-SP_put_code. (line 6) * SP_put_code() (C macro): Prolog Streams. (line 30) * SP_put_codes() (C function) <1>: Prolog Streams. (line 36) * SP_put_codes() (C function): cpg-ref-SP_put_codes. (line 6) * SP_put_encoded_string() (C function) <1>: cpg-ref-SP_put_encoded_string. (line 6) * SP_put_encoded_string() (C function): Prolog Streams. (line 39) * SP_put_float() (C function) <1>: Creating Prolog Terms. (line 18) * SP_put_float() (C function): cpg-ref-SP_put_float. (line 6) * SP_put_functor() (C function) <1>: Creating Prolog Terms. (line 45) * SP_put_functor() (C function): cpg-ref-SP_put_functor. (line 6) * SP_put_integer() (C function) <1>: Creating Prolog Terms. (line 15) * SP_put_integer() (C function): cpg-ref-SP_put_integer. (line 6) * SP_put_integer_bytes() (C function) <1>: Creating Prolog Terms. (line 39) * SP_put_integer_bytes() (C function): cpg-ref-SP_put_integer_bytes. (line 6) * SP_put_list() (C function) <1>: cpg-ref-SP_put_list. (line 6) * SP_put_list() (C function): Creating Prolog Terms. (line 48) * SP_put_list_codes() (C function) <1>: Creating Prolog Terms. (line 30) * SP_put_list_codes() (C function): cpg-ref-SP_put_list_codes. (line 6) * SP_put_list_n_bytes() (C function) <1>: cpg-ref-SP_put_list_n_bytes. (line 6) * SP_put_list_n_bytes() (C function): Creating Prolog Terms. (line 36) * SP_put_list_n_codes() (C function) <1>: Creating Prolog Terms. (line 33) * SP_put_list_n_codes() (C function): cpg-ref-SP_put_list_n_codes. (line 6) * SP_put_number_codes() (C function) <1>: Creating Prolog Terms. (line 42) * SP_put_number_codes() (C function): cpg-ref-SP_put_number_codes. (line 6) * SP_put_string() (C function) <1>: Creating Prolog Terms. (line 24) * SP_put_string() (C function): cpg-ref-SP_put_string. (line 6) * SP_put_term() (C function) <1>: cpg-ref-SP_put_term. (line 6) * SP_put_term() (C function): Creating and Manipulating SP_term_refs. (line 42) * SP_put_variable() (C function) <1>: cpg-ref-SP_put_variable. (line 6) * SP_put_variable() (C function): Creating Prolog Terms. (line 12) * SP_qid (C type) <1>: cpg-ref-SP_close_query. (line 20) * SP_qid (C type) <2>: cpg-ref-SP_cut_query. (line 20) * SP_qid (C type) <3>: cpg-ref-SP_open_query. (line 19) * SP_qid (C type) <4>: Finding Multiple Solutions of a Call. (line 21) * SP_qid (C type): cpg-ref-SP_next_solution. (line 20) * SP_query() (C function) <1>: cpg-ref-SP_query. (line 6) * SP_query() (C function): Finding One Solution of a Call. (line 6) * SP_query_cut_fail() (C function) <1>: cpg-ref-SP_query_cut_fail. (line 6) * SP_query_cut_fail() (C function): Finding One Solution of a Call. (line 11) * SP_raise_exception() (C function) <1>: Exception Handling in C. (line 17) * SP_raise_exception() (C function): cpg-ref-SP_raise_exception. (line 6) * SP_raise_fault() (C function): Exception Handling in C. (line 28) * SP_read_from_string() (C function) <1>: cpg-ref-SP_read_from_string. (line 6) * SP_read_from_string() (C function): Creating Prolog Terms. (line 57) * SP_realloc() (C function) <1>: OS Memory Management. (line 22) * SP_realloc() (C function): cpg-ref-SP_realloc. (line 6) * SP_register_atom() (C function) <1>: cpg-ref-SP_register_atom. (line 6) * SP_register_atom() (C function): Atoms in C. (line 35) * SP_restore() (C function) <1>: Loading Prolog Code. (line 11) * SP_restore() (C function): cpg-ref-SP_restore. (line 6) * SP_RT_DIR (system property): System Properties and Environment Variables. (line 85) * SP_RT_PATH (system property): System Properties and Environment Variables. (line 91) * SP_set_argv() (C function): cpg-ref-SP_set_argv. (line 6) * SP_set_current_dir() (C function) <1>: cpg-ref-SP_set_current_dir. (line 6) * SP_set_current_dir() (C function): OS File System. (line 12) * SP_set_memalloc_hooks() (C function): cpg-ref-SP_set_memalloc_hooks. (line 6) * SP_set_user_stream_hook() (C function) <1>: Hookable Standard Streams. (line 6) * SP_set_user_stream_hook() (C function): cpg-ref-SP_set_user_stream_hook. (line 6) * SP_set_user_stream_post_hook() (C function) <1>: cpg-ref-SP_set_user_stream_post_hook. (line 6) * SP_set_user_stream_post_hook() (C function): Hookable Standard Streams. (line 6) * SP_SIG_DFL (C macro): cpg-ref-SP_signal. (line 61) * SP_SIG_ERR (C macro): cpg-ref-SP_signal. (line 61) * SP_SIG_IGN (C macro): cpg-ref-SP_signal. (line 61) * SP_signal() (C function) <1>: Signal Handling. (line 9) * SP_signal() (C function): cpg-ref-SP_signal. (line 6) * SP_STARTUP_DIR (system property): System Properties and Environment Variables. (line 131) * SP_strdup() (C function) <1>: cpg-ref-SP_strdup. (line 6) * SP_strdup() (C function): OS Memory Management. (line 28) * SP_stream (C type): Prolog Streams. (line 15) * SP_string_from_atom() (C function) <1>: Atoms in C. (line 20) * SP_string_from_atom() (C function): cpg-ref-SP_string_from_atom. (line 6) * SP_SUCCESS (C macro) <1>: CPL Notes. (line 30) * SP_SUCCESS (C macro): cpg-rve. (line 6) * SP_TEMP_DIR (system property): System Properties and Environment Variables. (line 101) * SP_term_ref: Mixing C and Prolog. (line 16) * SP_term_ref (C type) <1>: Mixing C and Prolog. (line 16) * SP_term_ref (C type): Creating and Manipulating SP_term_refs. (line 6) * SP_term_ref (definition): Glossary. (line 735) * SP_term_type() (C function) <1>: Testing Prolog Terms. (line 11) * SP_term_type() (C function): cpg-ref-SP_term_type. (line 6) * SP_TYPE_ATOM (C macro): cpg-ref-SP_term_type. (line 37) * SP_TYPE_COMPOUND (C macro): cpg-ref-SP_term_type. (line 40) * SP_TYPE_FLOAT (C macro): cpg-ref-SP_term_type. (line 34) * SP_TYPE_INTEGER (C macro): cpg-ref-SP_term_type. (line 31) * SP_TYPE_VARIABLE (C macro): cpg-ref-SP_term_type. (line 28) * SP_ULIMIT_DATA_SEGMENT_SIZE (system property): System Properties and Environment Variables. (line 217) * SP_unget_byte() (C function): cpg-ref-SP_unget_byte. (line 6) * SP_unget_code() (C function): cpg-ref-SP_unget_code. (line 6) * SP_unify() (C function) <1>: Unifying and Comparing Terms. (line 9) * SP_unify() (C function): cpg-ref-SP_unify. (line 6) * SP_unregister_atom() (C function) <1>: cpg-ref-SP_unregister_atom. (line 6) * SP_unregister_atom() (C function): Atoms in C. (line 35) * SP_USE_DEVSYS (system property): Customizing the Debugged Runtime System. (line 12) * SP_USE_MALLOC (system property): System Properties and Environment Variables. (line 223) * space reclamation: ref-mgc-ove-rsp. (line 6) * space, program: ref-mgc-ove. (line 32) * space, reclamation: mpg-ref-abolish. (line 60) * spdet(1) (command line tool): too-spdet. (line 6) * spdet, the determinacy checker: The Determinacy Checker. (line 6) * spec, breakpoint: Creating Breakpoints. (line 6) * spec, mode: Mode Spec. (line 6) * spec, predicate (definition): Glossary. (line 608) * specific breakpoint: Specific and Generic Breakpoints. (line 6) * specification, directory: ref-fdi-fsp. (line 67) * specification, file <1>: ref-fdi-fsp. (line 67) * specification, file: ref-fdi-syn. (line 6) * specification, file (definition): Glossary. (line 292) * specifying streams: ref-iou-str. (line 22) * specifying streams, effiency and: ref-iou-str-not. (line 6) * SPIDER: SPIDER. (line 6) * spld: The Application Builder. (line 14) * spld(1) (command line tool): too-spld. (line 6) * splfr: The Foreign Resource Linker. (line 6) * splfr(1) (command line tool): too-splfr. (line 6) * split (Tcl command): Commands. (line 222) * splm(1) (command line tool): too-splm. (line 6) * spxref: Xref Introduction. (line 6) * spxref(1) (command line tool): too-spxref. (line 6) * spy this (debugger command): Debug Commands. (line 263) * spy this conditionally (debugger command): Debug Commands. (line 270) * spy/[1,2] (built-in) <1>: Breakpoint Predicates. (line 54) * spy/[1,2] (built-in): Plain Spypoint. (line 28) * spy/[1,2] (built-in, ref page): mpg-ref-spy. (line 6) * spypoint: Debug Intro. (line 17) * spypoint (definition): Glossary. (line 738) * spypoint, conditional: Creating Breakpoints. (line 26) * spypoint, plain <1>: Plain Spypoint. (line 6) * spypoint, plain: Creating Breakpoints. (line 16) * sqrt/1, square root (evaluable): ref-ari-aex. (line 205) * ss_choice (statistics key): ref-mgc-ove-sta. (line 193) * ss_global (statistics key): ref-mgc-ove-sta. (line 189) * ss_local (statistics key): ref-mgc-ove-sta. (line 191) * ss_time (statistics key): ref-mgc-ove-sta. (line 195) * stack, choice: ref-mgc-ove. (line 20) * stack, global: ref-mgc-ove. (line 24) * stack, local: ref-mgc-ove. (line 15) * stack, trail: ref-mgc-ove. (line 28) * stack_shifts (statistics key): ref-mgc-ove-sta. (line 143) * stand-alone executable: Stand-Alone Executables. (line 6) * stand-alone executable (definition): Glossary. (line 749) * standard streams: ref-iou-str. (line 22) * standard, order on terms: ref-lte-cte-sot. (line 6) * start/[0,1] (prologbeans): PB Prolog Server Interface. (line 14) * startServer on SICStus: Java Threads. (line 36) * state, program: Saving. (line 6) * state/2 (automaton/9 option): Combinatorial Constraints. (line 1275) * static predicate (definition): Glossary. (line 757) * static procedures: ref-mdb-dsp. (line 6) * static resource: Foreign Resources. (line 33) * statistics, displaying: ref-mgc-ove-sta. (line 6) * statistics, memory: ref-mgc-ove-sta. (line 6) * statistics/[0,2] (built-in) <1>: ref-mgc-gcp. (line 6) * statistics/[0,2] (built-in): ref-mgc-ove-sta. (line 6) * statistics/[0,2] (built-in, ref page): mpg-ref-statistics. (line 6) * steadfast predicate (definition): Glossary. (line 761) * step (labeling/2 option): Enumeration Predicates. (line 90) * stopServer on SICStus: Java Threads. (line 42) * store, consistent: Definitions. (line 10) * store, constraint: Definitions. (line 10) * store, contradictory: Definitions. (line 10) * store_slot/2 (objects): obj-exp-store_slot. (line 6) * stream (definition): Glossary. (line 766) * stream (load context key): ref-lps-lco. (line 30) * stream alias: ref-iou-sfh-sob. (line 36) * stream alias (definition): Glossary. (line 769) * stream errors: ref-iou-sfh-est. (line 9) * stream exceptions: ref-iou-sfh-est. (line 9) * stream object: ref-iou-sfh-sob. (line 6) * stream object (definition): Glossary. (line 777) * stream position: ref-iou-sos. (line 10) * stream position (definition): Glossary. (line 780) * stream position information for terminal I/O: ref-iou-sos-spt. (line 6) * stream position object: ref-iou-raf. (line 20) * stream property: mpg-ref-stream_property. (line 24) * stream property (definition): Glossary. (line 789) * stream, closing: ref-iou-sfh-cst. (line 6) * stream, current: ref-iou-sfh-bos. (line 6) * stream, end of: mpg-ref-at_end_of_stream. (line 14) * stream, position objects <1>: mpg-ref-stream_position. (line 26) * stream, position objects: mpg-ref-set_stream_position. (line 27) * stream_code/2 (built-in) <1>: ref-iou-sfh-sob. (line 37) * stream_code/2 (built-in): Prolog Streams. (line 10) * stream_code/2 (built-in, ref page): mpg-ref-stream_code. (line 6) * stream_object (argument type): mpg-ref-aty-ety. (line 11) * stream_position/2 (built-in): ref-iou-raf. (line 6) * stream_position/2 (built-in, ref page): mpg-ref-stream_position. (line 6) * stream_position_data/3 (built-in, ref page): mpg-ref-stream_position_data. (line 6) * stream_property/2 (built-in): ref-iou-sfh-bos. (line 14) * stream_property/2 (built-in, ref page): mpg-ref-stream_property. (line 6) * streams: ref-iou-sfh. (line 19) * streams, current input <1>: ref-iou-sfh-cos. (line 8) * streams, current input <2>: ref-iou-sfh-opn. (line 32) * streams, current input: ref-iou-sfh-cis. (line 9) * streams, current input and output: ref-iou-bas. (line 6) * streams, current output <1>: ref-iou-sfh-opn. (line 32) * streams, current output <2>: ref-iou-sfh-cis. (line 9) * streams, current output: ref-iou-sfh-cos. (line 8) * streams, null: ref-iou-sfh-opn. (line 77) * streams, opening: ref-iou-sfh-opn. (line 6) * streams, random access to: ref-iou-raf. (line 6) * streams, specifying: ref-iou-str. (line 22) * streams, standard: ref-iou-str. (line 22) * stretchmaxlen/2 (automaton/9 option): Combinatorial Constraints. (line 1244) * stretchminlen/2 (automaton/9 option): Combinatorial Constraints. (line 1250) * stretchocc/2 (automaton/9 option): Combinatorial Constraints. (line 1234) * stretchoccmod/3 (automaton/9 option): Combinatorial Constraints. (line 1239) * string (definition) <1>: Glossary. (line 793) * string (definition): ref-syn-cpt-sli. (line 6) * string first (Tcl command): Commands. (line 518) * string index (Tcl command): Commands. (line 496) * string last (Tcl command): Commands. (line 527) * string length (Tcl command): Commands. (line 536) * string match (Tcl command): Commands. (line 451) * string range (Tcl command): Commands. (line 504) * string string (Tcl command): Commands. (line 561) * string tolower (Tcl command): Commands. (line 548) * string toupper (Tcl command): Commands. (line 542) * string trim (Tcl command): Commands. (line 555) * string trimright (Tcl command): Commands. (line 569) * string, encoded: CPL Notes. (line 43) * string, encoded (definition): Glossary. (line 264) * strings, lists of character codes: ref-syn-cpt-sli. (line 6) * structs (library package): lib-structs. (line 19) * structure, control: ref-sem-ctr. (line 6) * structure, control (definition): Glossary. (line 186) * SU_initialize() (C function) <1>: too-spld. (line 284) * SU_initialize() (C function): cpg-ref-SU_initialize. (line 6) * sub_atom/5 (built-in): ref-lte-atm. (line 16) * sub_atom/5 (built-in, ref page): mpg-ref-sub_atom. (line 6) * sub_term/2 (terms): lib-terms. (line 220) * sublist/5 (lists): lib-lists. (line 347) * subseq/3 (lists): lib-lists. (line 231) * subseq0/2 (lists): lib-lists. (line 241) * subseq1/2 (lists): lib-lists. (line 252) * subset/2 (sets): lib-sets. (line 49) * subsumes/2 (terms): lib-terms. (line 14) * subsumeschk/2 (terms): lib-terms. (line 10) * subterm selector <1>: Breakpoint Tests. (line 263) * subterm selector: Queries. (line 64) * subterm selector (definition): Glossary. (line 804) * subtract/3 (sets): lib-sets. (line 112) * suffix/2 (lists): lib-lists. (line 392) * suffix_length/3 (lists): lib-lists. (line 310) * sum/3 (clpfd): Arithmetic Constraints. (line 35) * sumlist/2 (lists): lib-lists. (line 257) * sup/[2,4] (clpqr): CLPQR Solver Predicates. (line 93) * suppress (redefine_warnings flag value): ref-lps-flg. (line 308) * switch (Tcl command): Commands. (line 315) * symdiff/3 (sets): lib-sets. (line 125) * symmetric_closure/2 (ugraphs): lib-ugraphs. (line 92) * symmetric_closure/2 (wgraphs): lib-wgraphs. (line 97) * synchronization: lib-linda. (line 6) * synchronization/1 (disjoint2/2 option): Combinatorial Constraints. (line 726) * synopsis, reference page field: mpg-ref-ove. (line 14) * syntactic rewriting: ref-fdi-syn. (line 14) * syntax (definition): Glossary. (line 811) * syntax error: Syntax Errors. (line 6) * syntax errors: ref-ere-err-syn. (line 6) * syntax restrictions on operators: ref-syn-ops-res. (line 6) * syntax, formal: ref-syn-syn. (line 16) * syntax, of atoms: ref-syn-trm-ato. (line 6) * syntax, of compound terms: ref-syn-cpt. (line 11) * syntax, of floats: ref-syn-trm-flo. (line 6) * syntax, of integers: ref-syn-trm-int. (line 6) * syntax, of lists: ref-syn-cpt-lis. (line 6) * syntax, of sentences as terms: ref-syn-syn-sen. (line 6) * syntax, of terms as tokens: ref-syn-syn-trm. (line 6) * syntax, of tokens as character strings: ref-syn-syn-tok. (line 6) * syntax, of variables: ref-syn-trm-var. (line 6) * syntax, rule notation: ref-syn-syn-not. (line 6) * syntax_error/[1,5] (error class): ref-ere-err. (line 120) * syntax_errors (prolog flag) <1>: ref-ere-err. (line 123) * syntax_errors (prolog flag) <2>: ref-ere-err-syn. (line 30) * syntax_errors (prolog flag) <3>: ref-lps-flg. (line 330) * syntax_errors (prolog flag) <4>: mpg-ref-read. (line 47) * syntax_errors (prolog flag) <5>: mpg-ref-read_term. (line 38) * syntax_errors (prolog flag): Syntax Errors. (line 32) * syntax_errors/1 (read_term/[2,3] option): mpg-ref-read_term. (line 36) * system errors: ref-ere-err-sys. (line 6) * system properties: System Properties and Environment Variables. (line 6) * system property (definition): Glossary. (line 815) * system, development: Development and Runtime Systems. (line 6) * system, development (definition): Glossary. (line 238) * system, extended runtime (definition): Glossary. (line 275) * system, runtime <1>: Development and Runtime Systems. (line 6) * system, runtime: Stand-Alone Executables. (line 6) * system, runtime (definition): Glossary. (line 688) * system_error/[0,1] (error class): ref-ere-err. (line 149) * system_type (prolog flag): ref-lps-flg. (line 345) * table/[2,3] (clpfd): Combinatorial Constraints. (line 132) * tables, data: Data Tables. (line 6) * tail/2 (lists): lib-lists. (line 375) * tan/1 (evaluable): ref-ari-aex. (line 157) * tanh/1 (evaluable): ref-ari-aex. (line 169) * task_intervals/1 (cumulatives/3 option): Combinatorial Constraints. (line 610) * task_intervals/1 (geost/[2,3,4] option): Combinatorial Constraints. (line 864) * taut/2 (clpb): CLPB Interface. (line 19) * tcl_delete/1 (tcltk) <1>: Basic Functions. (line 66) * tcl_delete/1 (tcltk): Predicates for Prolog to Interact with Tcl Interpreters. (line 10) * tcl_eval/3 (tcltk) <1>: Predicates for Prolog to Interact with Tcl Interpreters. (line 14) * tcl_eval/3 (tcltk): Evaluation Functions. (line 132) * tcl_event/3 (tcltk) <1>: Predicates for Prolog to Interact with Tcl Interpreters. (line 19) * tcl_event/3 (tcltk): Event Functions. (line 9) * tcl_new/1 (tcltk) <1>: Basic Functions. (line 10) * tcl_new/1 (tcltk): Predicates for Prolog to Interact with Tcl Interpreters. (line 6) * tell/1 (built-in): ref-iou-sfh-opn. (line 55) * tell/1 (built-in, ref page): mpg-ref-tell. (line 6) * telling/1 (built-in): ref-iou-sfh-cos. (line 14) * telling/1 (built-in, ref page): mpg-ref-telling. (line 6) * term (argument type): mpg-ref-aty-ety. (line 13) * term (definition): Glossary. (line 825) * term comparison, predicates for <1>: mpg-top-tcm. (line 6) * term comparison, predicates for: ref-lte-sum. (line 47) * term conversions: Support Functions. (line 6) * term handling, predicates for <1>: mpg-top-tha. (line 6) * term handling, predicates for: ref-lte-sum. (line 71) * term I/O, predicates for <1>: mpg-top-tio. (line 6) * term I/O, predicates for: ref-iou-sum. (line 160) * term input: ref-iou-tin. (line 11) * term names <1>: FDBG Naming Terms. (line 6) * term names: FDBG Names of Terms. (line 6) * term output: ref-iou-tou. (line 15) * term reference: Mixing C and Prolog. (line 16) * term, atomic (definition): Glossary. (line 51) * term, callable (definition): Glossary. (line 103) * term, compound (definition): Glossary. (line 158) * term, cyclic <1>: mpg-ref-read_term. (line 62) * term, cyclic: mpg-ref-write_term. (line 58) * term, exception <1>: Exception Handling in C. (line 6) * term, exception: ref-ere-rex. (line 6) * term, indexed: The DB-Spec Informal Description. (line 15) * term, layout: mpg-ref-read_term. (line 69) * term, layout (definition): Glossary. (line 435) * term, mutable: ref-lte-mut. (line 21) * term, mutable (definition): Glossary. (line 527) * term, simple (definition): Glossary. (line 711) * term/1 (input method): Default Input Methods. (line 15) * term_depth/2 (terms): lib-terms. (line 243) * term_expansion/6 (hook, ref page): mpg-ref-term_expansion. (line 6) * term_expansion/6 (user, hook): ref-lod-exp. (line 12) * term_hash/[2,3,4] (terms): lib-terms. (line 28) * term_order/3 (terms): lib-terms. (line 174) * term_position (load context key): ref-lps-lco. (line 33) * term_size/2 (terms): lib-terms. (line 260) * term_subsumer/3 (terms): lib-terms. (line 23) * term_variables/2 (terms): lib-terms. (line 161) * term_variables/3 (aggregate): lib-aggregate. (line 172) * term_variables_bag/2 (terms): lib-terms. (line 164) * terminal I/O, stream position information for: ref-iou-sos-spt. (line 6) * terminating a backtracking loop: Terminating a Backtracking Loop. (line 14) * Terms in C, C functions for: cpg-top-tic. (line 6) * terms, arguments of: ref-lte-act. (line 12) * terms, as sentences: ref-syn-syn. (line 16) * terms, comparison of: ref-lte-cte. (line 12) * terms, compound: ref-syn-cpt. (line 11) * terms, cyclic: ref-sem-occ. (line 6) * terms, input and output of: ref-iou-bas. (line 14) * terms, ordering on: ref-lte-cte-sot. (line 6) * terms, predicates for looking at: ref-lte. (line 19) * terse (gc_trace flag value): ref-lps-flg. (line 174) * test condition, breakpoint: Goal Tests. (line 6) * test, breakpoint: Creating Breakpoints. (line 39) * test/[1,2] (plunit declaration): PlUnit A Unit Test Box. (line 17) * test_sub_bag/2 (bags): lib-bags. (line 171) * text (absolute_file_name/3 file type): mpg-ref-absolute_file_name. (line 58) * text (Tk widget): Types of Widget. (line 54) * thread, main: Calling Prolog Asynchronously. (line 10) * threads: OS Threads. (line 11) * threads, calling Prolog from: Calling Prolog Asynchronously. (line 10) * throw/1 (built-in): ref-ere-rex. (line 6) * throw/1 (built-in, ref page): mpg-ref-throw. (line 6) * throws/1 (plunit option): PlUnit A Unit Test Box. (line 145) * time_out/2 (labeling/2 option): Enumeration Predicates. (line 165) * time_out/3 (timeout): lib-timeout. (line 9) * timestamp: lib-file_systems. (line 247) * title (prolog flag): ref-lps-flg. (line 349) * tk_all_events (tk_do_one_event/1 option): Servicing Tk Events. (line 81) * tk_destroy_window/1 (tcltk) <1>: Housekeeping. (line 19) * tk_destroy_window/1 (tcltk): Predicates for Prolog to Interact with Tcl Interpreters with Tk Extensions. (line 78) * tk_do_one_event/[0,1] (tcltk) <1>: Servicing Tk Events. (line 52) * tk_do_one_event/[0,1] (tcltk): Predicates for Prolog to Interact with Tcl Interpreters with Tk Extensions. (line 29) * tk_dont_wait (tk_do_one_event/1 option): Servicing Tk Events. (line 65) * tk_file_events (tk_do_one_event/1 option): Servicing Tk Events. (line 72) * tk_idle_events (tk_do_one_event/1 option): Servicing Tk Events. (line 78) * tk_main_loop/0 (tcltk) <1>: Passing Control to Tk. (line 10) * tk_main_loop/0 (tcltk): Predicates for Prolog to Interact with Tcl Interpreters with Tk Extensions. (line 70) * tk_main_window/2 (tcltk) <1>: Housekeeping. (line 12) * tk_main_window/2 (tcltk): Predicates for Prolog to Interact with Tcl Interpreters with Tk Extensions. (line 74) * tk_make_window_exist/1 (tcltk) <1>: Predicates for Prolog to Interact with Tcl Interpreters with Tk Extensions. (line 81) * tk_make_window_exist/1 (tcltk): Housekeeping. (line 26) * tk_new/2 (tcltk) <1>: Basic Functions. (line 20) * tk_new/2 (tcltk): Predicates for Prolog to Interact with Tcl Interpreters with Tk Extensions. (line 6) * tk_next_event/[2,3] (tcltk) <1>: Servicing Tk Events. (line 113) * tk_next_event/[2,3] (tcltk) <2>: Event Functions. (line 35) * tk_next_event/[2,3] (tcltk): Predicates for Prolog to Interact with Tcl Interpreters with Tk Extensions. (line 63) * tk_num_main_windows/1 (tcltk) <1>: Housekeeping. (line 38) * tk_num_main_windows/1 (tcltk): Predicates for Prolog to Interact with Tcl Interpreters with Tk Extensions. (line 84) * tk_timer_events (tk_do_one_event/1 option): Servicing Tk Events. (line 75) * tk_window_events (tk_do_one_event/1 option): Servicing Tk Events. (line 69) * tk_x_events (tk_do_one_event/1 option): Servicing Tk Events. (line 68) * tokens: ref-syn-syn. (line 16) * told/0 (built-in): ref-iou-sfh-cst. (line 23) * told/0 (built-in, ref page): mpg-ref-told. (line 6) * top-level: Start. (line 41) * top_level_events/0 (tk_new/2 option): Basic Functions. (line 33) * top_sort/2 (ugraphs): lib-ugraphs. (line 106) * top_sort/2 (wgraphs): lib-wgraphs. (line 103) * toplevel (Tk widget): Types of Widget. (line 58) * toplevel_print_options (prolog flag) <1>: ref-lps-flg. (line 354) * toplevel_print_options (prolog flag) <2>: mpg-ref-write_term. (line 97) * toplevel_print_options (prolog flag) <3>: Queries. (line 61) * toplevel_print_options (prolog flag) <4>: mpg-ref-portray. (line 47) * toplevel_print_options (prolog flag): Message Phases. (line 31) * toplevel_show_store (CHR flag): CHR Debugging Predicates. (line 33) * total_runtime (statistics key): ref-mgc-ove-sta. (line 91) * trace (debugging flag value) <1>: mpg-ref-debugging. (line 24) * trace (debugging flag value): ref-lps-flg. (line 64) * trace (definition): Glossary. (line 829) * trace (unknown flag value): ref-lps-flg. (line 373) * trace/0 (built-in): Basic Debug. (line 28) * trace/0 (built-in, ref page): mpg-ref-trace. (line 6) * trace/0 (debugger mode control): Action Variables. (line 134) * trail (statistics key): ref-mgc-ove-sta. (line 115) * trail stack: ref-mgc-ove. (line 28) * trail_free (statistics key): ref-mgc-ove-sta. (line 177) * trail_used (statistics key): ref-mgc-ove-sta. (line 175) * TRAILSTKSIZE (system property): System Properties and Environment Variables. (line 161) * transitive_closure/2 (ugraphs): lib-ugraphs. (line 89) * transitive_closure/2 (wgraphs): lib-wgraphs. (line 92) * transpose/2 (lists): lib-lists. (line 267) * transpose_ugraph/2 (ugraphs): lib-ugraphs. (line 70) * transpose_wgraph/2 (wgraphs): lib-wgraphs. (line 87) * tree, binary <1>: lib-assoc. (line 6) * tree, binary: lib-avl. (line 6) * tree/1 (abolish/2 option): mpg-ref-abolish. (line 36) * tree_size/2 (trees): lib-trees. (line 44) * tree_to_list/2 (trees): lib-trees. (line 48) * trimcore/0 (built-in): ref-mgc-ove-rsp. (line 6) * trimcore/0 (built-in, ref page): mpg-ref-trimcore. (line 6) * true/0 (built-in, ref page): mpg-ref-true. (line 6) * true/0 (debugger condition): Other Tests. (line 35) * true/0 (plunit option): PlUnit A Unit Test Box. (line 97) * true/1 (debugger condition) <1>: Breakpoint Tests. (line 35) * true/1 (debugger condition): Other Tests. (line 20) * true/1 (plunit option): PlUnit A Unit Test Box. (line 97) * truncate/1 (evaluable): ref-ari-aex. (line 142) * type errors: ref-ere-err-typ. (line 6) * type of operators: ref-syn-ops-ove. (line 38) * type tests, C functions for: cpg-top-typ. (line 6) * type tests, predicates for <1>: ref-lte-sum. (line 6) * type tests, predicates for <2>: ref-lte-met-typ. (line 10) * type tests, predicates for: mpg-top-typ. (line 6) * type-in module <1>: ref-lps-flg. (line 363) * type-in module: ref-mod-som. (line 6) * type-in module (definition): Glossary. (line 833) * type-in module, changing: ref-mod-tyi. (line 6) * type/1 (open/4 option): mpg-ref-open. (line 47) * type/1 (stream property): mpg-ref-stream_property. (line 71) * type_definition/[2,3] (structs): str-etr. (line 11) * type_error/[2,4] (error class): ref-ere-err. (line 95) * typein_module (prolog flag): ref-lps-flg. (line 361) * ugraph_to_wgraph/2 (wgraphs): lib-wgraphs. (line 49) * ugraph_to_wgraph/3 (wgraphs): lib-wgraphs. (line 63) * unblock/0 (debugger port value): Port Tests. (line 13) * unblocked goal (definition): Glossary. (line 836) * unbound (definition): Glossary. (line 839) * UNC path: ref-fdi-syn. (line 72) * undefine_method/3 (objects): obj-exp-undefine_method. (line 6) * undefined predicate <1>: Undefined Predicates. (line 6) * undefined predicate <2>: ref-lps-flg. (line 366) * undefined predicate: mpg-ref-unknown_predicate_handler. (line 15) * unification: ref-sem-sec. (line 41) * unification (definition): Glossary. (line 842) * unification, explicit: ref-lte-met-usu. (line 10) * unifier, most general: ref-sem-sec. (line 98) * unify (debugger command): Debug Commands. (line 344) * unify_with_occurs_check/2 (built-in): ref-lte-met-usu. (line 21) * unify_with_occurs_check/2 (built-in, ref page): mpg-ref-unify_with_occurs_check. (line 6) * uninherit/1 (objects): obj-exp-uninherit. (line 6) * union/[2,3,4] (sets): lib-sets. (line 159) * unit clause: ref-sem-pro. (line 29) * unit clause (definition): Glossary. (line 862) * unknown (prolog flag) <1>: mpg-ref-unknown. (line 27) * unknown (prolog flag) <2>: mpg-ref-unknown_predicate_handler. (line 43) * unknown (prolog flag) <3>: ref-lps-flg. (line 366) * unknown (prolog flag) <4>: ref-ere-err. (line 108) * unknown (prolog flag): Undefined Predicates. (line 19) * unknown procedures, catching: ref-mdb-dsp. (line 61) * unknown/2 (built-in): Undefined Predicates. (line 21) * unknown/2 (built-in, ref page): mpg-ref-unknown. (line 6) * unknown_predicate_handler/3 (hook, ref page): mpg-ref-unknown_predicate_handler. (line 6) * unknown_predicate_handler/3 (user, hook) <1>: ref-ere-hex-hup. (line 6) * unknown_predicate_handler/3 (user, hook): Undefined Predicates. (line 6) * unleash/0 (debugger condition): Condition Macros. (line 10) * unload_foreign_resource/1 (built-in): Interface Predicates. (line 22) * unload_foreign_resource/1 (built-in, ref page): mpg-ref-unload_foreign_resource. (line 6) * unreachable code: Xref Introduction. (line 6) * unregister_event_listener/1 (prologbeans): PB Prolog Server Interface. (line 175) * unregister_query/1 (prologbeans): PB Prolog Server Interface. (line 103) * unset (Tcl command): Commands. (line 45) * up (labeling/2 option): Enumeration Predicates. (line 127) * update_mutable/2 (built-in): ref-lte-mut. (line 40) * update_mutable/2 (built-in, ref page): mpg-ref-update_mutable. (line 6) * uplevel (Tcl command): Commands. (line 768) * upvar (Tcl command): Commands. (line 740) * use of full-stop <1>: ref-iou-tin-trm. (line 25) * use of full-stop: ref-iou-tou-cha. (line 6) * use_module/[1,2,3] (built-in): ref-mod-lod. (line 27) * use_module/[1,2,3] (built-in, ref page): mpg-ref-use_module. (line 6) * user: Inserting Clauses. (line 6) * user (--main option value): too-spld. (line 82) * user:breakpoint_expansion/2 (hook) <1>: Hooks Related to Breakpoints. (line 8) * user:breakpoint_expansion/2 (hook): Condition Macros. (line 23) * user:debugger_command_hook/2 (hook) <1>: Breakpoint Predicates. (line 111) * user:debugger_command_hook/2 (hook): Hooks Related to Breakpoints. (line 72) * user:error_exception/1 (hook): Exceptions Debug. (line 15) * user:file_search_path/2 (hook): ref-fdi-fsp-def. (line 6) * user:generate_message_hook/3 (hook): Message Handling Predicates. (line 16) * user:message_hook/3 (hook): Message Handling Predicates. (line 25) * user:portray/1 (hook) <1>: ref-iou-tou-por. (line 6) * user:portray/1 (hook): CLPQR Fragments and Bits. (line 12) * user:portray_message/2 (hook): Message Handling Predicates. (line 12) * user:query_class_hook/5 (hook): Query Handling Predicates. (line 20) * user:query_hook/6 (hook): Query Handling Predicates. (line 14) * user:query_input_hook/3 (hook): Query Handling Predicates. (line 33) * user:query_map_hook/4 (hook): Query Handling Predicates. (line 43) * user:runtime_entry/1 (hook): too-spld. (line 73) * user:term_expansion/6 (hook): ref-lod-exp. (line 12) * user:unknown_predicate_handler/3 (hook) <1>: ref-ere-hex-hup. (line 6) * user:unknown_predicate_handler/3 (hook): Undefined Predicates. (line 6) * user_close() (C function): cpg-ref-user_close. (line 6) * user_error (prolog flag) <1>: Prolog Streams. (line 67) * user_error (prolog flag) <2>: ref-lps-flg. (line 399) * user_error (prolog flag): ref-iou-sfh-sob. (line 31) * user_error (stream alias): ref-iou-sfh-sob. (line 31) * user_flush_output() (C function): cpg-ref-user_flush_output. (line 6) * user_input (prolog flag) <1>: ref-lps-flg. (line 389) * user_input (prolog flag) <2>: Prolog Streams. (line 57) * user_input (prolog flag): ref-iou-sfh-sob. (line 21) * user_input (stream alias): ref-iou-sfh-sob. (line 21) * user_main() (C function): User-defined Main Programs. (line 10) * user_output (prolog flag) <1>: Prolog Streams. (line 62) * user_output (prolog flag) <2>: ref-lps-flg. (line 394) * user_output (prolog flag): ref-iou-sfh-sob. (line 26) * user_output (stream alias): ref-iou-sfh-sob. (line 26) * user_read() (C function): cpg-ref-user_read. (line 6) * user_write() (C function): cpg-ref-user_write. (line 6) * username/1 (odbc_db_open/4 option): ODBC Predicates. (line 19) * UTC: lib-file_systems. (line 247) * UTF-8 encoding: CPL Notes. (line 43) * val (all_different/2 on/1 value): Combinatorial Constraints. (line 451) * val (all_distinct/2 on/1 value): Combinatorial Constraints. (line 451) * val (global_cardinality/3 on/1 value): Combinatorial Constraints. (line 95) * val/1 (case/4 on/1 value): Combinatorial Constraints. (line 269) * val/1 (fd_global/[3,4] option): The Global Constraint Programming Interface. (line 94) * value (all_different/2 consistency/1 value): Combinatorial Constraints. (line 429) * value (all_distinct/2 consistency/1 value): Combinatorial Constraints. (line 429) * value (global_cardinality/3 consistency/1 value): Combinatorial Constraints. (line 80) * value (scalar_product/5 consistency/1 value): Arithmetic Constraints. (line 60) * value (table/3 consistency/1 value): Combinatorial Constraints. (line 154) * value/1 (labeling/2 option): Enumeration Predicates. (line 103) * valueprec/3 (automaton/9 option): Combinatorial Constraints. (line 1225) * var/1 (built-in, ref page): mpg-ref-var. (line 6) * variable: Terminology. (line 66) * variable (definition): Glossary. (line 865) * variable, anonymous: ref-syn-trm-var. (line 6) * variable, anonymous (definition): Glossary. (line 28) * variable, domain: CLPFD Interface. (line 10) * variable/1 (labeling/2 option): Enumeration Predicates. (line 73) * variable_names/1 (read_term/[2,3] option): mpg-ref-read_term. (line 45) * variables, attributed: lib-atts. (line 6) * variables, list of: FDBG Legend. (line 6) * variables, scope of: ref-sem-pro. (line 66) * variables, syntax of: ref-syn-trm-var. (line 6) * variables/1 (read_term/[2,3] option): mpg-ref-read_term. (line 41) * variant/2 (terms): lib-terms. (line 19) * varnumbers/[2,3] (varnumbers): lib-varnumbers. (line 43) * verbose (gc_trace flag value): ref-lps-flg. (line 171) * verify_attributes/3 (Module): lib-atts. (line 69) * version (prolog flag): ref-lps-flg. (line 404) * version_data (prolog flag): ref-lps-flg. (line 411) * vertices/2 (ugraphs): lib-ugraphs. (line 34) * vertices/2 (wgraphs): lib-wgraphs. (line 33) * vertices_edges_to_ugraph/3 (ugraphs): lib-ugraphs. (line 27) * vertices_edges_to_wgraph/3 (wgraphs): lib-wgraphs. (line 68) * view/0 (gauge): lib-gauge. (line 12) * visavis/1 (geost/[2,3,4] option): Combinatorial Constraints. (line 853) * visavis_floating/1 (geost/[2,3,4] option): Combinatorial Constraints. (line 846) * visavis_init/1 (geost/[2,3,4] option): Combinatorial Constraints. (line 841) * visibility rules for modules: ref-mod-vis. (line 6) * visualizer: FDBG Visualizers. (line 6) * volatile (definition): Glossary. (line 882) * volatile (predicate property): mpg-ref-predicate_property. (line 40) * volatile declaration: Volatile Declarations. (line 6) * volatile/0 (predicate property): ref-lps-app. (line 26) * volatile/1 (built-in, ref page): mpg-ref-volatile. (line 6) * volatile/1 (declaration): Volatile Declarations. (line 6) * walltime (statistics key): ref-mgc-ove-sta. (line 98) * WAM: Intro. (line 19) * warning (unknown flag value): ref-lps-flg. (line 382) * wgraph_to_ugraph/2 (wgraphs): lib-wgraphs. (line 36) * when/1 (load_files/2 option): mpg-ref-load_files. (line 40) * when/2 (built-in, ref page): mpg-ref-when. (line 6) * while (Tcl command): Commands. (line 252) * windowed executable (definition): Glossary. (line 886) * with_output_to_codes/[2,3,4] (codesio): lib-codesio. (line 52) * wordocc/2 (automaton/9 option): Combinatorial Constraints. (line 1256) * wordoccmod/3 (automaton/9 option): Combinatorial Constraints. (line 1260) * wordprefix/2 (automaton/9 option): Combinatorial Constraints. (line 1265) * wordsuffix/2 (automaton/9 option): Combinatorial Constraints. (line 1270) * wrap/2 (disjoint1/2 option): Combinatorial Constraints. (line 655) * wrap/4 (disjoint2/2 option): Combinatorial Constraints. (line 696) * write (absolute_file_name/3 access): mpg-ref-absolute_file_name. (line 139) * write (debugger command): Debug Commands. (line 188) * write (open/[3,4] mode): mpg-ref-open. (line 32) * write predicates: ref-iou-tou-wrt. (line 6) * write predicates, distinctions among: ref-iou-tou-dis. (line 6) * write/0 (debugger show control): Action Variables. (line 26) * write/[1,2] (built-in): ref-iou-tou-wrt. (line 6) * write/[1,2] (built-in, ref page): mpg-ref-write. (line 6) * write_canonical/[1,2] (built-in): ref-iou-tou-wrt. (line 6) * write_canonical/[1,2] (built-in, ref page): mpg-ref-write_canonical. (line 6) * write_term/1 (debugger show control): Action Variables. (line 29) * write_term/[2,3] (built-in): ref-iou-tou-wrt. (line 6) * write_term/[2,3] (built-in, ref page): mpg-ref-write_term. (line 6) * write_term_to_codes/[3,4] (codesio): lib-codesio. (line 27) * write_to_codes/[2,3] (codesio): lib-codesio. (line 20) * writeq/[1,2] (built-in): ref-iou-tou-wrt. (line 6) * writeq/[1,2] (built-in, ref page): mpg-ref-writeq. (line 6) * X, identity for numbers: ref-ari-aex. (line 223) * XEmacs: Emacs Interface. (line 7) * xml_parse/[2,3] (xml): lib-xml. (line 71) * xml_pp/1 (xml): lib-xml. (line 98) * xml_subterm/2 (xml): lib-xml. (line 93) * zero-quote notation for character conversion: ref-syn-trm-int. (line 20) * zip (debugger command): Debug Commands. (line 75) * zip (debugging flag value) <1>: ref-lps-flg. (line 70) * zip (debugging flag value): mpg-ref-debugging. (line 31) * zip (definition): Glossary. (line 890) * zip/0 (built-in): Basic Debug. (line 23) * zip/0 (built-in, ref page): mpg-ref-zip. (line 6) * zip/0 (debugger mode control): Action Variables. (line 140) * {}/1 (clpqr): CLPQR Solver Predicates. (line 10) * |, list separator: ref-syn-cpt-lis. (line 29) * ~ /1, boolean not: CLPB Introduction. (line 33)