Node:Book Index, Previous:Keystroke Index, Up:Top

Book Index

• !/0, cut: Cut, Control
• # /2, bitwise exclusive or: Arithmetic
• # /2, boolean eor: CLPB
• #/\ /2: Propositional Constraints
• #< /2: Arithmetic Constraints
• #<= /2: Propositional Constraints
• #<=> /2: Propositional Constraints, Reified Constraints
• #= /2: Arithmetic Constraints
• #=< /2: Arithmetic Constraints
• #=> /2: Propositional Constraints
• #> /2: Arithmetic Constraints
• #>= /2: Arithmetic Constraints
• #\ /1: Propositional Constraints
• #\ /2: Propositional Constraints
• #\/ /2: Propositional Constraints
• #\= /2: Arithmetic Constraints
• 'SU_messages':generate_message/3: Message Handling Predicates
• 'SU_messages':query_abbreviation/3: Query Handling Predicates
• 'SU_messages':query_class/5: Query Handling Predicates
• 'SU_messages':query_input/3: Query Handling Predicates
• 'SU_messages':query_map/4: Query Handling Predicates
• * /2, boolean and: CLPB
• * /2, multiplication: Arithmetic
• ** /2, exponent: Arithmetic
• + /1, identity: Arithmetic
• + /2, addition: Arithmetic
• + /2, boolean ior: CLPB
• ,/2, conjunction: Control
• - /1, negation: Arithmetic
• - /2, subtraction: Arithmetic
• --> /2, grammar rule: Definite
• -/2 (debugger show control): Action Variables
• -> /2 ;/2, if then else: Control
• -> /2, if then: Control
• . /2, consult: Read In
• . /2, identity: Arithmetic
• / /2, floating division: Arithmetic
• // /2, integer division: Arithmetic
• /\ /2, bitwise conjunction: Arithmetic
• :- /1, directive: Directives
• :- /2, clause: Programs
• :/2: Control
• ::/1 (message sending): Obj Self
• ::/2 (message sending): Obj Self
• ;/2, disjunction: Control
• < /2, arithmetic less than: Arithmetic
• < /2, boolean less: CLPB
• <:/1 (message delegation): Obj Self
• <:/2 (message delegation): Obj Self
• << /2, left shift: Arithmetic
• = /2, unification: Misc Pred
• =.. /2, univ: Meta Logic
• =/2 (clpfd:dispatch_global/4 request): The Global Constraint Programming Interface
• =:= /2, arithmetic equal: Arithmetic
• =:= /2, boolean equal: CLPB
• =< /2, arithmetic less or equal: Arithmetic
• =< /2, boolean less or equal: CLPB
• == /2, equality of terms: Term Compare
• =\= /2, arithmetic not equal: Arithmetic
• =\= /2, boolean not equal: CLPB
• > /2, arithmetic greater than: Arithmetic
• > /2, boolean greater: CLPB
• >= /2, arithmetic greater or equal: Arithmetic
• >= /2, boolean greater or equal: CLPB
• >> /2, right shift: Arithmetic
• ?- /1, query: Queries
• ?= /2, terms identical or cannot unify: Term Compare
• @< /2, term less than: Term Compare
• @=< /2, term less or equal: Term Compare
• @> /2, term greater than: Term Compare
• @>= /2, term greater or equal: Term Compare
• []/0 (debugger condition): Other Tests
• []/0, consult: Read In
• \ /1, bitwise negation: Arithmetic
• \+ /1, not provable: Control
• \/ /2, bitwise disjunction: Arithmetic
• \= /2, not unifiable: Misc Pred
• \== /2, inequality of terms: Term Compare
• ^ /2, boolean existential quantifier: CLPB
• ^ /2, existential quantifier: All Solutions
• abolish: Glossary
• abolish/0 (object method): The Proto-Object
• abolish/1: Modify Prog
• abolish/2: Modify Prog
• abort (debugger command): Debug Commands
• abort/0: Misc Pred
• abort/0 (debugger command control): Action Variables
• abs/1, absolute value: Arithmetic
• absolute_file_name/2: Stream Pred
• absolute_file_name/3: Stream Pred
• access driven programming: Obj Daemons
• access/1 (absolute_file_name/3 option): Stream Pred
• accumulating parameter: Accumulating Parameters
• acos/1, function: Arithmetic
• acosh/1, function: Arithmetic
• acot/1, function: Arithmetic
• acot2/2, function: Arithmetic
• acoth/1, function: Arithmetic
• action condition, breakpoint: Action Conditions
• action execution, breakpoint: Breakpoint Actions
• action variables, debugger: Breakpoint Actions, Action Variables
• action, breakpoint: Creating Breakpoints, Breakpoint Actions
• acyclic_term/1: Term Utilities
• add_breakpoint/2: Debug Pred, Breakpoint Predicates
• add_edges/3: WGraphs, UGraphs
• add_to_heap/4: Heaps
• add_vertices/3: WGraphs, UGraphs
• advice breakpoint: Advice-points, Advanced Debugging
• advice-point: Glossary
• advice/0 (debugger condition): Advice-points, Other Tests
• agc_margin (prolog flag): State Info
• alias, file search: Input Output, Stream Pred
• alias, of a stream: Input Output
• alias, stream: Glossary
• alias/1 (open/4 option): Stream Pred
• alias/1 (stream property): Stream Pred
• aligned pointer: Glossary
• all (labeling/2 option): Enumeration Predicates
• all (profile_data/4 resolution): Profiling
• all solutions: All Solutions
• all_different/1: Combinatorial Constraints
• all_different/2: Combinatorial Constraints
• all_distinct/1: Combinatorial Constraints
• all_distinct/2: Combinatorial Constraints
• alphanumeric: Glossary
• ancestor goal: Debug Format
• ancestor/1 (utility method): The Utility Object
• ancestor/2 (debugger condition): Accessing Past Debugger States, Goal Tests
• ancestor/2 (utility method): The Utility Object
• ancestors: Glossary
• ancestors (debugger command): Debug Commands
• ancestors/1 (utility method): The Utility Object
• ancestors/2 (utility method): The Utility Object
• and_cast/2 (utility method): The Utility Object
• annotate goal (debugger command): FDBG Debugger Commands
• annotation: FDBG Names of Terms
• anonymous: Glossary
• anonymous variable: Variables
• ANSI conformance: Notes, Function Prototypes
• anti-unifications: Term Utilities
• API: Mixing C and Prolog
• append (open/[3,4] mode): Stream Pred
• append, avoiding: Accumulating Lists
• append/3: Lists
• application builder: The Application Builder
• aref/3: Arrays
• arefa/3: Arrays
• arefl/3: Arrays
• arg/3: Meta Logic
• argument: Glossary
• arguments, command-line: Start
• argv (prolog flag): State Info
• arithmetic: Arithmetic
• arity: Glossary, Compound Terms
• array_to_list/2: Arrays
• arrays: Arrays
• aset/4: Arrays
• asin/1, function: Arithmetic
• asinh/1, function: Arithmetic
• ask/0 (debugger command control): Action Variables
• ask_query/4: Query Handling Predicates
• assert/1: Modify Prog
• assert/1 (object method): The Proto-Object, Method Additions
• assert/2: Modify Prog
• assert/2 (object method): The Proto-Object
• asserta/1: Modify Prog
• asserta/1 (object method): The Proto-Object, Method Additions
• asserta/2: Modify Prog
• asserta/2 (object method): The Proto-Object
• assertz/1: Modify Prog
• assertz/1 (object method): Method Additions, The Proto-Object
• assertz/2: Modify Prog
• assertz/2 (object method): The Proto-Object
• assignment, destructive: Modify Term
• assignment/2: Combinatorial Constraints
• assignment/3: Combinatorial Constraints
• assoc_to_list/2: Assoc
• association lists: Assoc
• assumptions/1 (labeling/2 option): Enumeration Predicates
• asynchronously, calling Prolog: Calling Prolog Asynchronously
• at_end_of_line/0: Stream Pred
• at_end_of_line/1: Stream Pred
• at_end_of_stream/0: Stream Pred
• at_end_of_stream/1: Stream Pred
• atan/1, function: Arithmetic
• atan2/2, function: Arithmetic
• atanh/1, function: Arithmetic
• atom: Glossary, Atoms
• atom (double_quotes flag value): State Info
• atom, one-char: Glossary
• atom/1: Meta Logic
• atom_chars/2: Meta Logic
• atom_codes/2: Meta Logic
• atom_concat/3: Meta Logic
• atom_garbage_collection (statistics/2 option): State Info
• atom_length/2: Meta Logic
• atom_to_chars/2: Chars I/O
• atom_to_chars/3: Chars I/O
• atomic term: Glossary
• atomic/1: Meta Logic
• atoms (statistics/2 option): State Info
• attribute declaration: Attributes
• attribute/1 (declaration): Attributes
• attribute_goal/2: Attributes
• attributed variables: Attributes
• attributes, object: Object Attributes, Obj Intro
• attributes/1 (universal method): Universal Methods
• augment/1 (object method): The Proto-Object
• augmenta/1 (object method): The Proto-Object
• augmentz/1 (object method): The Proto-Object
• auto-generation of names: FDBG Name Auto-Generation
• avoiding append: Accumulating Lists
• backtrace: Glossary, Debug Commands, Accessing Past Debugger States
• backtrace (debugger command): Debug Commands
• backtracking: Glossary, Procedural
• backtracking, terminating a loop: Terminating a Backtracking Loop
• backtracks (fd_statistics/2 option): Statistics Predicates
• backtracks (profile_data/4 option): Profiling
• bagof/3: All Solutions
• bagof_rd_noblock/3: Client
• bb_delete/2: Blackboard Primitives
• bb_get/2: Blackboard Primitives
• bb_inf/3: Solver Predicates
• bb_inf/5: Solver Predicates
• bb_put/2: Blackboard Primitives
• bb_update/3: Blackboard Primitives
• bid/1 (debugger condition): Port Tests
• binary stream: Input Output
• binary trees: Trees
• binding: Glossary
• bisect (labeling/2 option): Enumeration Predicates
• blackboard: Blackboard Primitives
• block declaration: Block Declarations
• block/0 (debugger port value): Port Tests
• block/1 (declaration): Block Declarations
• blocked goal: Debug Format, Glossary
• blocked goals (debugger command): Debug Commands, FDBG Debugger Commands
• body: Programs, Glossary
• bof (seek/4 method): Stream Pred
• bound/1 (cumulatives/3 option): Combinatorial Constraints
• bounded (prolog flag): State Info
• bounds_only/1 (cumulative/5 option): Combinatorial Constraints
• bounds_only/1 (serialized/3 option): Combinatorial Constraints
• box, invocation: Glossary
• box, procedure: Procedure Box, Glossary
• break: Nested
• break (debugger command): Debug Commands
• break/0: Misc Pred, Nested
• break_level/1 (debugger condition): Past States, Break Tests
• breakpoint: Glossary
• breakpoint action: Creating Breakpoints, Breakpoint Actions
• breakpoint action condition: Action Conditions
• breakpoint action execution: Breakpoint Actions
• breakpoint condition: Creating Breakpoints
• breakpoint conditions: Breakpoint Conditions
• breakpoint handling predicates: Breakpoint Predicates
• breakpoint identifier: Creating Breakpoints
• breakpoint processing: Breakpoint Processing
• breakpoint spec: Glossary, Creating Breakpoints
• breakpoint test: Creating Breakpoints
• breakpoint test condition: Goal Tests
• breakpoint, advice: Advice-points, Advanced Debugging
• breakpoint, debugger: Advanced Debugging
• breakpoint, generic: Specific and Generic Breakpoints
• breakpoint, line: Usage
• breakpoint, setting: Usage
• breakpoint, specific: Specific and Generic Breakpoints
• breakpoint_expansion/2: Hooks Related to Breakpoints, Condition Macros
• buffer: Glossary
• builder, application: The Application Builder
• built-in predicate: Programs, Glossary
• Button (Tk event type): Event Handling
• button (Tk widget): Types of widget
• ButtonPress (Tk event type): Event Handling
• ButtonRelease (Tk event type): Event Handling
• byte_count/2: Stream Pred
• C/3: Definite
• cache_size/1 (db_open/5 option): The predicates
• call (leashing mode): Basic Debug
• call, procedure: Procedural
• call/0 (debugger port value): Port Tests
• call/1: Control
• call/1 (clpfd:dispatch_global/4 request): The Global Constraint Programming Interface
• call_cleanup/2: Control
• call_residue/2: Coroutining
• callable term: Glossary
• callable/1: Meta Logic
• calling Prolog asynchronously: Calling Prolog Asynchronously
• calling Prolog from C: Calling Prolog
• calls (profile_data/4 option): Profiling
• CallSpec: Terminology
• canvas (Tk widget): Types of widget
• card/2, boolean cardinality: CLPB
• case/3: Combinatorial Constraints
• case/4: Combinatorial Constraints
• catch/3: Exception
• ceiling/1, function: Arithmetic
• char_code/2: Meta Logic
• char_conversion (prolog flag): State Info
• char_conversion/2: Term I/O
• character code: Glossary
• character code set: WCX Concepts, Glossary
• character I/O: Char I/O
• character set: Environment Variables, Token String
• character, EOF: Keyboard Characters
• character, interrupt: Keyboard Characters
• character-conversion mapping: Glossary
• character-type mapping: Glossary, WCX Concepts
• character_count/2: Stream Pred
• character_escapes (prolog flag): State Info
• characters, wide: Input Output
• chars (double_quotes flag value): State Info
• checkbutton (Tk widget): Types of widget
• choice (statistics/2 option): State Info
• choice_points (profile_data/4 option): Profiling
• choicepoints: Glossary
• CHOICESTKSIZE (environment): Environment Variables
• CHR control flow model: CHR Control Flow Model
• CHR debugging messages: CHR Debugging Messages
• CHR debugging options: CHR Debugging Options
• CHR debugging predicates: CHR Debugging Predicates
• CHR spypoints: CHR spypoints
• chr_debug/0: CHR Debugging Predicates
• chr_debugging/0: CHR Debugging Predicates
• chr_leash/1: CHR Debugging Predicates
• chr_nodebug/0: CHR Debugging Predicates
• chr_nospy/1: CHR spypoints
• chr_notrace/0: CHR Debugging Predicates
• chr_spy/1: CHR spypoints
• chr_trace/0: CHR Debugging Predicates
• circuit/1: Combinatorial Constraints
• circuit/2: Combinatorial Constraints
• clash, name: Glossary
• clause: Programs, Glossary
• clause (profile_data/4 resolution): Profiling
• clause, guarded: Conditionals and Disjunction
• clause, unit: Glossary
• clause/2: Modify Prog
• clause/3: Modify Prog
• clauseref/5 (source information descriptor): Message Handling Predicates
• clique/3: UGraphs
• close (Tcl command): File I/O
• close on SPQuery: Jasper Package Class Reference
• close/1: Stream Pred
• close/2: Stream Pred
• close_client/0: Client
• clpfd:dispatch_global/4: The Global Constraint Programming Interface
• clpfd:full_answer/0: Answer Constraints
• CLSID: Terminology
• code, character: Glossary
• code, glue: Glossary
• code, source: Glossary
• code, unreachable: Xref Introduction
• code, wide character: WCX Concepts
• codes (double_quotes flag value): State Info
• collection, garbage: State Info, Glossary
• coloring/3: UGraphs
• colouring/3: UGraphs
• comclient_clsid_from_progid/2: COM Client Predicates
• comclient_create_instance/2: COM Client Predicates
• comclient_equal/2: COM Client Predicates
• comclient_exception_code/2: COM Client Predicates
• comclient_exception_culprit/2.: COM Client Predicates
• comclient_exception_description/2: COM Client Predicates
• comclient_garbage_collect/0: COM Client Predicates
• comclient_get_active_object/2: COM Client Predicates
• comclient_iid_from_name/2: COM Client Predicates
• comclient_invoke_method_fun/3: COM Client Predicates
• comclient_invoke_method_proc/2: COM Client Predicates
• comclient_invoke_put/3: COM Client Predicates
• comclient_is_exception/1: COM Client Predicates
• comclient_is_object/1: COM Client Predicates
• comclient_name_from_iid/2: COM Client Predicates
• comclient_progid_from_clsid/2: COM Client Predicates
• comclient_release/1: COM Client Predicates
• comclient_valid_object/1: COM Client Predicates
• ComInArg: Terminology
• command (debugger command): Debug Commands
• command-line arguments: Start
• command/1 (debugger condition): Port Tests, Breakpoint Actions, Action Conditions
• commands, debug: Debug Commands
• communication, process: Linda Library, Sockets
• compactcode: Glossary
• compactcode (compiling flag value): Load Intro, State Info
• compare/3: Term Compare
• comparison, term: Term Compare
• compilation: Read In
• compilation_mode/1 (load_files/2 option): Read In
• compile: Glossary
• compile-buffer (emacs command): Usage
• compile-file (emacs command): Usage
• compile-predicate (emacs command): Usage
• compile-region (emacs command): Usage
• compile/1: Load Predicates, Read In
• compiling: Run Intro
• compiling (prolog flag): State Info
• complement/2: UGraphs
• compose/3: UGraphs
• compound term: Compound Terms, Terms, Glossary
• compound/1: Meta Logic
• computation rule: Procedural
• ComValue: Terminology
• concat (Tcl command): Lists (Tcl)
• concepts, FDBG: FDBG Concepts
• condition, breakpoint: Creating Breakpoints
• conditional spypoint: Creating Breakpoints
• conditionals: Conditionals and Disjunction
• conditions, breakpoint: Breakpoint Conditions
• conformance, ANSI: Notes, Function Prototypes
• conjunction: Glossary
• considerations for fcompile: Considerations
• consistency/1 (all_different/2 option): Combinatorial Constraints
• consistency/1 (all_distinct/2 option): Combinatorial Constraints
• consistency/1 (assignment/3 option): Combinatorial Constraints
• consistency_error/[3,4] (error class): Exception
• consistent store: Definitions
• console-based executable: Glossary
• constant: Terms, Glossary
• constraint: CLPFD Interface
• constraint store: Definitions
• constraint, global: The Global Constraint Programming Interface
• constraints (fd_statistics/2 option): Statistics Predicates
• constraints, posting: Posting Constraints
• consult: Glossary
• consult-buffer (emacs command): Usage
• consult-file (emacs command): Usage
• consult-predicate (emacs command): Usage
• consult-region (emacs command): Usage
• consult/1: Load Predicates, Read In
• consulting: Reading In, Load Predicates, Run Intro, Read In
• consume_layout/1 (read_term/[2,3] option): Term I/O
• context, load: State Info
• context_error/[2,3] (error class): Exception
• contradictory store: Definitions
• conversions, term: Support
• copy_term/2: Meta Logic
• core (statistics/2 option): State Info
• coroutining: Coroutining
• cos/1, function: Arithmetic
• cosh/1, function: Arithmetic
• cot/1, function: Arithmetic
• coth/1, function: Arithmetic
• count/4: Combinatorial Constraints
• counter: Profiling
• create_mutable/2: Modify Term
• creep: Glossary
• creep (debugger command): Debug Commands
• cross-referencer: Xref Introduction
• cumulative/4: Combinatorial Constraints
• cumulative/5: Combinatorial Constraints
• cumulatives/2: Combinatorial Constraints
• cumulatives/3: Combinatorial Constraints
• current (seek/4 method): Stream Pred
• current input stream: Input Output
• current output stream: Input Output
• current_atom/1: State Info
• current_breakpoint/4: Breakpoint Predicates, Debug Pred
• current_char_conversion/2: Pred Summary, Term I/O
• current_constraint/2: CHR Built-In Predicates
• current_handler/2: CHR Built-In Predicates
• current_host/1: Sockets
• current_input/1: Stream Pred
• current_key/2: Database
• current_module/1: State Info
• current_module/2: State Info
• current_op/3: Misc Pred
• current_output/1: Stream Pred
• current_predicate/1: State Info
• current_predicate/2: State Info
• current_prolog_flag/2: State Info
• current_stream/3: Stream Pred
• cursor: Glossary
• customize-group (emacs command): Installation
• customize-variable (emacs command): Installation
• cut: Cut, Glossary, Cut Overview
• cut and generate-and-test: Terminating a Backtracking Loop
• cut on SPQuery: Jasper Package Class Reference
• cut, green: Cut
• cut, placement of: Placement of Cuts
• cut, red: Cut
• cycles/1 (read_term/[2,3] option): Term I/O
• cycles/1 (write_term/[2,3] option): Term I/O
• cyclic term: Occur, Term I/O
• cyclic_term/1: Term Utilities
• daemon: Obj Daemons
• data resource: The Application Builder
• data tables: Data Tables
• database: Basics, Glossary, Database
• database reference: Glossary
• datime/1: System Utilities
• datime/2: System Utilities
• db-spec: The DB-Spec Informal Description
• db_close/1: The predicates
• db_close_env/1: The predicates
• db_current/5: The predicates
• db_current_env/2: The predicates
• db_current_iterator/3: The predicates
• db_enumerate/3: The predicates
• db_erase/2: The predicates
• db_erase/3: The predicates
• db_fetch/3: The predicates
• db_findall/3: The predicates
• db_iterator_done/1: The predicates
• db_iterator_next/3: The predicates
• db_make_iterator/2: The predicates
• db_make_iterator/3: The predicates
• db_open/4: The predicates
• db_open/5: The predicates
• db_open_env/2: The predicates
• db_open_env/3: The predicates
• db_store/3: The predicates
• DCG: Definite
• debug: Glossary
• debug (debugging flag value): State Info
• debug (prolog flag): State Info
• debug commands: Debug Commands
• debug/0: Basic Debug, Debug Pred
• debug/0 (debugger mode control): Action Variables
• debugcode: Glossary
• debugcode (compiling flag value): Load Intro, State Info
• debugger action variables: Action Variables, Breakpoint Actions
• debugger breakpoint: Advanced Debugging
• debugger port: Port Tests
• debugger, port: Procedure Box
• debugger-ancestor: Goal Tests
• debugger-parent: Goal Tests
• debugger/0 (debugger condition): Advice-points, Other Tests
• debugger_command_hook/2: Debug Pred, Hooks Related to Breakpoints, Breakpoint Predicates
• debugger_print_options (prolog flag): State Info
• debugging: Debug Intro
• debugging (debugger command): Debug Commands
• debugging (prolog flag): State Info
• debugging messages: Debug Format
• debugging messages, CHR: CHR Debugging Messages
• debugging options, CHR: CHR Debugging Options
• debugging predicates: Basic Debug
• debugging/0: Debug Pred, Basic Debug
• dec10 (syntax_errors flag value): State Info
• declaration: Glossary
• declaration, attribute: Attributes
• declaration, block: Block Declarations
• declaration, discontiguous: Discontiguous Declarations
• declaration, dynamic: Dynamic Declarations
• declaration, include: Include Declarations
• declaration, meta-predicate: Meta-Predicate Declarations, Meta Decl
• declaration, mode: Mode Declarations
• declaration, module: Module Declarations
• declaration, multifile: Load Predicates, Multifile Declarations
• declaration, operator: Declarations
• declaration, predicate: Declarations
• declaration, public: Public Declarations
• declaration, volatile: Volatile Declarations
• declarations: Declarations
• declarative semantics: Declarative
• declaring nondeterminacy: Declaring Nondeterminacy
• decomposition/1 (cumulative/5 option): Combinatorial Constraints
• decomposition/1 (disjoint1/2 option): Combinatorial Constraints
• decomposition/1 (disjoint2/2 option): Combinatorial Constraints
• decomposition/1 (serialized/3 option): Combinatorial Constraints
• deep failure: Profiling
• deep_fails (profile_data/4 option): Profiling
• definite clause: Prolog Intro
• definition, procedure: Procedural
• deinit function: Glossary
• del_assoc/4: Assoc
• del_edges/3: UGraphs, WGraphs
• del_max_assoc/4: Assoc
• del_min_assoc/4: Assoc
• del_vertices/3: UGraphs, WGraphs
• delegation: Obj Intro
• delegation, message: Obj Self
• delete/3: Lists
• delete_file/1: System Utilities
• delete_file/2: System Utilities
• delete_from_heap/4: Heaps
• depth/1 (debugger condition): Breakpoint Tests, Goal Tests
• descendant/1 (utility method): The Utility Object
• descendant/2 (utility method): The Utility Object
• descendants/1 (utility method): The Utility Object
• descendants/2 (utility method): The Utility Object
• destructive assignment: Modify Term
• determinacy checker: The Determinacy Checker
• determinacy detection, last clause: Last Clause Determinacy Detection
• determinacy detection, via indexing: Determinacy Detection
• determinate: Glossary
• development system: Development and Runtime Systems, Glossary
• dif/2: Coroutining
• differential inheritance: Differential Inheritance
• directive: Queries and Directives, Glossary, Start
• directory (load_context/2 key): State Info
• directory_files/2: System Utilities
• disable this (debugger command): Debug Commands
• disable_breakpoints/1: Breakpoint Predicates, Debug Pred
• discontiguous declaration: Discontiguous Declarations
• discontiguous/1 (declaration): Discontiguous Declarations
• discontiguous_warnings (prolog flag): State Info
• discrepancy/1 (labeling/2 option): Enumeration Predicates
• disjoint1/1: Combinatorial Constraints
• disjoint1/2: Combinatorial Constraints
• disjoint2/1: Combinatorial Constraints
• disjoint2/2: Combinatorial Constraints
• disjunction: Conditionals and Disjunction, Glossary
• display (debugger command): Debug Commands
• display/0 (debugger show control): Action Variables
• display/1: Term I/O
• display/1 (tk_new/2 option): Creating a Tcl interpreter extended with Tk
• dom/1 (case/4 spec): Combinatorial Constraints
• dom/1 (fd_global/3 spec): The Global Constraint Programming Interface
• domain variable: CLPFD Interface
• domain, finite: CLPFD Interface
• domain-consistent: Definitions
• domain-disentailed: Definitions
• domain-entailed: Definitions
• domain/3: Membership Constraints
• domain_error/[2,4] (error class): Exception
• double_quotes (prolog flag): State Info
• down (labeling/2 option): Enumeration Predicates
• dump/3: Solver Predicates
• dynamic declaration: Dynamic Declarations
• dynamic method: Dynamic Methods
• dynamic object: Obj Intro, Obj Dynamic, Dynamically Declared Objects
• dynamic predicate: Glossary
• dynamic/0 (object method): Dynamically Declared Objects, The Proto-Object
• dynamic/1 (declaration): Dynamic Declarations
• dynamic/1 (object method): The Proto-Object, Dynamic Methods
• dynamic_methods/1 (utility method): The Utility Object
• dynamic_objects/1 (utility method): The Utility Object
• ect (order_resource/2 option): Enumeration Predicates
• edge_finder/1 (cumulative/5 option): Combinatorial Constraints
• edge_finder/1 (serialized/3 option): Combinatorial Constraints
• edges/2: WGraphs, UGraphs
• efficiency, increasing: Writing Efficient Programs
• element/3: Combinatorial Constraints
• emacs interface: Emacs Interface
• empty_assoc/1: Assoc
• empty_fdset/1: FD Set Operations
• empty_heap/1: Heaps
• empty_interval/2: FD Set Operations
• empty_queue/1: Queues
• enable this (debugger command): Debug Commands
• enable_breakpoints/1: Breakpoint Predicates, Debug Pred
• encoded string: Glossary
• encoding, external: WCX Concepts
• encoding, external (of wide characters): Glossary
• encoding, internal: WCX Concepts
• encoding, internal (of wide characters): Glossary
• encoding, system: WCX Concepts
• encoding, system (of wide characters): Glossary
• encoding, UTF-8: Glossary
• end of line: Stream Pred
• end of stream: Stream Pred
• end_of_stream/1 (stream property): Stream Pred
• ensure_loaded/1: Read In, Load Predicates
• entailed/1: Solver Predicates
• entailments (fd_statistics/2 option): Statistics Predicates
• Enter (Tk event type): Event Handling
• entry (Tk widget): Types of widget
• enum (labeling/2 option): Enumeration Predicates
• environ/2: System Utilities
• environment/1 (db_open/5 option): The predicates
• eof (seek/4 method): Stream Pred
• eof (Tcl command): File I/O
• EOF character: Keyboard Characters
• eof_action/1 (open/4 option): Stream Pred
• eof_action/1 (stream property): Stream Pred
• eof_code (open/4 eof_action value): Stream Pred
• erase/1: Modify Prog
• error (open/4 eof_action value): Stream Pred
• error (syntax_errors flag value): State Info
• error (unknown flag value): Undefined Predicates, State Info, Debug Pred
• error handling: Exception, Exceptions Debug
• error, syntax: Syntax Errors
• error_exception/1: Debug Pred, Exceptions Debug
• escape sequence: Escape Sequences, State Info, Glossary
• est (order_resource/2 option): Enumeration Predicates
• eval (Tcl command): Control flow
• evaluation_error/[2,4] (error class): Exception
• event, FDBG: FDBG Events
• exception (leashing mode): Basic Debug
• exception handling: Exceptions Debug, Exception
• exception handling in C: Exception Handling in C
• exception/1 (debugger command control): Action Variables
• exception/1 (debugger port value): Port Tests
• exec/3: System Utilities
• executable, console-based: Glossary
• executable, stand-alone: Glossary, Stand-alone Executables
• executable, windowed: Glossary
• execution: Execution
• execution profiling: Profiling
• execution, nested: Nested
• execution_state/1: Built-in Predicates for Breakpoint Handling, Breakpoint Predicates, Debug Pred
• execution_state/2: Breakpoint Predicates, Accessing Past Debugger States, Debug Pred
• execution_time (profile_data/4 option): Profiling
• existence_error/[2,5] (error class): Exception
• exit (leashing mode): Basic Debug
• exit/0 (clpfd:dispatch_global/4 request): The Global Constraint Programming Interface
• exit/1 (debugger port value): Port Tests
• exiting: Exiting
• exp/1, exponent: Arithmetic
• exp/2, exponent: Arithmetic
• expand/0: Syntactic Sugar
• expand_term/2: Definite
• expansion, macro: Definite
• expansion, module name: Meta-Predicate Declarations, Meta Exp, Glossary
• export: Glossary
• exported predicate: Basic Concepts
• expr (Tcl command): Expressions
• extensions/1 (absolute_file_name/3 option): Stream Pred
• external encoding: WCX Concepts
• external encoding (of wide characters): Glossary
• fact: Glossary
• fail (debugger command): Debug Commands
• fail (leashing mode): Basic Debug
• fail (syntax_errors flag value): State Info
• fail (unknown flag value): Debug Pred, Undefined Predicates, State Info
• fail/0: Control
• fail/0 (clpfd:dispatch_global/4 request): The Global Constraint Programming Interface
• fail/0 (debugger port value): Port Tests
• fail/1 (debugger command control): Action Variables
• failure, deep: Profiling
• failure, shallow: Profiling
• false/0: Control
• false/0 (debugger condition): Other Tests
• fastcode: Glossary
• fastcode (compiling flag value): Load Intro, State Info
• fcompile, considerations for: Considerations
• fcompile/1: Read In, Load Predicates
• FD predicate: FD predicates
• FD set: FD Set Operations
• fd_closure/2: Reflection Predicates
• fd_copy_term/3: Reflection Predicates
• fd_degree/2: Reflection Predicates
• fd_dom/2: Reflection Predicates
• fd_global/3: The Global Constraint Programming Interface
• fd_max/2: Reflection Predicates
• fd_min/2: Reflection Predicates
• fd_neighbors/2: Reflection Predicates
• fd_set/2: Reflection Predicates
• fd_size/2: Reflection Predicates
• fd_statistics/0: Statistics Predicates
• fd_statistics/2: Statistics Predicates
• fd_var/1: Reflection Predicates
• FDBG concepts: FDBG Concepts
• FDBG event: FDBG Events
• FDBG output stream: FDBG The fdbg_output Stream
• fdbg:fdvar_portray/3: FDBG Customizing Output
• fdbg:legend_portray/3: FDBG Customizing Output
• fdbg_annotate/3: FDBG Writing Visualizers
• fdbg_annotate/4: FDBG Writing Visualizers
• fdbg_assign_name/2: FDBG Naming Terms
• fdbg_current_name/2: FDBG Naming Terms
• fdbg_get_name/2: FDBG Naming Terms
• fdbg_guard/3: FDBG Debugging Global Constraints
• fdbg_label_show/3: FDBG Built-In Visualizers
• fdbg_labeling_step/2: FDBG Annotation
• fdbg_legend/1: FDBG Writing Visualizers
• fdbg_legend/2: FDBG Writing Visualizers
• fdbg_off/0: FDBG Options
• fdbg_on/0: FDBG Options
• fdbg_on/1: FDBG Options
• fdbg_output: FDBG The fdbg_output Stream
• fdbg_show/2: FDBG Built-In Visualizers
• fdbg_start_labeling/1: FDBG Annotation
• fdbg_transform_actions/3: FDBG Writing Legend Printers
• fdset_add_element/3: FD Set Operations
• fdset_complement/2: FD Set Operations
• fdset_del_element/3: FD Set Operations
• fdset_disjoint/2: FD Set Operations
• fdset_eq/2: FD Set Operations
• fdset_intersect/2: FD Set Operations
• fdset_intersection/2: FD Set Operations
• fdset_intersection/3: FD Set Operations
• fdset_interval/3: FD Set Operations
• fdset_max/2: FD Set Operations
• fdset_member/2: FD Set Operations
• fdset_min/2: FD Set Operations
• fdset_parts/4: FD Set Operations
• fdset_singleton/2: FD Set Operations
• fdset_size/2: FD Set Operations
• fdset_subset/2: FD Set Operations
• fdset_subtract/3: FD Set Operations
• fdset_to_list/2: FD Set Operations
• fdset_to_range/2: FD Set Operations
• fdset_union/2: FD Set Operations
• fdset_union/3: FD Set Operations
• ff (labeling/2 option): Enumeration Predicates
• ffc (labeling/2 option): Enumeration Predicates
• file: Input Output
• file (load_context/2 key): State Info
• file search alias: Stream Pred, Input Output
• file, PO: Glossary, Load Predicates
• file, QL: Load Predicates, Glossary
• file/1 (debugger condition): Breakpoint Tests, Source Tests
• file_errors/1 (absolute_file_name/3 option): Stream Pred
• file_exists/1: System Utilities
• file_exists/2: System Utilities
• file_property/2: System Utilities
• file_search_path/2: Input Output, Stream Pred
• file_type/1 (absolute_file_name/3 option): Stream Pred
• fileerrors (prolog flag): State Info
• fileerrors/0: Stream Pred
• fileerrors/1 (absolute_file_name/3 option): Stream Pred
• filename: Glossary, Input Output
• fileref/2 (source information descriptor): Message Handling Predicates
• find this (debugger command): Debug Commands
• find_constraint/2: CHR Built-In Predicates
• find_constraint/3: CHR Built-In Predicates
• findall/3: All Solutions
• findall/4: All Solutions
• findall_constraints/2: CHR Built-In Predicates
• findall_constraints/3: CHR Built-In Predicates
• findex/1 (stream property): Stream Pred
• finding nondeterminacy: The Determinacy Checker
• finite domain: CLPFD Interface
• first (order_resource/2 option): Enumeration Predicates
• first_bound/2: Enumeration Predicates
• flag, Prolog: State Info
• flit/0 (debugger command control): Action Variables
• flit/2 (debugger command control): Action Variables
• float: Floats
• float/1: Meta Logic
• float/1, coercion: Arithmetic
• float_fractional_part/1, fractional part: Arithmetic
• float_integer_part/1, coercion: Arithmetic
• floor/1, function: Arithmetic
• floundered query: Glossary
• floundering: Procedural
• flow control model, CHR: CHR Control Flow Model
• flush_output/0: Stream Pred
• flush_output/1: Stream Pred
• for (Tcl command): Control flow
• force/1 (close/2 option): Stream Pred
• foreach (Tcl command): Control flow
• foreign language interface: Calling C, Mixing C and Prolog
• foreign predicate: Glossary
• foreign resource: Glossary, Foreign Resources
• foreign resource linker: The Foreign Resource Linker
• foreign resource, linked: Foreign Resources, Creating the Linked Foreign Resource
• foreign resource, pre-linked: Glossary
• foreign/2: Conversion Declarations
• foreign/3: Conversion Declarations
• foreign_file/2: Interface Predicates
• foreign_resource/2: Conversion Declarations
• format (Tcl command): Commands over strings
• format/2: Term I/O
• format/3: Term I/O
• format_to_chars/3: Chars I/O
• format_to_chars/4: Chars I/O
• frame (Tk widget): Types of widget
• freeze/2: Coroutining
• frozen/2: Coroutining
• Fully Qualified Classname: Jasper Library Predicates
• function prototype: Function Prototypes
• function, deinit: Glossary
• function, init: Glossary
• functor: Glossary, Compound Terms
• functor/3: Meta Logic
• garbage collection: State Info, Glossary
• garbage_collect/0: Misc Pred
• garbage_collect_atoms/0: Misc Pred
• garbage_collection (statistics/2 option): State Info
• gauge: Gauge
• gc (prolog flag): State Info
• gc/0: Misc Pred
• gc_margin (prolog flag): State Info
• gc_trace (prolog flag): State Info
• gcd/2, greatest common divisor: Arithmetic
• gen_assoc/3: Assoc
• gen_label/3: Trees
• generalization/1 (cumulatives/3 option): Combinatorial Constraints
• generalized predicate spec: Glossary
• generate-and-test, use with cut: Terminating a Backtracking Loop
• generate_message/3: Message Handling Predicates
• generate_message_hook/3: Message Handling Predicates, Pred Summary
• generic breakpoint: Specific and Generic Breakpoints
• generic object: Generic Objects for Easy Reuse, Parameter Transfer
• get/1: Char I/O
• get/1 (inlined method): Inlined Methods
• get/1 (object method): The Proto-Object
• get/2: Char I/O
• get0/1: Char I/O
• get0/2: Char I/O
• get_assoc/3: Assoc
• get_assoc/5: Assoc
• get_atts/2: Attributes
• get_byte/1: Char I/O
• get_byte/2: Char I/O
• get_char/1: Char I/O
• get_char/2: Char I/O
• get_code/1: Char I/O
• get_code/2: Char I/O
• get_from_heap/4: Heaps
• get_label/3: Trees
• get_mutable/2: Modify Term
• get_next_assoc/4: Assoc
• get_prev_assoc/4: Assoc
• getrand/1: Random
• gets (Tcl command): File I/O
• global (Tcl command): Global variables
• global constraint: The Global Constraint Programming Interface
• global/1 (disjoint1/2 option): Combinatorial Constraints
• global/1 (disjoint2/2 option): Combinatorial Constraints
• global_cardinality/2: Combinatorial Constraints
• global_stack (statistics/2 option): State Info
• GLOBALSTKSIZE (environment): Environment Variables
• glue code: Glossary
• GNU Emacs: Emacs Interface
• goal: Programs, Glossary
• goal, ancestor: Debug Format
• goal, blocked: Debug Format, Glossary
• goal, unblocked: Glossary
• goal/1 (debugger condition): Breakpoint Tests, Goal Tests
• goal_expansion/3: Definite
• goal_private/1 (debugger condition): Storing User Information in the Backtrace, Goal Tests
• goal_source_info/3: Message Handling Predicates
• grammar rule: Definite
• graphs, unweighted: UGraphs
• graphs, weighted: WGraphs
• green cut: Cut
• ground: Glossary
• ground/1: Meta Logic
• guarded clause: Conditionals and Disjunction
• halt/0: Misc Pred
• halt/1: Misc Pred
• handling, error: Exceptions Debug, Exception
• handling, exception: Exception, Exceptions Debug
• handling, interrupt: Calling Prolog Asynchronously
• handling, signal: Calling Prolog Asynchronously
• has_attribute/1 (object method): The Proto-Object
• has_instance/1 (object method): The Proto-Object
• head: Glossary, Programs
• heap (statistics/2 option): State Info
• heap_size/2: Heaps
• heap_to_list/2: Heaps
• heaps: Heaps
• help (debugger command): Debug Commands
• help/0: Misc Pred
• hidden module: Def Modules
• hidden/1 (module/3 option): Def Modules
• hide/0 (debugger condition): Condition Macros
• hierarchy, object: Obj Hierarchies
• hook functions for I/O: Hooks
• hook functions for reinitialization: Hooks
• hook predicate: Glossary, Multifile Declarations
• hookable predicate: Glossary
• Horn clause: Prolog Intro
• host_id/1: System Utilities
• host_name/1: System Utilities
• host_type (prolog flag): State Info
• hostname_address/2: Sockets
• I/O hook functions: Hooks
• I/O, character: Char I/O
• I/O, term: Term I/O
• if (Tcl command): Control flow
• if/1 (load_files/2 option): Read In
• if/3: Control
• ignore_ops/1 (write_term/[2,3] option): Term I/O
• ignore_underscores/1 (absolute_file_name/3 option): Stream Pred
• IID: Terminology
• import: Glossary
• importation: Importation
• imported predicate: Basic Concepts
• imports/1 (load_files/2 option): Read In
• in/1: Client
• in/2: Client, Membership Constraints
• in/2 (clpfd:dispatch_global/4 request): The Global Constraint Programming Interface
• in_noblock/1: Client
• in_set/2: Membership Constraints
• in_set/2 (clpfd:dispatch_global/4 request): The Global Constraint Programming Interface
• IName: Terminology
• include declaration: Include Declarations
• include/1 (declaration): Include Declarations
• incore/1: Control
• incr (Tcl command): Commands to do with variables
• increasing efficiency: Writing Efficient Programs
• indented/1 (write_term/[2,3] option): Term I/O
• independent_set/3: UGraphs
• indexed term: The DB-Spec Informal Description
• indexical: Indexicals
• indexicals: FDBG Events
• indexing: Glossary, Indexing
• indexing, determinacy detection via: Determinacy Detection
• indomain/1: Enumeration Predicates
• inf/0, infinity: Arithmetic
• inf/2: Solver Predicates
• inf/4: Solver Predicates
• information, source: State Info, Usage
• inheritance: Obj Hierarchies, Inheritance, Obj Intro
• inheritance by overriding: Obj Intro
• inheritance, differential: Differential Inheritance
• inheritance, multiple: Inheritance
• init function: Glossary
• initialization: Initializations, Glossary
• initialization/1: Initializations
• input: Input Output
• input stream, current: Input Output
• input/0 (stream property): Stream Pred
• insert_constraint/2: CHR Built-In Predicates
• insert_constraint/3: CHR Built-In Predicates
• instance variable: Inheritance and Delegation
• instance/1 (object method): The Proto-Object
• instance/2: Modify Prog
• instances: Instances
• instances, object: Object Instances
• instantiation: Glossary
• instantiation_error/[0,2] (error class): Exception
• integer: Integers
• integer, small: Glossary
• integer/1: Meta Logic
• integer/1, coercion: Arithmetic
• integer_rounding_function (prolog flag): State Info
• interface, emacs: Emacs Interface
• interface, foreign language: Mixing C and Prolog, Calling C
• internal encoding: WCX Concepts
• internal encoding (of wide characters): Glossary
• interoperability: Mixing C and Prolog
• interpret: Glossary
• interrupt character: Keyboard Characters
• interrupt handling: Calling Prolog Asynchronously
• interval-consistent: Definitions
• interval-disentailed: Definitions
• interval-entailed: Definitions
• inv/1 (debugger condition): Goal Tests, Breakpoint Tests, Past States
• invocation box: Glossary
• is/2: Arithmetic
• is_array/1: Arrays
• is_assoc/1: Assoc
• is_fdset/1: FD Set Operations
• is_heap/1: Heaps
• is_list/1: Lists
• is_mutable/1: Modify Term, Meta Logic
• is_ordset/1: Ordsets
• is_queue/1: Queues
• jasper_call/4: Jasper Library Predicates
• jasper_call_instance/6: Deprecated Jasper Predicates
• jasper_call_static/6: Deprecated Jasper Predicates
• jasper_create_global_ref/3: Jasper Library Predicates
• jasper_create_local_ref/3: Jasper Library Predicates
• jasper_deinitialize/1.: Jasper Library Predicates
• jasper_delete_global_ref/2: Jasper Library Predicates
• jasper_delete_local_ref/2: Jasper Library Predicates
• jasper_initialize/1: Jasper Library Predicates
• jasper_initialize/2: Jasper Library Predicates
• jasper_is_instance_of/3: Jasper Library Predicates
• jasper_is_jvm/1: Jasper Library Predicates
• jasper_is_object/1: Jasper Library Predicates
• jasper_is_object/2: Jasper Library Predicates
• jasper_is_same_object/3: Jasper Library Predicates
• jasper_new_object/5: Jasper Library Predicates, Deprecated Jasper Predicates
• jasper_null/2: Jasper Library Predicates
• jasper_object_class_name/3: Jasper Library Predicates
• Java Virtual Machine: Mixing Java and Prolog
• join (Tcl command): Lists (Tcl)
• jump to port (debugger command): Debug Commands
• JVM: Mixing Java and Prolog
• kernel, runtime: Glossary
• Key (Tk event type): Event Handling
• keyboard: Keyboard Characters
• KeyPress (Tk event type): Event Handling
• KeyRelease (Tk event type): Event Handling
• keysort/2: Term Compare
• kill/2: System Utilities
• knapsack/3: Arithmetic Constraints
• label (Tk widget): Types of widget
• labeling: FDBG Annotation
• labeling levels: FDBG Labeling Levels
• labeling/1: CLPB Interface
• labeling/2: Enumeration Predicates
• language (prolog flag): State Info
• last (order_resource/2 option): Enumeration Predicates
• last call optimization: Last Call Optimization
• last clause determinacy detection: Last Clause Determinacy Detection
• last/2: Lists
• last_port/1 (debugger condition): Goal Tests
• later_bound/2: Enumeration Predicates
• layout term: Term I/O
• layout/1 (read_term/[2,3] option): Term I/O
• lct(order_resource/2 option): Enumeration Predicates
• leap: Glossary
• leap (debugger command): Debug Commands
• leash/0 (debugger condition): Condition Macros
• leash/1: Basic Debug, Debug Pred
• leashing: Glossary
• Leave (Tk event type): Event Handling
• leaves/2 (case/4 spec): Combinatorial Constraints
• leftmost (labeling/2 option): Enumeration Predicates
• legend: FDBG Legend
• length/2: Misc Pred
• levels, labeling: FDBG Labeling Levels
• library: The Prolog Library
• library_directory/1: Stream Pred
• Linda: Linda Library
• linda/0: Server
• linda/1: Server
• linda_client/1: Client
• linda_timeout/2: Client
• lindex (Tcl command): Lists (Tcl)
• line breakpoint: Usage
• line, end of: Stream Pred
• line/1 (debugger condition): Source Tests, Breakpoint Tests
• line/2 (debugger condition): Breakpoint Tests, Source Tests
• line_count/2: Stream Pred
• line_position/2: Stream Pred
• linked foreign resource: Glossary, Foreign Resources, Creating the Linked Foreign Resource
• linker, foreign resource: The Foreign Resource Linker
• linsert (Tcl command): Lists (Tcl)
• list: Glossary, Compound Terms
• list (Tcl command): Lists (Tcl)
• list of variables: FDBG Legend
• list_queue/2: Queues
• list_to_assoc/2: Assoc
• list_to_fdset/2: FD Set Operations
• list_to_heap/2: Heaps
• list_to_ord_set/2: Ordsets
• list_to_tree/2: Trees
• listbox (Tk widget): Types of widget
• listing/0: State Info
• listing/1: State Info
• lists: Lists
• llength (Tcl command): Lists (Tcl)
• load: Glossary
• load context: State Info
• load/1: Read In
• load_files/1: Load Predicates, Read In
• load_files/2: Read In, Load Predicates
• load_foreign_files/2: Interface Predicates
• load_foreign_resource/1: Interface Predicates
• load_type/1 (load_files/2 option): Read In
• loading: Read In, Load Intro
• local_stack (statistics/2 option): State Info
• LOCALSTKSIZE (environment): Environment Variables
• locks, mutual exclusion: Operating System Services
• log/1, logarithm: Arithmetic
• log/2, logarithm: Arithmetic
• logic programming: Intro
• loop, repeat: I/O Example
• lrange (Tcl command): Lists (Tcl)
• lreplace (Tcl command): Lists (Tcl)
• lsearch (Tcl command): Lists (Tcl)
• lsort (Tcl command): Lists (Tcl)
• lst (order_resource/2 option): Enumeration Predicates
• macro expansion: Definite
• main thread: Calling Prolog Asynchronously
• make_directory/1: System Utilities
• make_index:make_library_index/1: The Prolog Library
• map_assoc/2: Assoc
• map_assoc/3: Assoc
• map_tree/3: Trees
• mapping, character-type: WCX Concepts
• margin/3 (disjoint1/2 option): Combinatorial Constraints
• margin/4 (disjoint2/2 option): Combinatorial Constraints
• max (labeling/2 option): Enumeration Predicates
• max/1 (case/4 spec): Combinatorial Constraints
• max/1 (fd_global/3 spec): The Global Constraint Programming Interface
• max/2, maximum value: Arithmetic
• max_arity (prolog flag): State Info
• max_assoc/3: Assoc
• max_depth/1 (write_term/[2,3] option): Term I/O
• max_integer (prolog flag): State Info
• max_inv/1 (debugger condition): Break Tests, Accessing Past Debugger States
• max_list/2: Lists
• max_path/5: WGraphs, UGraphs
• maximize/1: Solver Predicates
• maximize/1 (labeling/2 option): Enumeration Predicates
• maximize/2: Enumeration Predicates
• member/2: Lists
• memberchk/2: Lists
• memory (statistics/2 option): State Info
• menu (Tk widget): Types of widget
• menubutton (Tk widget): Types of widget
• message (Tk widget): Types of widget
• message delegation: Obj Self
• message sending: Obj Self
• message_hook/3: Message Handling Predicates
• messages, debugging: Debug Format
• messages, suppressing: Exception
• meta-call: Glossary
• meta-logical predicate: Meta Logic
• meta-predicate: Glossary
• meta-predicate declaration: Meta-Predicate Declarations, Meta Decl
• meta_predicate/1 (declaration): Meta Decl, Meta-Predicate Declarations
• method: Obj Intro
• method, dynamic: Dynamic Methods
• method/3 (Java method identifier): Jasper Library Predicates
• method_expansion/3: Object Declaration
• methods/1 (utility method): The Utility Object
• min (labeling/2 option): Enumeration Predicates
• min/1 (case/4 spec): Combinatorial Constraints
• min/1 (fd_global/3 spec): The Global Constraint Programming Interface
• min/2, minimum value: Arithmetic
• min_assoc/3: Assoc
• min_integer (prolog flag): State Info
• min_list/2: Lists
• min_of_heap/3: Heaps
• min_of_heap/5: Heaps
• min_path/5: UGraphs, WGraphs
• min_paths/3: WGraphs, UGraphs
• min_tree/3: UGraphs, WGraphs
• minimize/1: Solver Predicates
• minimize/1 (labeling/2 option): Enumeration Predicates
• minimize/2: Enumeration Predicates
• minmax/1 (case/4 spec): Combinatorial Constraints
• minmax/1 (fd_global/3 spec): The Global Constraint Programming Interface
• mixing C and Prolog: Mixing C and Prolog
• mktemp/2: System Utilities
• mod/2, integer modulus: Arithmetic
• mod_time/1 (file_property/2 property): System Utilities
• mode declaration: Mode Declarations
• mode spec: Glossary, Mode Spec
• mode/1 (debugger condition): Breakpoint Actions, Port Tests, Action Conditions
• mode/1 (declaration): Mode Declarations
• mode/1 (stream property): Stream Pred
• module: Glossary
• module (load_context/2 key): State Info
• module declaration: Module Declarations
• module name expansion: Glossary, Meta-Predicate Declarations, Meta Exp
• module system: Module Intro
• module, hidden: Def Modules
• module, object: Obj Expand
• module, source: Glossary, Basic Concepts
• module, type-in: Glossary, State Info, Basic Concepts
• module-file: Glossary, Def Modules
• module/1: State Info
• module/1 (debugger condition): Goal Tests
• module/2 (declaration): Def Modules, Module Declarations
• module/3 (declaration): Module Declarations, Def Modules
• Motion (Tk event type): Event Handling
• msb/1, most significant bit: Arithmetic
• multifile declaration: Load Predicates, Multifile Declarations
• multifile predicate: Glossary
• multifile/1 (declaration): Multifile Declarations
• multiple inheritance: Inheritance
• mutable: Terminology
• mutable term: Modify Term, Glossary
• mutex: Operating System Services
• mutual exclusion locks: Operating System Services
• name auto-generation: FDBG Name Auto-Generation
• name clash: Glossary
• name variable (debugger command): FDBG Debugger Commands
• name/1 (tk_new/2 option): Creating a Tcl interpreter extended with Tk
• name/2: Meta Logic
• names of terms: FDBG Names of Terms, FDBG Naming Terms
• nan/0, not-a-number: Arithmetic
• neighbors/3: WGraphs, UGraphs
• neighbours/3: UGraphs, WGraphs
• nested execution: Nested
• new/1 (object method): The Proto-Object, Object Creation
• new/2 (object method): The Proto-Object, Object Creation
• new_array/1: Arrays
• newProlog on Jasper: Java Threads
• newProlog on SICStus: Java Threads
• nextSolution on SPQuery: Jasper Package Class Reference
• nextto/3: Lists
• nl/0: Char I/O
• nl/1: Char I/O
• no_doubles/1: Lists
• nodebug (debugger command): Debug Commands
• nodebug/0: Debug Pred, Basic Debug
• noexpand/0: Syntactic Sugar
• nofileerrors/0: Stream Pred
• nogc/0: Misc Pred
• non-backtraced tests: Breakpoint Conditions
• non_member/2: Lists
• nondeterminacy, declaring: Declaring Nondeterminacy
• nondeterminacy, finding: The Determinacy Checker
• none/1 (case/4 spec): Combinatorial Constraints
• nonvar/1: Meta Logic
• nospy this (debugger command): Debug Commands
• nospy/1: Debug Pred, Plain Spypoint
• nospyall/0: Plain Spypoint, Debug Pred
• notation: Notation
• notify_constrained/1: CHR Built-In Predicates
• notrace/0: Debug Pred, Basic Debug
• now/1: System Utilities
• nozip/0: Debug Pred, Basic Debug
• nth/3: Lists
• nth/4: Lists
• nth0/3: Lists
• nth0/4: Lists
• null/0 (exec/3 stream spec): System Utilities
• number/1: Meta Logic
• number_chars/2: Meta Logic
• number_codes/2: Meta Logic
• number_to_chars/2: Chars I/O
• number_to_chars/3: Chars I/O
• numbervars/1 (write_term/[2,3] option): Term I/O
• numbervars/3: Misc Pred
• object: Obj Intro
• Object: Terminology
• object (built-in object): The Proto-Object
• object attributes: Object Attributes
• object hierarchy: Obj Hierarchies
• object instances: Object Instances
• object module: Obj Expand
• object, dynamic: Dynamically Declared Objects, Obj Dynamic, Obj Intro
• object, generic: Generic Objects for Easy Reuse, Parameter Transfer
• object, parameterized: Generic Objects for Easy Reuse, Parameter Transfer
• object, static: Obj Intro, Dynamically Declared Objects
• object-oriented programming: Obj Intro
• object/1 (object method): The Proto-Object
• objects/1 (utility method): The Utility Object
• occurs-check: Glossary, Occur, Term Utilities
• off (debug flag value): State Info
• off (debugging flag value): State Info
• off (gc_trace flag value): State Info
• off/0 (debugger mode control): Action Variables
• on/1 (all_different/2 option): Combinatorial Constraints
• on/1 (all_distinct/2 option): Combinatorial Constraints
• on/1 (assignment/3 option): Combinatorial Constraints
• on/1 (case/4 spec): Combinatorial Constraints
• on_exception/3: Exception
• once/1: Control
• one-char atom: Glossary
• op/3: Standard Operators, Misc Pred, Operators
• open (Tcl command): File I/O
• open/3: Stream Pred
• open/4: Stream Pred
• open_chars_stream/2: Chars I/O
• open_null_stream/1: Stream Pred
• openQuery on SICStus: Jasper Package Class Reference
• operating system: System Utilities
• operator: Glossary
• operator declaration: Declarations
• operators: Misc Pred, Standard Operators, Operators
• optimization, last call: Last Call Optimization
• or_cast/2 (utility method): The Utility Object
• ord_add_element/3: Ordsets
• ord_del_element/3: Ordsets
• ord_disjoint/2: Ordsets
• ord_intersect/2: Ordsets
• ord_intersection/2: Ordsets
• ord_intersection/3: Ordsets
• ord_intersection/4: Ordsets
• ord_list_to_assoc/2: Assoc
• ord_member/2: Ordsets
• ord_seteq/2: Ordsets
• ord_setproduct/3: Ordsets
• ord_subset/2: Ordsets
• ord_subtract/3: Ordsets
• ord_symdiff/3: Ordsets
• ord_union/2: Ordsets
• ord_union/3: Ordsets
• ord_union/4: Ordsets
• order, standard: Term Compare
• order_resource/2: Enumeration Predicates
• ordered sets: Ordsets
• ordering/1: Variable Ordering, Solver Predicates
• otherwise/0: Control
• out (debugger command): Debug Commands
• out/1: Client
• output: Input Output
• output stream, current: Input Output
• output/0 (stream property): Stream Pred
• overriding, inheritance by: Obj Intro
• pair: Glossary
• parameter, accumulating: Accumulating Parameters
• parameterized object: Generic Objects for Easy Reuse, Parameter Transfer
• parent: Glossary
• parent_clause/1 (debugger condition): Source Tests, Breakpoint Tests
• parent_clause/2 (debugger condition): Source Tests, Breakpoint Tests
• parent_clause/3 (debugger condition): Breakpoint Tests, Source Tests
• parent_inv/1 (debugger condition): Goal Tests, Accessing Past Debugger States
• parent_pred/1 (debugger condition): Source Tests, Breakpoint Tests
• parent_pred/2 (debugger condition): Source Tests, Breakpoint Tests
• path/3: WGraphs, UGraphs
• path_consistency/1 (cumulative/5 option): Combinatorial Constraints
• path_consistency/1 (serialized/3 option): Combinatorial Constraints
• peek_byte/1: Char I/O
• peek_byte/2: Char I/O
• peek_char/1: Char I/O
• peek_char/2: Char I/O
• peek_code/1: Char I/O
• peek_code/2: Char I/O
• permission_error/[3,5] (error class): Exception
• permutation/2: Lists
• phrase/2: Definite
• phrase/3: Definite
• pid/1: System Utilities
• pipe/1 (exec/3 stream spec): System Utilities
• placement of cut: Placement of Cuts
• plain spypoint: Creating Breakpoints, Plain Spypoint
• PO file: Glossary
• PO File: Load Predicates
• pointer, aligned: Glossary
• popen/3: System Utilities
• port: Glossary
• port debugger: Procedure Box
• port, debugger: Port Tests
• port/1 (debugger condition): Port Tests, Breakpoint Tests
• portray/1: Term I/O
• portray/1.: Rationals
• portray_clause/1: Term I/O
• portray_clause/2: Term I/O
• portray_message/2: Message Handling Predicates
• portrayed/1 (write_term/[2,3] option): Term I/O
• position, stream: Glossary
• position/1 (stream property): Stream Pred
• posting constraints: Posting Constraints
• pre-linked foreign resource: Glossary
• pre-linked resources: Foreign Resources
• precedence: Glossary
• precedences/1 (cumulative/5 option): Combinatorial Constraints
• precedences/1 (serialized/3 option): Combinatorial Constraints
• pred/1 (debugger condition): Goal Tests, Creating Breakpoints
• predicate: Programs, Glossary
• predicate (profile_data/4 resolution): Profiling
• predicate declaration: Declarations
• predicate spec: Glossary
• predicate spec, generalized: Glossary
• predicate, built-in: Glossary, Programs
• predicate, dynamic: Glossary
• predicate, exported: Basic Concepts
• predicate, FD: FD predicates
• predicate, foreign: Glossary
• predicate, hook: Glossary, Multifile Declarations
• predicate, hookable: Glossary
• predicate, imported: Basic Concepts
• predicate, meta-logical: Meta Logic
• predicate, multifile: Glossary
• predicate, private: Basic Concepts
• predicate, public: Basic Concepts
• predicate, static: Glossary
• predicate, undefined: State Info, Exception, Undefined Predicates
• predicate_property/2: State Info
• predicates debugging, CHR: CHR Debugging Predicates
• predicates, breakpoint handling: Breakpoint Predicates
• predicates, debugging: Basic Debug
• prefix/2: Lists
• print (debugger command): Debug Commands
• print/0 (debugger show control): Action Variables
• print/1: Term I/O
• print/2: Term I/O
• print_message/2: Message Handling Predicates
• print_message_lines/3: Message Handling Predicates
• priority queues: Heaps
• private predicate: Basic Concepts
• private/1 (debugger condition): Break Tests, Storing User Information in the Backtrace
• proc (Tcl command): User defined procedures
• procedural semantics: Procedural
• procedure: Glossary
• procedure box: Procedure Box, Glossary
• procedure call: Procedural
• procedure definition: Procedural
• proceed/0 (debugger command control): Action Variables
• proceed/2 (debugger command control): Action Variables
• process communication: Linda Library, Sockets
• processing, breakpoint: Breakpoint Processing
• profile_data/4: Profiling
• profile_reset/1: Profiling
• profiledcode: Glossary
• profiledcode (compiling flag value): Load Intro, State Info
• profiling: Glossary, Gauge
• profiling, execution: Profiling
• ProgID: Terminology
• program: Programs, Glossary
• program (statistics/2 option): State Info
• program state: State Info
• programming in logic: Intro
• programming, access driven: Obj Daemons
• programming, object-oriented: Obj Intro
• project_attributes/2: Attributes
• projecting_assert/1: Solver Predicates
• Prolog flag: State Info
• prolog_flag/2: State Info
• prolog_flag/3: State Info
• prolog_load_context/2: State Info
• PrologCloseQuery (VB function): Summary of the interface functions
• PrologGetException (VB function): Summary of the interface functions
• PrologGetLong (VB function): Summary of the interface functions
• PrologGetString (VB function): Summary of the interface functions
• PrologGetStringQuoted (VB function): Summary of the interface functions
• PROLOGINCSIZE (environment): Environment Variables
• PrologInit (VB function): Summary of the interface functions
• PROLOGINITSIZE (environment): Environment Variables
• PROLOGKEEPSIZE (environment): Environment Variables
• PROLOGMAXSIZE (environment): Environment Variables
• PrologNextSolution (VB function): Summary of the interface functions
• PrologOpenQuery (VB function): Summary of the interface functions
• PrologQueryCutFail (VB function): Summary of the interface functions
• prompt/2: Misc Pred
• prototype: Obj Intro
• prototype, function: Function Prototypes
• prune/1 (case/4 spec): Combinatorial Constraints
• prune/1 (cumulatives/3 option): Combinatorial Constraints
• prunings (fd_statistics/2 option): Statistics Predicates
• public declaration: Public Declarations
• public predicate: Basic Concepts
• public/1 (declaration): Public Declarations
• put/1: Char I/O
• put/2: Char I/O
• put_assoc/4: Assoc
• put_atts/2: Attributes
• put_byte/1: Char I/O
• put_byte/2: Char I/O
• put_char/1: Char I/O
• put_char/2: Char I/O
• put_code/1: Char I/O
• put_code/2: Char I/O
• put_label/4: Trees
• put_label/5: Trees
• puts (Tcl command): File I/O
• QL File: Load Predicates
• QL file: Glossary
• qskip/1 (debugger mode control): Action Variables
• quasi-skip (debugger command): Debug Commands
• query: Queries and Directives, Glossary, Start
• query on SICStus: Jasper Package Class Reference
• query, floundered: Glossary
• query_class_hook/5: Query Handling Predicates
• query_hook/6: Query Handling Predicates
• query_input_hook/3: Query Handling Predicates
• query_map_hook/4: Query Handling Predicates
• queryCutFail on SICStus: Jasper Package Class Reference
• queue/2: Queues
• queue_head/3: Queues
• queue_head_list/3: Queues
• queue_last/3: Queues
• queue_last_list/3: Queues
• queue_length/2: Queues
• queues: Queues
• quiet (syntax_errors flag value): State Info
• quoted/1 (write_term/[2,3] option): Term I/O
• radiobutton (Tk widget): Types of widget
• raise exception (debugger command): Debug Commands
• raise_exception/1: Exception
• random numbers: Random
• random/1: Random
• random/3: Random
• random_ugraph/3: UGraphs
• random_wgraph/4: WGraphs
• randseq/3: Random
• randset/3: Random
• range_to_fdset/2: FD Set Operations
• rd/1: Client
• rd/2: Client
• rd_noblock/1: Client
• reachable/3: WGraphs, UGraphs
• read (open/[3,4] mode): Stream Pred
• read (Tcl command): File I/O
• read/1: Term I/O
• read/2: Term I/O
• read_from_chars/2: Chars I/O
• read_line/1: Char I/O
• read_line/2: Char I/O
• read_term/2: Term I/O
• read_term/3: Term I/O
• read_term_from_chars/3: Chars I/O
• reading in: Reading In
• reconsult: Consult
• reconsult/1: Read In
• recorda/3: Database
• recorded/3: Database
• recordz/3: Database
• recursion: Glossary
• red cut: Cut
• redefine_warnings (prolog flag): State Info
• redo (leashing mode): Basic Debug
• redo/0 (debugger port value): Port Tests
• redo/1 (debugger command control): Action Variables
• reduce/2: WGraphs, UGraphs
• reexit/1 (debugger command control): Action Variables
• reference, database: Glossary
• reference, term: Mixing C and Prolog
• regexp (Tcl command): Commands over strings
• region: Glossary
• regsub (Tcl command): Commands over strings
• reification: Reified Constraints
• reinitialization: Misc Pred
• reinitialization hook functions: Hooks
• relation/3: Combinatorial Constraints
• relative_to/1 (absolute_file_name/3 option): Stream Pred
• rem/2, integer remainder: Arithmetic
• remove this (debugger command): Debug Commands
• remove_breakpoints/1: Debug Pred, Built-in Predicates for Breakpoint Handling, Breakpoint Predicates
• remove_constraint/1: CHR Built-In Predicates
• remove_duplicates/2: Lists
• rename_file/2: System Utilities
• repeat loop: I/O Example
• repeat/0: Control
• reposition/1 (open/4 option): Stream Pred
• representation_error/[1,3] (error class): Exception
• require/1: Read In
• reset (open/4 eof_action value): Stream Pred
• reset printdepth (debugger command): Debug Commands
• reset subterm (debugger command): Debug Commands
• resource, data: The Application Builder
• resource, foreign: Foreign Resources, Glossary
• resource, linked foreign: Glossary
• resource, pre-linked: Foreign Resources
• resource/1 (cumulative/5 option): Combinatorial Constraints
• resource/1 (serialized/3 option): Combinatorial Constraints
• resource_error/[1,2] (error class): Exception
• restart/0 (utility method): The Utility Object
• restore/1: Misc Pred, Saving
• restoring: Saving
• resumptions (fd_statistics/2 option): Statistics Predicates
• retract/1: Modify Prog
• retract/1 (object method): The Proto-Object
• retractall/1: Modify Prog
• retractall/1 (object method): The Proto-Object
• retry (debugger command): Debug Commands
• retry/1 (debugger command control): Action Variables
• return (Tcl command): User defined procedures
• reverse/2: Lists
• rewriting, syntactic: Input Output
• round/1, function: Arithmetic
• rule: Glossary, Programs
• rule, computation: Procedural
• rule, grammar: Definite
• rule, search: Procedural
• running: Start
• runtime (statistics/2 option): State Info
• runtime kernel: Glossary
• runtime system: Stand-alone Executables, Development and Runtime Systems, Glossary
• same_length/2: Lists
• same_length/3: Lists
• sat/1: CLPB Interface
• save_files/2: Misc Pred, Saving
• save_modules/2: Saving, Misc Pred
• save_predicates/2: Saving, Misc Pred
• save_program/1: Saving, Misc Pred
• save_program/2: Misc Pred, Saving
• saved state: Saving
• saved-state: Glossary
• saving: Saving
• scalar_product/4: Arithmetic Constraints
• scale (Tk widget): Types of widget
• scan (Tcl command): Commands over strings
• scollbar (Tk widget): Types of widget
• search rule: Procedural
• see/1: File Pred
• seeing/1: File Pred
• seek/4: Stream Pred
• seen/0: File Pred
• select/3: Lists
• selector: FDBG Selectors
• selector, subterm: Glossary
• self: Obj Self
• self/1 (inlined method): Inlined Methods
• self/1 (object method): The Proto-Object
• semantics: Glossary
• semantics, declarative: Declarative
• semantics, procedural: Procedural
• sending, message: Obj Self
• sentence: Glossary, Programs
• sequence, escape: State Info, Escape Sequences, Glossary
• serialized/2: Combinatorial Constraints
• serialized/3: Combinatorial Constraints
• set (Tcl command): Commands to do with variables
• set printdepth (debugger command): Debug Commands
• set subterm (debugger command): Debug Commands
• set, character: Token String, Environment Variables
• set, character code: WCX Concepts
• set, FD: FD Set Operations
• set/1 (inlined method): Inlined Methods
• set/1 (object method): The Proto-Object
• set_input/1: Stream Pred
• set_output/1: Stream Pred
• set_prolog_flag/2: State Info
• set_stream_position/2: Stream Pred
• setof/3: All Solutions
• setrand/1: Random
• sets, ordered: Ordsets
• setting a breakpoint: Usage
• shallow failure: Profiling
• shallow_fails (profile_data/4 option): Profiling
• shell/0: System Utilities
• shell/1: System Utilities
• shell/2: System Utilities
• show/1 (debugger condition): Breakpoint Actions, Port Tests, Action Conditions
• shutdown_server/0: Client
• side-effect: Glossary
• SIG_DFL: Signal Handling
• SIG_ERR: Signal Handling
• SIG_IGN: Signal Handling
• sigaction: Signal Handling
• SIGBREAK: Signal Handling
• SIGCHLD: Signal Handling
• SIGCLD: Signal Handling
• SIGINT: Signal Handling
• sign/1: Arithmetic
• signal: Signal Handling
• signal handling: Calling Prolog Asynchronously
• SIGUSR1: Signal Handling
• SIGUSR2: Signal Handling
• SIGVTALRM: Signal Handling
• silent/0 (debugger show control): Action Variables
• simple term: Glossary
• simple/1: Meta Logic
• SimpleCallSpec: Terminology
• sin/1, function: Arithmetic
• single_var_warnings (prolog flag): State Info
• singletons/1 (read_term/[2,3] option): Term I/O
• sinh/1, function: Arithmetic
• size/1 (file_property/2 property): System Utilities
• skip (debugger command): Debug Commands
• skip/1: Char I/O
• skip/1 (debugger mode control): Action Variables
• skip/2: Char I/O
• skip_line/0: Char I/O
• skip_line/1: Char I/O
• sleep/1: System Utilities
• small integer: Glossary
• socket/2: Sockets
• socket_accept/2: Sockets
• socket_accept/3: Sockets
• socket_bind/2: Sockets
• socket_buffering/4: Sockets
• socket_close/1: Sockets
• socket_connect/3: Sockets
• socket_listen/2: Sockets
• socket_select/5: Sockets
• socket_select/6: Sockets
• sockets: Sockets
• solutions, all: All Solutions
• solutions/1 (absolute_file_name/3 option): Stream Pred
• sort/2: Term Compare
• sorting/3: Combinatorial Constraints
• source (load_context/2 key): State Info
• source (Tcl command): source
• source code: Glossary
• source information: Usage, State Info
• source module: Glossary, Basic Concepts
• source/sink: Input Output
• source_file/1: Read In
• source_file/2: Read In
• source_info (prolog flag): State Info
• SP_APP_DIR (environment): Environment Variables
• SP_atom (C type): Operating System Services, Glossary
• SP_atom_from_string() (C function): Creating and Manipulating SP_term_refs
• SP_atom_length() (C function): Creating and Manipulating SP_term_refs
• SP_calloc() (C function): Operating System Services
• SP_chdir() (C function): Operating System Services
• SP_close_query() (C function): Finding Multiple Solutions of a Call
• SP_code_wci() (C function): WCX Utility Functions
• SP_compare() (C function): Unifying and Comparing Terms
• SP_cons_functor() (C function): Creating Prolog Terms
• SP_cons_list() (C function): Creating Prolog Terms
• SP_continue() (C function): Signal Handling
• SP_CSETLEN (environment): Environment Variables
• SP_CTYPE (environment): Environment Variables
• SP_cut_query() (C function): Finding Multiple Solutions of a Call
• SP_define_c_predicate() (C function): A Simpler Way to Call C
• SP_deinitialize (C function): Initializing the Prolog Engine
• SP_errno (C macro): Notes
• SP_ERROR (C macro): Notes
• SP_error_message() (C function): Notes
• SP_event() (C function): Calling Prolog Asynchronously
• SP_exception_term() (C function): Exception Handling in C
• SP_FAILURE (C macro): Notes
• SP_fclose() (C function): Prolog Streams
• SP_fflush() (C function): Prolog Streams
• SP_fgetc() (C function): Prolog Streams
• SP_force_interactive() (C function): Initializing the Prolog Engine
• SP_foreign_stash (C function): Miscellaneous C API Functions
• SP_fprintf() (C function): Prolog Streams
• SP_fputc() (C function): Prolog Streams
• SP_fputs() (C function): Prolog Streams
• SP_free() (C function): Operating System Services
• SP_from_os() (C function): WCX Utility Functions
• SP_get_address() (C function): Accessing Prolog Terms
• SP_get_arg() (C function): Accessing Prolog Terms
• SP_get_atom() (C function): Accessing Prolog Terms
• SP_get_float() (C function): Accessing Prolog Terms
• SP_get_functor() (C function): Accessing Prolog Terms
• SP_get_integer() (C function): Accessing Prolog Terms
• SP_get_integer_bytes() (C function): Accessing Prolog Terms
• SP_get_list() (C function): Accessing Prolog Terms
• SP_get_list_chars() (C function): Accessing Prolog Terms
• SP_get_list_n_chars() (C function): Accessing Prolog Terms
• SP_get_number_chars() (C function): Accessing Prolog Terms
• SP_get_string() (C function): Accessing Prolog Terms
• SP_getc() (C function): Prolog Streams
• SP_getcwd() (C function): Operating System Services
• SP_initialize() (C function): Initializing the Prolog Engine
• SP_is_atom() (C function): Testing Prolog Terms
• SP_is_atomic() (C function): Testing Prolog Terms
• SP_is_compound() (C function): Testing Prolog Terms
• SP_is_float() (C function): Testing Prolog Terms
• SP_is_integer() (C function): Testing Prolog Terms
• SP_is_list() (C function): Testing Prolog Terms
• SP_is_number() (C function): Testing Prolog Terms
• SP_is_variable() (C function): Testing Prolog Terms
• SP_latin1_chartype() (C function): WCX Utility Functions
• SP_load() (C function): Loading Prolog Code
• SP_make_stream() (C function): Installing a New Stream
• SP_make_stream_context() (C function): Installing a New Stream
• SP_malloc() (C function): Operating System Services
• SP_MUTEX_INITIALIZER (C macro): Operating System Services
• SP_mutex_lock() (C function): Operating System Services
• SP_mutex_unlock() (C function): Operating System Services
• SP_new_term_ref() (C function): Creating and Manipulating SP_term_refs
• SP_next_solution() (C function): Finding Multiple Solutions of a Call
• SP_on_fault() (C macro): Loading Prolog Code
• SP_open_query() (C function): Finding Multiple Solutions of a Call
• SP_PATH (environment): Environment Variables, Notes
• SP_pred() (C function): Calling Prolog
• SP_predicate() (C function): Calling Prolog
• SP_printf() (C function): Prolog Streams
• SP_put_address() (C function): Creating Prolog Terms
• SP_put_atom() (C function): Creating Prolog Terms
• SP_put_float() (C function): Creating Prolog Terms
• SP_put_functor() (C function): Creating Prolog Terms
• SP_put_integer() (C function): Creating Prolog Terms
• SP_put_integer_bytes() (C function): Creating Prolog Terms
• SP_put_list() (C function): Creating Prolog Terms
• SP_put_list_chars() (C function): Creating Prolog Terms
• SP_put_list_n_chars() (C function): Creating Prolog Terms
• SP_put_number_chars() (C function): Creating Prolog Terms
• SP_put_string() (C function): Creating Prolog Terms
• SP_put_term() (C function): Creating and Manipulating SP_term_refs
• SP_put_variable() (C function): Creating Prolog Terms
• SP_putc() (C function): Prolog Streams
• SP_puts() (C function): Prolog Streams
• SP_qid (C type): Finding Multiple Solutions of a Call
• SP_query() (C function): Finding One Solution of a Call
• SP_query_cut_fail() (C function): Finding One Solution of a Call
• SP_raise_exception() (C function): Exception Handling in C
• SP_raise_fault() (C function): Loading Prolog Code
• SP_read_from_string() (C function): Creating Prolog Terms
• SP_realloc() (C function): Operating System Services
• SP_register_atom() (C function): Creating and Manipulating SP_term_refs
• SP_reinstall_signal() (C function): Signal Handling
• SP_restore() (C function): Loading Prolog Code
• SP_RT_DIR (environment): Environment Variables
• SP_set_interrupt_hook (C function): Hooks
• SP_set_memalloc_hooks() (C function): Initializing the Prolog Engine
• SP_set_read_hook (C function): Hooks
• SP_set_reinit_hook (C function): Hooks
• SP_set_tty() (C function): The Internal Representation of a Prolog Stream
• SP_set_user_stream_hook() (C function): Hookable Standard Streams
• SP_set_user_stream_post_hook() (C function): Hookable Standard Streams
• SP_SIG_DFL: Signal Handling
• SP_SIG_ERR: Signal Handling
• SP_SIG_IGN: Signal Handling
• SP_signal() (C function): Signal Handling
• SP_strdup() (C function): Operating System Services
• SP_stream (C type): Prolog Streams
• SP_string_from_atom() (C function): Creating and Manipulating SP_term_refs
• SP_SUCCESS (C macro): Notes
• SP_term_ref: Glossary
• SP_term_ref (C type): Mixing C and Prolog, Creating and Manipulating SP_term_refs
• SP_term_type() (C function): Testing Prolog Terms
• SP_to_os() (C function): WCX Utility Functions
• SP_TYPE_ATOM (C macro): Testing Prolog Terms
• SP_TYPE_COMPOUND (C macro): Testing Prolog Terms
• SP_TYPE_FLOAT (C macro): Testing Prolog Terms
• SP_TYPE_INTEGER (C macro): Testing Prolog Terms
• SP_TYPE_VARIABLE (C macro): Testing Prolog Terms
• SP_unify() (C function): Unifying and Comparing Terms
• SP_unregister_atom() (C function): Creating and Manipulating SP_term_refs
• SP_wci_code() (C function): WCX Utility Functions
• SP_wci_len() (C function): WCX Utility Functions
• spdet, the determinacy checker: The Determinacy Checker
• spec, mode: Glossary
• spec, predicate: Glossary
• specific breakpoint: Specific and Generic Breakpoints
• spld: The Application Builder
• splfr: The Foreign Resource Linker
• split (Tcl command): Lists (Tcl)
• spxref: Xref Introduction
• spy this (debugger command): Debug Commands
• spy this conditionally (debugger command): Debug Commands
• spy/1: Debug Pred, Plain Spypoint
• spy/2: Breakpoint Predicates, Debug Pred
• spypoint: Glossary
• spypoint, conditional: Creating Breakpoints
• spypoint, plain: Plain Spypoint, Creating Breakpoints
• spypoints, CHR: CHR spypoints
• sqrt/1, square root: Arithmetic
• stack_shifts (statistics/2 option): State Info
• stand-alone executable: Glossary, Stand-alone Executables
• standard order: Term Compare
• startServer on SICStus: Java Threads
• state, program: State Info
• state, saved: Saving
• static object: Obj Intro, Dynamically Declared Objects
• static predicate: Glossary
• static/0 (object method): The Proto-Object
• static/1 (object method): The Proto-Object
• static_methods/1 (utility method): The Utility Object
• static_objects/1 (utility method): The Utility Object
• static_sets/1 (cumulative/5 option): Combinatorial Constraints
• static_sets/1 (serialized/3 option): Combinatorial Constraints
• statistics/0: State Info
• statistics/2: State Info
• std/0 (exec/3 stream spec): System Utilities
• step (labeling/2 option): Enumeration Predicates
• stopServer on SICStus: Java Threads
• store, consistent: Definitions
• store, constraint: Definitions
• store, contradictory: Definitions
• stream: Input Output, Glossary
• stream (load_context/2 key): State Info
• stream alias: Input Output, Glossary
• stream position: Glossary
• stream, binary: Input Output
• stream, end of: Stream Pred
• stream, text: Input Output
• stream_code/2: Prolog Streams
• stream_position/2: Stream Pred
• stream_position_data/3: Stream Pred
• stream_property/2: Stream Pred
• string: Glossary, Compound Terms
• string first (Tcl command): Commands over strings
• string index (Tcl command): Commands over strings
• string last (Tcl command): Commands over strings
• string length (Tcl command): Commands over strings
• string match (Tcl command): Commands over strings
• string range (Tcl command): Commands over strings
• string string (Tcl command): Commands over strings
• string tolower (Tcl command): Commands over strings
• string toupper (Tcl command): Commands over strings
• string trim (Tcl command): Commands over strings
• string trimright (Tcl command): Commands over strings
• string, encoded: Glossary
• SU_initialize() (C function): The Application Builder
• sub/1 (object method): Super and Sub, The Proto-Object
• sub_atom/5: Meta Logic
• sublist/2: Lists
• subs/1 (utility method): The Utility Object
• substitute/4: Lists
• subsumes/2: Term Utilities
• subsumes_chk/2: Term Utilities
• subsumption: Term Utilities
• subterm selector: Glossary
• suffix/2: Lists
• sum/3: Arithmetic Constraints
• sum_list/2: Lists
• sup/2: Solver Predicates
• sup/4: Solver Predicates
• super (keyword): The Keyword Super
• super/1 (object method): The Proto-Object
• super/2 (universal method): Inheritance, Universal Methods
• supers/1 (utility method): The Utility Object
• suppressing messages: Exception
• switch (Tcl command): Control flow
• symmetric_closure/2: UGraphs, WGraphs
• synchronization: Linda Library
• synchronization/1 (disjoint2/2 option): Combinatorial Constraints
• syntactic rewriting: Input Output
• syntax: Glossary
• syntax error: Syntax Errors
• syntax_error/[1,5] (error class): Exception
• syntax_errors (prolog flag): State Info
• syntax_errors/1 (read_term/[2,3] option): Term I/O
• system encoding: WCX Concepts
• system encoding (of wide characters): Glossary
• system, development: Development and Runtime Systems, Glossary
• system, module: Module Intro
• system, operating: System Utilities
• system, runtime: Glossary, Stand-alone Executables, Development and Runtime Systems
• system/0: System Utilities
• system/1: System Utilities
• system/2: System Utilities
• system_error/[0,1] (error class): Exception
• system_type (prolog flag): State Info
• tab/1: Char I/O
• tab/2: Char I/O
• tables, data: Data Tables
• tan/1, function: Arithmetic
• tanh/1, function: Arithmetic
• task_intervals/1 (cumulatives/3 option): Combinatorial Constraints
• taut/2: CLPB Interface
• tcl_delete/1: Removing a Tcl interpreter, Predicates for Prolog to interact with Tcl interpreters
• tcl_eval/3: Predicates for Prolog to interact with Tcl interpreters, Evaluating Tcl expressions from Prolog
• tcl_event/3: Evaluate a Tcl expression and get Prolog events, Predicates for Prolog to interact with Tcl interpreters
• tcl_new/1: Predicates for Prolog to interact with Tcl interpreters, Creating a Tcl interpreter
• tell/1: File Pred
• telling/1: File Pred
• term: Terms, Glossary
• term comparison: Term Compare
• term conversions: Support
• term I/O: Term I/O
• term names: FDBG Naming Terms, FDBG Names of Terms
• term reference: Mixing C and Prolog
• term, atomic: Glossary
• term, callable: Glossary
• term, compound: Glossary, Compound Terms, Terms
• term, cyclic: Term I/O, Occur
• term, indexed: The DB-Spec Informal Description
• term, layout: Term I/O
• term, mutable: Modify Term, Glossary
• term, simple: Glossary
• term_expansion/2: Definite
• term_expansion/4: Definite
• term_hash/2: Term Utilities
• term_hash/4: Term Utilities
• term_position (load_context/2 key): State Info
• term_subsumer/3: Term Utilities
• term_variables/2: Term Utilities
• term_variables_bag/2: Term Utilities
• terminating a backtracking loop: Terminating a Backtracking Loop
• terms: Term Utilities
• terse (gc_trace flag value): State Info
• test condition, breakpoint: Goal Tests
• test, breakpoint: Creating Breakpoints
• text (Tk widget): Types of widget
• text stream: Input Output
• thread, main: Calling Prolog Asynchronously
• threads: Operating System Services
• threads, calling Prolog from: Calling Prolog Asynchronously
• throw/1: Exception
• time_out/3: Timeout
• tk_all_events (tk_do_one_event/1 option): Servicing Tk Events
• tk_destroy_window/1: Predicates for Prolog to interact with Tcl interpreters with Tk extensions, Housekeeping
• tk_do_one_event/0: Predicates for Prolog to interact with Tcl interpreters with Tk extensions, Servicing Tk Events
• tk_do_one_event/1: Servicing Tk Events, Predicates for Prolog to interact with Tcl interpreters with Tk extensions
• tk_dont_wait (tk_do_one_event/1 option): Servicing Tk Events
• tk_file_events (tk_do_one_event/1 option): Servicing Tk Events
• tk_idle_events (tk_do_one_event/1 option): Servicing Tk Events
• tk_main_loop/0: Predicates for Prolog to interact with Tcl interpreters with Tk extensions, Passing control to Tk
• tk_main_window/2: Housekeeping, Predicates for Prolog to interact with Tcl interpreters with Tk extensions
• tk_make_window_exist/1: Predicates for Prolog to interact with Tcl interpreters with Tk extensions, Housekeeping
• tk_new/2: Creating a Tcl interpreter extended with Tk, Predicates for Prolog to interact with Tcl interpreters with Tk extensions
• tk_next_event/2: Evaluate a Tcl expression and get Prolog events, Servicing Tk Events, Predicates for Prolog to interact with Tcl interpreters with Tk extensions
• tk_next_event/3: Evaluate a Tcl expression and get Prolog events, Servicing Tk Events, Predicates for Prolog to interact with Tcl interpreters with Tk extensions
• tk_num_main_windows/1: Housekeeping, Predicates for Prolog to interact with Tcl interpreters with Tk extensions
• tk_timer_events (tk_do_one_event/1 option): Servicing Tk Events
• tk_window_events (tk_do_one_event/1 option): Servicing Tk Events
• tk_x_events (tk_do_one_event/1 option): Servicing Tk Events
• TMPDIR (environment): Environment Variables
• tmpnam/1: System Utilities
• told/0: File Pred
• top-level: Start
• top_level_events/0 (tk_new/2 option): Creating a Tcl interpreter extended with Tk
• top_sort/2: WGraphs, UGraphs
• toplevel (Tk widget): Types of widget
• toplevel_print_options (prolog flag): State Info
• trace: Glossary
• trace (debugging flag value): State Info
• trace (unknown flag value): State Info, Debug Pred, Undefined Predicates
• trace/0: Basic Debug, Debug Pred
• trace/0 (debugger mode control): Action Variables
• trail (statistics/2 option): State Info
• TRAILSTKSIZE (environment): Environment Variables
• transitive_closure/2: WGraphs, UGraphs
• transpose/2: WGraphs, UGraphs
• tree_size/2: Trees
• tree_to_list/2: Trees
• trees, binary: Trees
• trimcore/0: State Info
• true/0: Control
• true/0 (debugger condition): Other Tests
• true/1 (debugger condition): Other Tests, Breakpoint Tests
• truncate/1, function: Arithmetic
• ttyflush/0: Char I/O
• ttyget/1: Char I/O
• ttyget0/1: Char I/O
• ttynl/0: Char I/O
• ttyput/1: Char I/O
• ttyskip/1: Char I/O
• ttytab/1: Char I/O
• type-in module: State Info, Basic Concepts, Glossary
• type/1 (file_property/2 property): System Utilities
• type/1 (open/4 option): Stream Pred
• type/1 (stream property): Stream Pred
• type_error/[2,4] (error class): Exception
• typein_module (prolog flag): State Info
• ugraph: UGraphs
• ugraph_to_wgraph/2: WGraphs
• unblock/0 (debugger port value): Port Tests
• unblocked goal: Glossary
• unbound: Glossary
• unconstrained/1: CHR Built-In Predicates
• undefined predicate: State Info, Exception, Undefined Predicates
• undo/1: Misc Pred
• unification: Procedural, Glossary
• unify (debugger command): Debug Commands
• unify_with_occurs_check/2: Misc Pred
• unit clause: Programs, Glossary
• unknown (prolog flag): State Info
• unknown/2: Debug Pred, Undefined Predicates
• unknown_predicate_handler/3: Undefined Predicates, Exception
• unleash/0 (debugger condition): Condition Macros
• unload_foreign_resource/1: Interface Predicates
• unreachable code: Xref Introduction
• unset (Tcl command): Commands to do with variables
• unweighted graphs: UGraphs
• up (labeling/2 option): Enumeration Predicates
• update/1 (object method): The Proto-Object
• update_mutable/2: Modify Term
• uplevel (Tcl command): User defined procedures
• upvar (Tcl command): User defined procedures
• use_module/1: Read In
• use_module/2: Read In
• use_module/3: Read In
• user: Inserting Clauses
• user:breakpoint_expansion/2: Hooks Related to Breakpoints, Condition Macros
• user:debugger_command_hook/2: Breakpoint Predicates, Hooks Related to Breakpoints, Debug Pred
• user:error_exception/1: Exceptions Debug, Debug Pred
• user:file_search_path/2: Stream Pred, Input Output
• user:generate_message_hook/3: Message Handling Predicates, Pred Summary
• user:goal_expansion/3: Definite
• user:library_directory/1: Stream Pred
• user:message_hook/3: Message Handling Predicates
• user:method_expansion/3: Object Declaration
• user:portray/1: Term I/O
• user:portray_message/2: Message Handling Predicates
• user:query_class_hook/5: Query Handling Predicates
• user:query_hook/6: Query Handling Predicates
• user:query_input_hook/3: Query Handling Predicates
• user:query_map_hook/4: Query Handling Predicates
• user:term_expansion/2: Definite
• user:term_expansion/4: Definite
• user:unknown_predicate_handler/3: Undefined Predicates, Exception
• user:user_help/0: Misc Pred
• user_error (prolog flag): State Info
• user_error (stream alias): Input Output
• user_help/0: Misc Pred
• user_input (prolog flag): State Info
• user_input (stream alias): Input Output
• user_main() (C function): User-defined Main Programs
• user_output (prolog flag): State Info
• user_output (stream alias): Input Output
• UTF-8 encoding: Glossary
• utility (built-in object): The Utility Object
• val/1 (case/4 spec): Combinatorial Constraints
• val/1 (fd_global/3 spec): The Global Constraint Programming Interface
• value/1 (labeling/2 option): Enumeration Predicates
• var/1: Meta Logic
• variable: Terminology, Variables, Glossary, Terms
• variable list: FDBG Legend
• variable, anonymous: Variables
• variable, domain: CLPFD Interface
• variable, instance: Inheritance and Delegation
• variable/1 (labeling/2 option): Enumeration Predicates
• variable_names/1 (read_term/[2,3] option): Term I/O
• variables, attributed: Attributes
• variables/1 (read_term/[2,3] option): Term I/O
• variant/2: Term Utilities
• verbose (gc_trace flag value): State Info
• verify_attributes/3: Attributes
• version (prolog flag): State Info
• version/0: Misc Pred
• version/1: Misc Pred
• vertices/2: UGraphs, WGraphs
• vertices_edges_to_ugraph/3: UGraphs
• vertices_edges_to_wgraph/3: WGraphs
• view/1: Gauge
• visualizer: FDBG Visualizers
• volatile: Glossary
• volatile declaration: Volatile Declarations
• volatile/1 (declaration): Volatile Declarations
• wait/2: System Utilities
• walltime (statistics/2 option): State Info
• WAM: Intro
• warning (unknown flag value): State Info, Undefined Predicates, Debug Pred
• wcx (prolog flag): State Info
• WCX (Wide Character eXtension) component: Input Output
• wcx/1 (load_files/2 option): Read In
• wcx/1 (open/4 option): Stream Pred
• wcx/1 (stream property): Stream Pred
• weighted graphs: WGraphs
• wgraph: WGraphs
• wgraph_to_ugraph/2: WGraphs
• when/1 (load_files/2 option): Read In
• when/2: Coroutining
• while (Tcl command): Control flow
• wide character code: WCX Concepts
• wide characters: Input Output
• windowed executable: Glossary
• with_output_to_chars/2: Chars I/O
• with_output_to_chars/3: Chars I/O
• with_output_to_chars/4: Chars I/O
• working_directory/2: System Utilities
• wrap/2 (disjoint1/2 option): Combinatorial Constraints
• wrap/4 (disjoint2/2 option): Combinatorial Constraints
• write (debugger command): Debug Commands
• write (open/[3,4] mode): Stream Pred
• write/0 (debugger show control): Action Variables
• write/1: Term I/O
• write/2: Term I/O
• write_canonical/1: Term I/O
• write_canonical/2: Term I/O
• write_term/1 (debugger show control): Action Variables
• write_term/2: Term I/O
• write_term/3: Term I/O
• write_term_to_chars/3: Chars I/O
• write_term_to_chars/4: Chars I/O
• write_to_chars/2: Chars I/O
• write_to_chars/3: Chars I/O
• writeq/1: Term I/O
• writeq/2: Term I/O
• XEmacs: Emacs Interface
• zip: Glossary
• zip (debugger command): Debug Commands
• zip (debugging flag value): State Info
• zip/0: Debug Pred, Basic Debug
• zip/0 (debugger mode control): Action Variables
• {}/1: Solver Predicates
• ~ /1, boolean not: CLPB

