Predicate Index

• !/0, cut: Control, Cut
• #/\ /2 (clpfd): Propositional Constraints
• #< /2 (clpfd): Arithmetic Constraints
• #<= /2 (clpfd): Propositional Constraints
• #<=> /2 (clpfd): Propositional Constraints, Reified Constraints
• #= /2 (clpfd): Arithmetic Constraints
• #=< /2 (clpfd): Arithmetic Constraints
• #=> /2 (clpfd): Propositional Constraints
• #> /2 (clpfd): Arithmetic Constraints
• #>= /2 (clpfd): Arithmetic Constraints
• #\ /1 (clpfd): Propositional Constraints
• #\ /2 (clpfd): Propositional Constraints
• #\/ /2 (clpfd): Propositional Constraints
• #\= /2 (clpfd): 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, conjunction: Control
• --> /2, grammar rule: Term and Goal Expansion
• -> /2 ;/2, if then else: Control
• -> /2, if then: Control
• . /2, consult: Read In
• :- /1, directive: Directives
• :- /2, clause: Programs
• :/2: Control
• ::/1 (objects): Obj Self
• ::/2 (objects): Obj Self
• ;/2, disjunction: Control
• < /2, arithmetic less than: Arithmetic
• <:/1 (objects): Obj Self
• <:/2 (objects): Obj Self
• = /2, unification: Misc Pred
• =.. /2, univ: Meta Logic
• =:= /2, arithmetic equal: Arithmetic
• =< /2, arithmetic less or equal: Arithmetic
• == /2, equality of terms: Term Compare
• =\= /2, arithmetic not equal: Arithmetic
• > /2, arithmetic greater than: Arithmetic
• >= /2, arithmetic greater or equal: 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, consult: Read In
• \+ /1, not provable: Control
• \= /2, not unifiable: Misc Pred
• \== /2, inequality of terms: Term Compare
• ^ /2, existential quantifier: All Solutions
• abolish/[1,2]: Modify Prog
• abort/0: Misc Pred
• absolute_file_name/[2,3]: Stream Pred
• acyclic_term/1 (terms): Term Utilities
• add_breakpoint/2: Debug Pred, Breakpoint Predicates
• add_edges/3 (ugraphs): UGraphs
• add_edges/3 (wgraphs): WGraphs
• add_to_heap/4 (heaps): Heaps
• add_vertices/3 (ugraphs): UGraphs
• add_vertices/3 (wgraphs): WGraphs
• all_different/[1,2] (clpfd): Combinatorial Constraints
• all_distinct/[1,2] (clpfd): Combinatorial Constraints
• append/3 (lists): Lists
• aref/3 (arrays): Arrays
• arefa/3 (arrays): Arrays
• arefl/3 (arrays): Arrays
• arg/3: Meta Logic
• array_to_list/2 (arrays): Arrays
• aset/4 (arrays): Arrays
• ask_query/4: Query Handling Predicates
• assert/[1,2]: Modify Prog
• asserta/[1,2]: Modify Prog
• assertz/[1,2]: Modify Prog
• assignment/[2,3] (clpfd): Combinatorial Constraints
• assoc_to_list/2 (assoc): Assoc
• at_end_of_line/[0,1]: Stream Pred
• at_end_of_stream/[0,1]: Stream Pred
• atom/1: Meta Logic
• atom_chars/2: Meta Logic
• atom_codes/2: Meta Logic
• atom_concat/3: Meta Logic
• atom_length/2: Meta Logic
• atom_to_chars/[2,3] (charsio): Chars I/O
• atomic/1: Meta Logic
• attribute/1 (declaration): Attributes
• attribute_goal/2 (Module): Attributes
• bagof/3: All Solutions
• bagof_rd_noblock/3 (linda_client): Client
• bb_delete/2: Blackboard Primitives
• bb_get/2: Blackboard Primitives
• bb_inf/[3,5] (clpqr): Solver Predicates
• bb_put/2: Blackboard Primitives
• bb_update/3: Blackboard Primitives
• block/1 (declaration): Block Declarations
• break/0: Misc Pred, Nested
• breakpoint_expansion/2 (user): Condition Macros, Hooks Related to Breakpoints
• byte_count/2: Stream Pred
• C/3: Term and Goal Expansion
• call/1: Control
• call_cleanup/2: Control
• call_residue/2: Coroutining
• callable/1: Meta Logic
• case/[3,4] (clpfd): Combinatorial Constraints
• catch/3: Exception
• char_code/2: Meta Logic
• char_conversion/2: Term I/O
• character_count/2: Stream Pred
• chr_debug/0 (chr): CHR Debugging Predicates
• chr_debugging/0 (chr): CHR Debugging Predicates
• chr_leash/1 (chr): CHR Debugging Predicates
• chr_nodebug/0 (chr): CHR Debugging Predicates
• chr_nospy/1 (chr): CHR Spypoints
• chr_notrace/0 (chr): CHR Debugging Predicates
• chr_spy/1 (chr): CHR Spypoints
• chr_trace/0 (chr): CHR Debugging Predicates
• circuit/[1,2] (clpfd): Combinatorial Constraints
• clause/[2,3]: Modify Prog
• clique/3 (ugraphs): UGraphs
• close/[1,2]: Stream Pred
• close_client/0 (linda_client): Client
• clpfd:dispatch_global/4 (clpfd): The Global Constraint Programming Interface
• clpfd:full_answer/0 (clpfd): Answer Constraints
• coloring/3 (ugraphs): UGraphs
• colouring/3 (ugraphs): UGraphs
• comclient_clsid_from_progid/2 (comclient): COM Client Predicates
• comclient_create_instance/2 (comclient): COM Client Predicates
• comclient_equal/2 (comclient): COM Client Predicates
• comclient_exception_code/2 (comclient): COM Client Predicates
• comclient_exception_culprit/2 (comclient): COM Client Predicates
• comclient_exception_description/2 (comclient): COM Client Predicates
• comclient_garbage_collect/0 (comclient): COM Client Predicates
• comclient_get_active_object/2 (comclient): COM Client Predicates
• comclient_iid_from_name/2 (comclient): COM Client Predicates
• comclient_invoke_method_fun/3 (comclient): COM Client Predicates
• comclient_invoke_method_proc/2 (comclient): COM Client Predicates
• comclient_invoke_put/3 (comclient): COM Client Predicates
• comclient_is_exception/1 (comclient): COM Client Predicates
• comclient_is_object/1 (comclient): COM Client Predicates
• comclient_name_from_iid/2 (comclient): COM Client Predicates
• comclient_progid_from_clsid/2 (comclient): COM Client Predicates
• comclient_release/1 (comclient): COM Client Predicates
• comclient_valid_object/1 (comclient): COM Client Predicates
• compare/3: Term Compare
• compile/1: Read In, Load Predicates
• complement/2 (ugraphs): UGraphs
• compose/3 (ugraphs): UGraphs
• compound/1: Meta Logic
• consult/1: Read In, Load Predicates
• copy_term/2: Meta Logic
• count/4 (clpfd): Combinatorial Constraints
• create_mutable/2: Modify Term
• cumulative/[4,5] (clpfd): Combinatorial Constraints
• cumulatives/[2,3] (clpfd): Combinatorial Constraints
• current_atom/1: State Info
• current_breakpoint/5: Debug Pred, Breakpoint Predicates, Built-in Predicates for Breakpoint Handling
• current_char_conversion/2: Pred Summary, Term I/O
• current_constraint/2 (chr): CHR Built-In Predicates
• current_handler/2 (chr): CHR Built-In Predicates
• current_host/1 (sockets): Sockets
• current_input/1: Stream Pred
• current_key/2: Database
• current_module/[1,2]: State Info
• current_op/3: Misc Pred
• current_output/1: Stream Pred
• current_predicate/[1,2]: State Info
• current_prolog_flag/2: State Info
• current_stream/3: Stream Pred
• cyclic_term/1 (terms): Term Utilities
• datime/[1,2] (system): System Utilities
• db_close/1 (bdb): The Predicates
• db_close_env/1 (bdb): The Predicates
• db_compress/[2,3] (bdb): The Predicates
• db_current/5 (bdb): The Predicates
• db_current_env/2 (bdb): The Predicates
• db_current_iterator/3 (bdb): The Predicates
• db_enumerate/3 (bdb): The Predicates
• db_erase/[2,3] (bdb): The Predicates
• db_fetch/3 (bdb): The Predicates
• db_findall/3 (bdb): The Predicates
• db_iterator_done/1 (bdb): The Predicates
• db_iterator_next/3 (bdb): The Predicates
• db_make_iterator/[2,3] (bdb): The Predicates
• db_open/[4,5] (bdb): The Predicates
• db_open_env/[2,3] (bdb): The Predicates
• db_store/3 (bdb): The Predicates
• db_sync/1 (bdb): The Predicates
• debug/0: Debug Pred, Basic Debug
• debugger_command_hook/2 (user): Debug Pred, Breakpoint Predicates, Hooks Related to Breakpoints
• debugging/0: Debug Pred, Basic Debug
• del_assoc/4 (assoc): Assoc
• del_edges/3 (ugraphs): UGraphs
• del_edges/3 (wgraphs): WGraphs
• del_max_assoc/4 (assoc): Assoc
• del_min_assoc/4 (assoc): Assoc
• del_vertices/3 (ugraphs): UGraphs
• del_vertices/3 (wgraphs): WGraphs
• delete/3 (lists): Lists
• delete_file/[1,2] (system): System Utilities
• delete_from_heap/4 (heaps): Heaps
• dif/2: Coroutining
• directory_files/2 (system): System Utilities
• disable_breakpoints/1: Debug Pred, Breakpoint Predicates
• discontiguous/1 (declaration): Discontiguous Declarations
• disjoint1/[1,2] (clpfd): Combinatorial Constraints
• disjoint2/[1,2] (clpfd): Combinatorial Constraints
• display/1: Term I/O
• domain/3 (clpfd): Membership Constraints
• dump/3 (clpqr): Solver Predicates
• dynamic/1 (declaration): Dynamic Declarations
• edges/2 (ugraphs): UGraphs
• edges/2 (wgraphs): WGraphs
• element/3 (clpfd): Combinatorial Constraints
• empty_assoc/1 (assoc): Assoc
• empty_fdset/1 (clpfd): FD Set Operations
• empty_heap/1 (heaps): Heaps
• empty_interval/2 (clpfd): FD Set Operations
• empty_queue/1 (queues): Queues
• enable_breakpoints/1: Debug Pred, Breakpoint Predicates
• ensure_loaded/1: Read In, Load Predicates
• entailed/1 (clpqr): Solver Predicates
• environ/2 (system): System Utilities
• erase/1: Modify Prog
• error_exception/1 (user): Debug Pred, Exceptions Debug
• exec/3 (system): System Utilities
• execution_state/[1,2]: Debug Pred, Breakpoint Predicates, Accessing Past Debugger States, Built-in Predicates for Breakpoint Handling
• expand/0 (clpqr): Syntactic Sugar
• expand_term/2: Term and Goal Expansion
• fail/0: Control
• false/0: Control
• fcompile/1: Read In, Load Predicates
• fd_closure/2 (clpfd): Reflection Predicates
• fd_copy_term/3 (clpfd): Reflection Predicates
• fd_degree/2 (clpfd): Reflection Predicates
• fd_dom/2 (clpfd): Reflection Predicates
• fd_global/[3,4] (clpfd): The Global Constraint Programming Interface
• fd_max/2 (clpfd): Reflection Predicates
• fd_min/2 (clpfd): Reflection Predicates
• fd_neighbors/2 (clpfd): Reflection Predicates
• fd_set/2 (clpfd): Reflection Predicates
• fd_size/2 (clpfd): Reflection Predicates
• fd_statistics/[0,2] (clpfd): Statistics Predicates
• fd_var/1 (clpfd): Reflection Predicates
• fdbg:fdvar_portray/3 (fdbg): FDBG Customizing Output
• fdbg:legend_portray/3 (fdbg): FDBG Customizing Output
• fdbg_annotate/[3,4] (fdbg): FDBG Writing Visualizers
• fdbg_assign_name/2 (fdbg): FDBG Naming Terms
• fdbg_current_name/2 (fdbg): FDBG Naming Terms
• fdbg_get_name/2 (fdbg): FDBG Naming Terms
• fdbg_guard/3 (fdbg): FDBG Debugging Global Constraints
• fdbg_label_show/3 (fdbg): FDBG Built-In Visualizers
• fdbg_labeling_step/2 (fdbg): FDBG Annotation
• fdbg_legend/[1,2] (fdbg): FDBG Writing Visualizers
• fdbg_off/0 (fdbg): FDBG Options
• fdbg_on/[0,1] (fdbg): FDBG Options
• fdbg_show/2 (fdbg): FDBG Built-In Visualizers
• fdbg_start_labeling/1 (fdbg): FDBG Annotation
• fdbg_transform_actions/3 (fdbg): FDBG Writing Legend Printers
• fdset_add_element/3 (clpfd): FD Set Operations
• fdset_complement/2 (clpfd): FD Set Operations
• fdset_del_element/3 (clpfd): FD Set Operations
• fdset_disjoint/2 (clpfd): FD Set Operations
• fdset_eq/2 (clpfd): FD Set Operations
• fdset_intersect/2 (clpfd): FD Set Operations
• fdset_intersection/[2,3] (clpfd): FD Set Operations
• fdset_interval/3 (clpfd): FD Set Operations
• fdset_max/2 (clpfd): FD Set Operations
• fdset_member/2 (clpfd): FD Set Operations
• fdset_min/2 (clpfd): FD Set Operations
• fdset_parts/4 (clpfd): FD Set Operations
• fdset_singleton/2 (clpfd): FD Set Operations
• fdset_size/2 (clpfd): FD Set Operations
• fdset_subset/2 (clpfd): FD Set Operations
• fdset_subtract/3 (clpfd): FD Set Operations
• fdset_to_list/2 (clpfd): FD Set Operations
• fdset_to_range/2 (clpfd): FD Set Operations
• fdset_union/[2,3] (clpfd): FD Set Operations
• file_exists/[1,2] (system): System Utilities
• file_property/2 (system): System Utilities
• file_search_path/2 (user): Stream Pred, Input Output
• fileerrors/0: Stream Pred
• find_constraint/2 (chr): CHR Built-In Predicates
• find_constraint/3 (chr): CHR Built-In Predicates
• findall/[3,4]: All Solutions
• findall_constraints/[2,3] (chr): CHR Built-In Predicates
• first_bound/2 (clpfd): Enumeration Predicates
• float/1: Meta Logic
• flush_output/[0,1]: Stream Pred
• foreign/[2,3]: Conversion Declarations
• foreign_file/2: Interface Predicates
• foreign_resource/2: Conversion Declarations
• format/[2,3]: Term I/O
• format_to_chars/[3,4] (charsio): Chars I/O
• freeze/2: Coroutining
• frozen/2: Coroutining
• functor/3: Meta Logic
• garbage_collect/0: Misc Pred
• garbage_collect_atoms/0: Misc Pred
• gc/0: Misc Pred
• gen_assoc/3 (assoc): Assoc
• gen_label/3 (trees): Trees
• generate_message/3 (SU_messages): Message Handling Predicates
• generate_message_hook/3 (user): Pred Summary, Message Handling Predicates
• get/[1,2]: Char I/O
• get0/[1,2]: Char I/O
• get_assoc/[3,5] (assoc): Assoc
• get_atts/2 (Module): Attributes
• get_byte/[1,2]: Char I/O
• get_char/[1,2]: Char I/O
• get_code/[1,2]: Char I/O
• get_from_heap/4 (heaps): Heaps
• get_label/3 (trees): Trees
• get_mutable/2: Modify Term
• get_next_assoc/4 (assoc): Assoc
• get_prev_assoc/4 (assoc): Assoc
• getrand/1 (random): Random
• global_cardinality/[2,3] (clpfd): Combinatorial Constraints
• goal_expansion/3 (user): Term and Goal Expansion
• goal_source_info/3: Message Handling Predicates
• ground/1: Meta Logic
• halt/[0,1]: Misc Pred
• heap_size/2 (heaps): Heaps
• heap_to_list/2 (heaps): Heaps
• help/0: Misc Pred
• host_id/1 (system): System Utilities
• host_name/1 (system): System Utilities
• hostname_address/2 (sockets): Sockets
• if/3: Control
• in/1 (linda_client): Client
• in/2 (clpfd): Membership Constraints
• in/2 (linda_client): Client
• in_noblock/1 (linda_client): Client
• in_set/2 (clpfd): Membership Constraints
• include/1 (declaration): Include Declarations
• incore/1: Control
• independent_set/3 (ugraphs): UGraphs
• indomain/1 (clpfd): Enumeration Predicates
• inf/[2,4] (clpqr): Solver Predicates
• initialization/1: Initializations
• insert_constraint/[2,3] (chr): CHR Built-In Predicates
• instance/2: Modify Prog
• integer/1: Meta Logic
• is/2: Arithmetic
• is_array/1 (arrays): Arrays
• is_assoc/1 (assoc): Assoc
• is_fdset/1 (clpfd): FD Set Operations
• is_heap/1 (heaps): Heaps
• is_list/1 (lists): Lists
• is_mutable/1: Modify Term, Meta Logic
• is_ordset/1 (ordsets): Ordsets
• is_queue/1 (queues): Queues
• jasper_call/4 (jasper): Jasper Library Predicates
• jasper_call_instance/6 (jasper): Deprecated Jasper Predicates
• jasper_call_static/6 (jasper): Deprecated Jasper Predicates
• jasper_create_global_ref/3 (jasper): Jasper Library Predicates
• jasper_create_local_ref/3 (jasper): Jasper Library Predicates
• jasper_deinitialize/1 (jasper): Jasper Library Predicates
• jasper_delete_global_ref/2 (jasper): Jasper Library Predicates
• jasper_delete_local_ref/2 (jasper): Jasper Library Predicates
• jasper_initialize/[1,2] (jasper): Jasper Library Predicates
• jasper_is_instance_of/3 (jasper): Jasper Library Predicates
• jasper_is_jvm/1 (jasper): Jasper Library Predicates
• jasper_is_object/[1,2] (jasper): Jasper Library Predicates
• jasper_is_same_object/3 (jasper): Jasper Library Predicates
• jasper_new_object/5 (jasper): Deprecated Jasper Predicates, Jasper Library Predicates
• jasper_null/2 (jasper): Jasper Library Predicates
• jasper_object_class_name/3 (jasper): Jasper Library Predicates
• keysort/2: Term Compare
• kill/2 (system): System Utilities
• knapsack/3 (clpfd): Arithmetic Constraints
• labeling/1 (clpb): CLPB Interface
• labeling/2 (clpfd): Enumeration Predicates
• last/2 (lists): Lists
• later_bound/2 (clpfd): Enumeration Predicates
• leash/1: Debug Pred, Basic Debug
• length/2: Misc Pred
• lex_chain/[1,2] (clpfd): Combinatorial Constraints
• library_directory/1 (user): Stream Pred
• linda/[0,1] (linda): Server
• linda_client/1 (linda_client): Client
• linda_timeout/2 (linda_client): Client
• line_count/2: Stream Pred
• line_position/2: Stream Pred
• list_queue/2 (queues): Queues
• list_to_assoc/2 (assoc): Assoc
• list_to_fdset/2 (clpfd): FD Set Operations
• list_to_heap/2 (heaps): Heaps
• list_to_ord_set/2 (ordsets): Ordsets
• list_to_tree/2 (trees): Trees
• listing/[0,1]: State Info
• load/1: Read In
• load_files/[1,2]: Read In, Load Predicates
• load_foreign_files/2: Interface Predicates
• load_foreign_resource/1: Interface Predicates
• make_directory/1 (system): System Utilities
• make_index:make_library_index/1: The Prolog Library
• map_assoc/[2,3] (assoc): Assoc
• map_tree/3 (trees): Trees
• max_assoc/3 (assoc): Assoc
• max_list/2 (lists): Lists
• max_path/5 (ugraphs): UGraphs
• max_path/5 (wgraphs): WGraphs
• maximize/1 (clpqr): Solver Predicates
• maximize/2 (clpfd): Enumeration Predicates
• member/2 (lists): Lists
• memberchk/2 (lists): Lists
• message_hook/3 (user): Message Handling Predicates
• meta_predicate/1 (declaration): Meta-Predicate Declarations, Meta Decl
• method_expansion/3 (user): Object Declaration
• min_assoc/3 (assoc): Assoc
• min_list/2 (lists): Lists
• min_of_heap/[3,5] (heaps): Heaps
• min_path/5 (ugraphs): UGraphs
• min_path/5 (wgraphs): WGraphs
• min_paths/3 (ugraphs): UGraphs
• min_paths/3 (wgraphs): WGraphs
• min_tree/3 (ugraphs): UGraphs
• min_tree/3 (wgraphs): WGraphs
• minimize/1 (clpqr): Solver Predicates
• minimize/2 (clpfd): Enumeration Predicates
• mktemp/2 (system): System Utilities
• mode/1 (declaration): Mode Declarations
• module/1: State Info
• module/2 (declaration): Module Declarations, Def Modules
• module/3 (declaration): Module Declarations, Def Modules
• multifile/1 (declaration): Multifile Declarations
• name/2: Meta Logic
• neighbors/3 (ugraphs): UGraphs
• neighbors/3 (wgraphs): WGraphs
• neighbours/3 (ugraphs): UGraphs
• neighbours/3 (wgraphs): WGraphs
• new_array/1 (arrays): Arrays
• nextto/3 (lists): Lists
• nl/[0,1]: Char I/O
• no_doubles/1 (lists): Lists
• nodebug/0: Debug Pred, Basic Debug
• noexpand/0 (clpqr): Syntactic Sugar
• nofileerrors/0: Stream Pred
• nogc/0: Misc Pred
• non_member/2 (lists): Lists
• nonvar/1: Meta Logic
• nospy/1: Debug Pred, Plain Spypoint
• nospyall/0: Debug Pred, Plain Spypoint
• notify_constrained/1 (chr): CHR Built-In Predicates
• notrace/0: Debug Pred, Basic Debug
• now/1 (system): System Utilities
• nozip/0: Debug Pred, Basic Debug
• nth/[3,4] (lists): Lists
• nth0/[3,4] (lists): Lists
• number/1: Meta Logic
• number_chars/2: Meta Logic
• number_codes/2: Meta Logic
• number_to_chars/[2,3] (charsio): Chars I/O
• numbervars/3: Misc Pred
• on_exception/3: Exception
• once/1: Control
• op/3: Standard Operators, Misc Pred, Operators
• open/[3,4]: Stream Pred
• open_chars_stream/2 (charsio): Chars I/O
• open_null_stream/1: Stream Pred
• ord_add_element/3 (ordsets): Ordsets
• ord_del_element/3 (ordsets): Ordsets
• ord_disjoint/2 (ordsets): Ordsets
• ord_intersect/2 (ordsets): Ordsets
• ord_intersection/[2,3,4] (ordsets): Ordsets
• ord_list_to_assoc/2 (assoc): Assoc
• ord_member/2 (ordsets): Ordsets
• ord_seteq/2 (ordsets): Ordsets
• ord_setproduct/3 (ordsets): Ordsets
• ord_subset/2 (ordsets): Ordsets
• ord_subtract/3 (ordsets): Ordsets
• ord_symdiff/3 (ordsets): Ordsets
• ord_union/[2,3,4] (ordsets): Ordsets
• order_resource/2 (clpfd): Enumeration Predicates
• ordering/1 (clpqr): Variable Ordering, Solver Predicates
• otherwise/0: Control
• out/1 (linda_client): Client
• path/3 (ugraphs): UGraphs
• path/3 (wgraphs): WGraphs
• peek_byte/[1,2]: Char I/O
• peek_char/[1,2]: Char I/O
• peek_code/[1,2]: Char I/O
• permutation/2 (lists): Lists
• phrase/[2,3]: Term and Goal Expansion
• pid/1 (system): System Utilities
• popen/3 (system): System Utilities
• portray/1 (clpqr): Rationals
• portray/1 (user): Term I/O
• portray_clause/[1,2]: Term I/O
• portray_message/2 (user): Message Handling Predicates
• predicate_property/2: State Info
• prefix/2 (lists): Lists
• print/[1,2]: Term I/O
• print_message/2: Message Handling Predicates
• print_message_lines/3: Message Handling Predicates
• profile_data/4: Profiling
• profile_reset/1: Profiling
• project_attributes/2 (Module): Attributes
• projecting_assert/1 (clpqr): Solver Predicates
• prolog_flag/[2,3]: State Info
• prolog_load_context/2: State Info
• prompt/2: Misc Pred
• public/1 (declaration): Public Declarations
• put/[1,2]: Char I/O
• put_assoc/4 (assoc): Assoc
• put_atts/2 (Module): Attributes
• put_byte/[1,2]: Char I/O
• put_char/[1,2]: Char I/O
• put_code/[1,2]: Char I/O
• put_label/[4,5] (trees): Trees
• query_abbreviation/3 (SU_messages): Query Handling Predicates
• query_class/5 (SU_messages): Query Handling Predicates
• query_class_hook/5 (user): Query Handling Predicates
• query_hook/6 (user): Query Handling Predicates
• query_input/3 (SU_messages): Query Handling Predicates
• query_input_hook/3 (user): Query Handling Predicates
• query_map/4 (SU_messages): Query Handling Predicates
• query_map_hook/4 (user): Query Handling Predicates
• queue/2 (queues): Queues
• queue_head/3 (queues): Queues
• queue_head_list/3 (queues): Queues
• queue_last/3 (queues): Queues
• queue_last_list/3 (queues): Queues
• queue_length/2 (queues): Queues
• raise_exception/1: Exception
• random/[1,3] (random): Random
• random_ugraph/3 (ugraphs): UGraphs
• random_wgraph/4 (wgraphs): WGraphs
• randseq/3 (random): Random
• randset/3 (random): Random
• range_to_fdset/2 (clpfd): FD Set Operations
• rd/[1,2] (linda_client): Client
• rd_noblock/1 (linda_client): Client
• reachable/3 (ugraphs): UGraphs
• reachable/3 (wgraphs): WGraphs
• read/[1,2]: Term I/O
• read_from_chars/2 (charsio): Chars I/O
• read_line/[1,2]: Char I/O
• read_term/[2,3]: Term I/O
• read_term_from_chars/3 (charsio): Chars I/O
• reconsult/1: Read In
• recorda/3: Database
• recorded/3: Database
• recordz/3: Database
• reduce/2 (ugraphs): UGraphs
• reduce/2 (wgraphs): WGraphs
• register_event_listener/[2,3] (prologbeans): PB Prolog Interface
• register_query/1: PB Prolog Interface
• register_query/[2,3] (prologbeans): PB Prolog Interface
• relation/3 (clpfd): Combinatorial Constraints
• remove_breakpoints/1: Debug Pred, Breakpoint Predicates, Built-in Predicates for Breakpoint Handling
• remove_constraint/1 (chr): CHR Built-In Predicates
• remove_duplicates/2 (lists): Lists
• rename_file/2 (system): System Utilities
• repeat/0: Control
• require/1: Read In
• restore/1: Misc Pred, Saving
• retract/1: Modify Prog
• retractall/1: Modify Prog
• reverse/2 (lists): Lists
• same_length/[2,3] (lists): Lists
• sat/1 (clpb): CLPB Interface
• save_files/2: Misc Pred, Saving
• save_modules/2: Misc Pred, Saving
• save_predicates/2: Misc Pred, Saving
• save_program/[1,2]: Misc Pred, Saving
• scalar_product/4 (clpfd): Arithmetic Constraints
• see/1: File Pred
• seeing/1: File Pred
• seek/4: Stream Pred
• seen/0: File Pred
• select/3 (lists): Lists
• serialized/[2,3] (clpfd): Combinatorial Constraints
• session_get/4 (prologbeans): PB Prolog Interface
• session_put/3 (prologbeans): PB Prolog Interface
• 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): Random
• shell/[0,1,2] (system): System Utilities
• shutdown/[0,1] (prologbeans): PB Prolog Interface
• shutdown_server/0 (linda_client): Client
• simple/1: Meta Logic
• skip/[1,2]: Char I/O
• skip_line/[0,1]: Char I/O
• sleep/1 (system): System Utilities
• socket/2 (sockets): Sockets
• socket_accept/[2,3] (sockets): Sockets
• socket_bind/2 (sockets): Sockets
• socket_buffering/4 (sockets): Sockets
• socket_close/1 (sockets): Sockets
• socket_connect/3 (sockets): Sockets
• socket_listen/2 (sockets): Sockets
• socket_select/[5,6] (sockets): Sockets
• sort/2: Term Compare
• sorting/3 (clpfd): Combinatorial Constraints
• source_file/[1,2]: Read In
• space_out/3 (spaceout): Spaceout
• spy/[1,2]: Debug Pred, Breakpoint Predicates, Plain Spypoint
• start/[0,1] (prologbeans): PB Prolog Interface
• statistics/[0,2]: State Info
• stream_code/2: Prolog Streams
• stream_position/2: Stream Pred
• stream_position_data/3: Stream Pred
• stream_property/2: Stream Pred
• sub_atom/5: Meta Logic
• sublist/2 (lists): Lists
• substitute/4 (lists): Lists
• subsumes/2 (terms): Term Utilities
• subsumes_chk/2 (terms): Term Utilities
• suffix/2 (lists): Lists
• sum/3 (clpfd): Arithmetic Constraints
• sum_list/2 (lists): Lists
• sup/[2,4] (clpqr): Solver Predicates
• symmetric_closure/2 (ugraphs): UGraphs
• symmetric_closure/2 (wgraphs): WGraphs
• system/[0,1,2] (system): System Utilities
• tab/[1,2]: Char I/O
• taut/2 (clpb): CLPB Interface
• tcl_delete/1 (tcltk): Predicates for Prolog to Interact with Tcl Interpreters, Removing a Tcl Interpreter
• tcl_eval/3 (tcltk): Predicates for Prolog to Interact with Tcl Interpreters, Evaluating Tcl Expressions from Prolog
• tcl_event/3 (tcltk): Predicates for Prolog to Interact with Tcl Interpreters, Evaluate a Tcl Expression And Get Prolog Events
• tcl_new/1 (tcltk): Predicates for Prolog to Interact with Tcl Interpreters, Creating a Tcl Interpreter
• tell/1: File Pred
• telling/1: File Pred
• term_expansion/[2,4] (user): Term and Goal Expansion
• term_hash/[2,4] (terms): Term Utilities
• term_subsumer/3 (terms): Term Utilities
• term_variables/2 (terms): Term Utilities
• term_variables_bag/2 (terms): Term Utilities
• throw/1: Exception
• time_out/3 (timeout): Timeout
• tk_destroy_window/1 (tcltk): Predicates for Prolog to Interact with Tcl Interpreters with Tk Extensions, Housekeeping
• tk_do_one_event/[0,1] (tcltk): Predicates for Prolog to Interact with Tcl Interpreters with Tk Extensions, Servicing Tk Events
• tk_main_loop/0 (tcltk): Predicates for Prolog to Interact with Tcl Interpreters with Tk Extensions, Passing Control to Tk
• tk_main_window/2 (tcltk): Predicates for Prolog to Interact with Tcl Interpreters with Tk Extensions, Housekeeping
• tk_make_window_exist/1 (tcltk): Predicates for Prolog to Interact with Tcl Interpreters with Tk Extensions, Housekeeping
• tk_new/2 (tcltk): Predicates for Prolog to Interact with Tcl Interpreters with Tk Extensions, Creating a Tcl Interpreter Extended with Tk
• tk_next_event/[2,3] (tcltk): Predicates for Prolog to Interact with Tcl Interpreters with Tk Extensions, Servicing Tk Events, Evaluate a Tcl Expression And Get Prolog Events
• tk_num_main_windows/1 (tcltk): Predicates for Prolog to Interact with Tcl Interpreters with Tk Extensions, Housekeeping
• tmpnam/1 (system): System Utilities
• told/0: File Pred
• top_sort/2 (ugraphs): UGraphs
• top_sort/2 (wgraphs): WGraphs
• trace/0: Debug Pred, Basic Debug
• transitive_closure/2 (ugraphs): UGraphs
• transitive_closure/2 (wgraphs): WGraphs
• transpose/2 (ugraphs): UGraphs
• transpose/2 (wgraphs): WGraphs
• tree_size/2 (trees): Trees
• tree_to_list/2 (trees): Trees
• trimcore/0: State Info
• true/0: Control
• 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
• ugraph_to_wgraph/2 (wgraphs): WGraphs
• unconstrained/1 (chr): CHR Built-In Predicates
• undo/1: Misc Pred
• unify_with_occurs_check/2: Misc Pred
• unknown/2: Debug Pred, Undefined Predicates
• unknown_predicate_handler/3 (user): Exception, Undefined Predicates
• unload_foreign_resource/1: Interface Predicates
• unregister_event_listener/1 (prologbeans): PB Prolog Interface
• update_mutable/2: Modify Term
• use_module/[1,2,3]: Read In
• user:breakpoint_expansion/2: Condition Macros, Hooks Related to Breakpoints
• user:debugger_command_hook/2: Debug Pred, Breakpoint Predicates, Hooks Related to Breakpoints
• user:error_exception/1: Debug Pred, Exceptions Debug
• user:file_search_path/2: Stream Pred, Input Output
• user:generate_message_hook/3: Pred Summary, Message Handling Predicates
• user:goal_expansion/3: Term and Goal Expansion
• 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,4]: Term and Goal Expansion
• user:unknown_predicate_handler/3: Exception, Undefined Predicates
• user:user_help/0: Misc Pred
• user_help/0 (user): Misc Pred
• var/1: Meta Logic
• variant/2 (terms): Term Utilities
• verify_attributes/3 (Module): Attributes
• version/[0,1]: Misc Pred
• vertices/2 (ugraphs): UGraphs
• vertices/2 (wgraphs): WGraphs
• vertices_edges_to_ugraph/3 (ugraphs): UGraphs
• vertices_edges_to_wgraph/3 (wgraphs): WGraphs
• view/1 (gauge): Gauge
• volatile/1 (declaration): Volatile Declarations
• wait/2 (system): System Utilities
• wgraph_to_ugraph/2 (wgraphs): WGraphs
• when/2: Coroutining
• with_output_to_chars/[2,3,4] (charsio): Chars I/O
• working_directory/2 (system): System Utilities
• write/[1,2]: Term I/O
• write_canonical/[1,2]: Term I/O
• write_term/[2,3]: Term I/O
• write_term_to_chars/[3,4] (charsio): Chars I/O
• write_to_chars/[2,3] (charsio): Chars I/O
• writeq/[1,2]: Term I/O
• xml_parse/[2,3] (xml): XML
• xml_pp/1 (xml): XML
• xml_subterm/2 (xml): XML
• zip/0: Debug Pred, Basic Debug
• {}/1 (clpqr): Solver Predicates