Table of Contents

• SICStus Prolog
• Introduction
• Acknowledgments
• Notational Conventions
  • Keyboard Characters
  • Mode Spec
  • Development and Runtime Systems
  • Function Prototypes
  • ISO Compliance
• Glossary
• How to Run Prolog
  • Getting Started
    • Environment Variables
  • Reading in Programs
  • Inserting Clauses at the Terminal
  • Queries and Directives
    • Queries
    • Directives
  • Syntax Errors
  • Undefined Predicates
  • Program Execution And Interruption
  • Exiting From The Top-Level
  • Nested Executions--Break
  • Saving and Restoring Program States
  • Emacs Interface
    • Installation
      • Customizing Emacs
      • Enabling Emacs Support for SICStus
      • Enabling Emacs Support for SICStus Documentation
    • Basic Configuration
    • Usage
    • Mode Line
    • Configuration
    • Tips
      • Font-locking
      • Auto-fill mode
      • Speed
      • Changing Colors
• The Prolog Language
  • Syntax, Terminology and Informal Semantics
    • Terms
      • Integers
      • Floats
      • Atoms
      • Variables
      • Compound Terms
    • Programs
  • Declarative Semantics
  • Procedural Semantics
  • Occurs-Check
  • The Cut Symbol
  • Operators
  • Syntax Restrictions
  • Comments
• The Module System
  • Basic Concepts
  • Module Prefixing
  • Defining Modules
  • Importation
  • Module Name Expansion
  • Meta-Predicate Declarations
• Loading Programs
  • Predicates which Load Code
  • Declarations
    • Multifile Declarations
    • Dynamic Declarations
    • Volatile Declarations
    • Discontiguous Declarations
    • Block Declarations
    • Meta-Predicate Declarations
    • Module Declarations
    • Public Declarations
    • Mode Declarations
    • Include Declarations
  • Initializations
  • Considerations for File-To-File Compilation
• Debugging
  • The Procedure Box Control Flow Model
  • Basic Debugging Predicates
  • Plain Spypoints
  • Format of Debugging Messages
  • Commands Available during Debugging
  • Advanced Debugging -- an Introduction
    • Creating Breakpoints
    • Processing Breakpoints
    • Breakpoint Tests
    • Specific and Generic Breakpoints
    • Breakpoint Actions
    • Advice-points
    • Built-in Predicates for Breakpoint Handling
    • Accessing Past Debugger States
    • Storing User Information in the Backtrace
    • Hooks Related to Breakpoints
    • Programming Breakpoints
  • Breakpoint Handling Predicates
  • The Processing of Breakpoints
  • Breakpoint Conditions
    • Tests Related to the Current Goal
    • Tests Related to Source Information
    • Tests Related to the Current Port
    • Tests Related to the Break Level
    • Other Conditions
    • Conditions Usable in the Action Part
    • Options for Focusing on a Past State
    • Condition Macros
    • The Action Variables
  • Consulting during Debugging
  • Catching Exceptions
• Built-In Predicates
  • Input / Output
    • Reading-in Programs
    • Term and Goal Expansion
    • Input and Output of Terms
    • Character Input/Output
    • Stream I/O
    • DEC-10 Prolog File I/O
    • An Example
  • Arithmetic
  • Comparison of Terms
  • Control
  • Error and Exception Handling
  • Information about the State of the Program
  • Meta-Logic
  • Modification of Terms
  • Modification of the Program
  • Internal Database
  • Blackboard Primitives
  • All Solutions
  • Messages and Queries
    • Message Processing
      • Phases of Message Processing
      • Message Generation Phase
      • Message Printing Phase
    • Message Handling Predicates
    • Query Processing
      • Query Classes
      • Phases of Query Processing
      • Hooks in Query Processing
      • Default Input Methods
      • Default Map Methods
      • Default Query Classes
    • Query Handling Predicates
  • Coroutining
  • Debugging
  • Execution Profiling
  • Miscellaneous
• Mixing C and Prolog
  • Notes
  • Calling C from Prolog
    • Foreign Resources
    • Conversion Declarations
    • Conversions between Prolog Arguments and C Types
    • Interface Predicates
    • The Foreign Resource Linker
    • Init and Deinit Functions
    • Creating the Linked Foreign Resource
    • A Simpler Way to Define C Predicates
  • Support Functions
    • Creating and Manipulating SP_term_refs
    • Creating Prolog Terms
    • Accessing Prolog Terms
    • Testing Prolog Terms
    • Unifying and Comparing Terms
    • Operating System Services
      • Memory Allocation
      • File System
      • Threads
    • Miscellaneous
  • Calling Prolog from C
    • Finding One Solution of a Call
    • Finding Multiple Solutions of a Call
    • Calling Prolog Asynchronously
      • Signal Handling
    • Exception Handling in C
  • SICStus Streams
    • Prolog Streams
    • Defining a New Stream
      • Low Level I/O Functions
      • Installing a New Stream
      • Internal Representation
    • Hookable Standard Streams
      • Writing User-stream Hooks
      • Writing User-stream Post-hooks
      • User-stream Hook Example
  • Hooks
  • Stand-alone Executables
    • Runtime Systems
    • Runtime Systems on Target Machines
    • The Application Builder
      • All-in-one Executables
      • Examples
    • User-defined Main Programs
      • Initializing the Prolog Engine
      • Loading Prolog Code
  • Examples
    • Train Example (connections)
    • I/O on Lists of Character Codes
    • Exceptions from C
    • Stream Example
• Mixing Java and Prolog
  • Getting Started
  • Calling Prolog from Java
    • Single threaded example
    • Multi threaded example
    • Another multi threaded example (Prolog top level)
  • Jasper Package Class Reference
  • Java Exception Handling
  • SPTerm and Memory
    • Lifetime of SPTerms and Prolog Memory
    • Preventing SPTerm Memory Leaks
  • Java Threads
• Multiple SICStus Run-Times in a Process
  • Memory Considerations
  • Multiple SICStus Run-Times in Java
  • Multiple SICStus Run-Times in C
    • Using a Single SICStus Run-Time
    • Using More than One SICStus Run-Time
  • Foreign Resources and Multiple SICStus Run-Times
    • Foreign Resources Supporting Only One SICStus Run-Time
    • Foreign Resources Supporting Multiple SICStus run-times
      • Simplified Support for Multiple SICStus Run-Times
      • Full Support for Multiple SICStus Run-Times
  • Multiple Run-Times and Threads
• Handling Wide Characters
  • Introduction
  • Concepts
  • Summary of Prolog level WCX features
  • Selecting the WCX mode using environment variables
  • Selecting the WCX mode using hooks
  • Summary of WCX features in the foreign interface
  • Summary of WCX-related features in the libraries
  • WCX related utility functions
  • Representation of EUC wide characters
  • A sample Wide Character Extension (WCX) box
• Writing Efficient Programs
  • Overview
  • The Cut
    • Overview
    • Making Predicates Determinate
    • Placement of Cuts
    • Terminating a Backtracking Loop
  • Indexing
    • Overview
    • Data Tables
    • Determinacy Detection
  • Last Clause Determinacy Detection
  • The Determinacy Checker
    • Using the Determinacy Checker
    • Declaring Nondeterminacy
    • Checker Output
    • Example
    • Options
    • What is Detected
  • Last Call Optimization
    • Accumulating Parameters
    • Accumulating Lists
  • Building and Dismantling Terms
  • Conditionals and Disjunction
  • Programming Examples
    • Simple List Processing
    • Family Example (descendants)
    • Association List Primitives
    • Differentiation
    • Use of Meta-Logical Predicates
    • Use of Term Expansion
    • Prolog in Prolog
    • Translating English Sentences into Logic Formulae
  • The Cross-Referencer
    • Introduction
    • Basic Use
    • Practice and Experience
• The SICStus Tools
• The Prolog Library
• Array Operations
• Association Lists
• Attributed Variables
• Heap Operations
• List Operations
• Term Utilities
• Ordered Set Operations
• Queue Operations
• Random Number Generator
• Operating System Utilities
• Updatable Binary Trees
• Unweighted Graph Operations
• Weighted Graph Operations
• Socket I/O
• Linda--Process Communication
  • Server
  • Client
• External Storage of Terms (Berkeley DB)
  • Basics
  • Current Limitations
  • Berkeley DB
  • The DB-Spec--Informal Description
  • Predicates
    • Conventions
    • The environment
    • Memory leaks
    • The predicates
  • An Example Session
  • The DB-Spec
• Boolean Constraint Solver
  • Solver Interface
  • Examples
    • Example 1
    • Example 2
    • Example 3
    • Example 4
• Constraint Logic Programming over Rationals or Reals
  • Introduction
    • Referencing this Software
    • Acknowledgments
  • Solver Interface
    • Notational Conventions
    • Solver Predicates
    • Unification
    • Feedback and Bindings
  • Linearity and Nonlinear Residues
    • How Nonlinear Residues are made to disappear
    • Isolation Axioms
  • Numerical Precision and Rationals
  • Projection and Redundancy Elimination
    • Variable Ordering
    • Turning Answers into Terms
    • Projecting Inequalities
  • Why Disequations
  • Syntactic Sugar
    • Monash Examples
      • Compatibility Notes
  • A Mixed Integer Linear Optimization Example
  • Implementation Architecture
    • Fragments and Bits
      • Rationals
      • Partial Evaluation, Compilation
      • Asserting with Constraints
    • Bugs
• Constraint Logic Programming over Finite Domains
  • Introduction
    • Referencing this Software
    • Acknowledgments
  • Solver Interface
    • Posting Constraints
    • A Constraint Satisfaction Problem
    • Reified Constraints
  • Available Constraints
    • Arithmetic Constraints
    • Membership Constraints
    • Propositional Constraints
    • Combinatorial Constraints
    • User-Defined Constraints
  • Enumeration Predicates
  • Statistics Predicates
  • Answer Constraints
  • The Constraint System
    • Definitions
    • Pitfalls of Interval Reasoning
  • Defining Global Constraints
    • The Global Constraint Programming Interface
    • Reflection Predicates
    • FD Set Operations
    • A Global Constraint Example
  • Defining Primitive Constraints
    • Indexicals
    • Range Expressions
    • Term Expressions
    • Monotonicity of Indexicals
    • FD predicates
    • Execution of Propagating Indexicals
    • Execution of Checking Indexicals
    • Goal Expanded Constraints
  • Example Programs
    • Send More Money
    • N Queens
    • Cumulative Scheduling
  • Syntax Summary
    • Syntax of Indexicals
    • Syntax of Arithmetic Expressions
    • Operator Declarations
• Constraint Handling Rules
  • Copyright
  • Introduction
  • Introductory Examples
  • CHR Library
    • Loading the Library
    • Declarations
    • Constraint Handling Rules, Syntax
    • How CHR work
    • Pragmas
    • Options
    • Built-In Predicates
    • Consulting and Compiling Constraint Handlers
    • Compiler-generated Predicates
    • Operator Declarations
    • Exceptions
  • Debugging CHR Programs
    • Control Flow Model
    • CHR Debugging Predicates
    • CHR spypoints
    • CHR Debugging Messages
    • CHR Debugging Options
  • Programming Hints
  • Constraint Handlers
  • Backward Compatibility
• Finite Domain Constraint Debugger
  • Introduction
  • Concepts
    • Events
    • Labeling Levels
    • Visualizers
    • Names of Terms
    • Selectors
    • Name Auto-Generation
    • Legend
    • The fdbg_output Stream
  • Basics
    • FDBG Options
    • Naming Terms
    • Built-In Visualizers
    • New Debugger Commands
    • Annotating Programs
    • An Example Session
  • Advanced Usage
    • Customizing Output
    • Writing Visualizers
    • Writing Legend Printers
    • Showing Selected Constraints (simple version)
    • Showing Selected Constraints (advanced version)
    • Debugging Global Constraints
    • Code of the Built-In Visualizers
• SICStus Objects
  • Getting Started
  • Declared Objects
    • Object Declaration
    • Method Declarations
    • Generic Objects for Easy Reuse
  • Self, Message Sending, and Message Delegation
  • Object Hierarchies, Inheritance, and Modules
    • Inheritance
    • Differential Inheritance
    • Use of Modules
    • Super and Sub
    • The Keyword Super
    • Semantic Links to Other Objects
    • Dynamically Declared Objects
    • Dynamic Methods
    • Inheritance of Dynamic Behavior
  • Creating Objects Dynamically
    • Object Creation
    • Method Additions
    • Parameter Passing to New Objects
  • Access Driven Programming--Daemons
  • Instances
  • Built-In Objects and Methods
    • Universal Methods
    • Inlined Methods
    • The Proto-Object "object"
    • The built-in object "utility"
  • Expansion to Prolog Code
    • The Inheritance Mechanism
    • Object Attributes
    • Object Instances
    • The Object Declaration
    • The Method Code
    • Parameter Transfer
  • Examples
    • Classification of Birds
    • Inheritance and Delegation
    • Prolog++ programs
• The PiLLoW Web Programming Library
• Tcl/Tk library
  • Introduction
    • What is Tcl/Tk?
    • What is Tcl/Tk good for?
    • What is Tcl/Tks relationship to SICStus Prolog?
    • A quick example of Tcl/Tk in action
      • hello world
      • telephone book
    • Outline of this tutorial
  • Tcl
    • Syntax
      • Variable substitution
      • Command substitution
      • Backslash substitution
      • Delaying substitution
      • Double-quotes
    • Variables
    • Commands
      • Notation
      • Commands to do with variables
      • Expressions
      • Lists
      • Control flow
      • Commands over strings
      • File I/O
      • User defined procedures
      • Global variables
      • source
    • What we have left out (Tcl)
  • Tk
    • Widgets
    • Types of widget
    • Widgets hierarchies
    • Widget creation
      • label
      • message
      • button
      • checkbutton
      • radiobutton
      • entry
      • scale
      • listbox
      • scrollbar
      • frame
      • toplevel
      • menu
      • menubutton
      • canvas
      • text
    • Geometry managers
      • pack
      • grid
      • place
    • Event Handling
    • Miscellaneous
    • What we have left out (Tk)
    • Example pure Tcl/Tk program
  • The Prolog library
    • How it works - an overview
    • Basic functions
      • Loading the library
      • Creating a Tcl interpreter
      • Creating a Tcl interpreter extended with Tk
      • Removing a Tcl interpreter
    • Evaluation functions
      • Command format
      • Evaluating Tcl expressions from Prolog
      • Evaluating Prolog expressions from Tcl
    • Event functions
      • Evaluate a Tcl expression and get Prolog events
      • Adding events to the Prolog event queue
      • An example
    • Servicing Tcl and Tk events
    • Passing control to Tk
    • Housekeeping functions
    • Summary
  • Putting it all together
    • Tcl the master, Prolog the slave
    • Prolog the master, Tk the slave
    • Prolog and Tcl interact through Prolog event queue
    • The Whole 8-queens Example
  • Quick Reference
    • Command Format Summary
    • Predicates for Prolog to interact with Tcl interpreters
    • Predicates for Prolog to interact with Tcl interpreters with Tk extensions
    • Commands for Tcl interpreters to interact with the Prolog system
  • Resources
    • Web sites
    • Books
    • Manual pages
    • Usenet news groups
• The Gauge Profiling Tool
• I/O on Lists of Character Codes
• Jasper Java Interface
  • Jasper Method Call Example
  • Jasper Library Predicates
  • Conversion between Prolog Arguments and Java Types
  • Global vs. Local References
  • Handling Java Exceptions
  • Deprecated Jasper API
    • Deprecated Argument Conversions
    • Deprecated Jasper Predicates
• COM Client
  • Preliminaries
  • Terminology
  • COM Client Predicates
  • Examples
• The Visual Basic Interface
  • An overview
  • How to call Prolog from Visual Basic
    • Opening and closing a query
    • Finding the solutions of a query
    • Retrieving variable values
    • Evaluating a query with side effects
    • Handling exceptions in Visual Basic
  • How to use the interface
    • Setting up the interface
    • Initializing the Prolog engine
    • Loading the Prolog code
  • Examples
    • Example 1 - Calculator
    • Example 2 - Train
    • Example 3 - Queens
  • Summary of the interface functions
• Glue Code Generator
• Timeout Predicate
• Summary of Built-In Predicates
• Full Prolog Syntax
  • Notation
  • Syntax of Sentences as Terms
  • Syntax of Terms as Tokens
  • Syntax of Tokens as Character Strings
    • iso execution mode rules
    • sicstus execution mode rules
  • Escape Sequences
  • Notes
• Standard Operators
• References
• Predicate Index
• SICStus Objects Method Index
• Keystroke Index
• Book Index