Node:Predicate Index, Next:Obj Index, Previous:References, Up:Top
!/0, cut: Control, Cut
#/\ /2: Propositional Constraints
#< /2: Arithmetic Constraints
#<= /2: Propositional Constraints
#<=> /2: Reified Constraints, Propositional 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, conjunction: Control
--> /2, grammar rule: Definite
-> /2 ;/2, if then else: Control
-> /2, if then: Control
. /2, consult: Read In
:- /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
<:/1 (message delegation): Obj Self
<:/2 (message delegation): 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: Modify Prog
abolish/2: Modify Prog
abort/0: Misc Pred
absolute_file_name/2: Stream Pred
absolute_file_name/3: Stream Pred
acyclic_term/1: Term Utilities
add_breakpoint/2: Debug Pred, Breakpoint Predicates
add_edges/3: UGraphs, WGraphs
add_to_heap/4: Heaps
add_vertices/3: UGraphs, WGraphs
all_different/1: Combinatorial Constraints
all_different/2: Combinatorial Constraints
all_distinct/1: Combinatorial Constraints
all_distinct/2: Combinatorial Constraints
append/3: Lists
aref/3: Arrays
arefa/3: Arrays
arefl/3: Arrays
arg/3: Meta Logic
array_to_list/2: Arrays
aset/4: Arrays
ask_query/4: Query Handling Predicates
assert/1: Modify Prog
assert/2: Modify Prog
asserta/1: Modify Prog
asserta/2: Modify Prog
assertz/1: Modify Prog
assertz/2: Modify Prog
assignment/2: Combinatorial Constraints
assignment/3: Combinatorial Constraints
assoc_to_list/2: Assoc
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
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: Chars I/O
atom_to_chars/3: Chars I/O
atomic/1: Meta Logic
attribute/1 (declaration): Attributes
attribute_goal/2: Attributes
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
block/1 (declaration): Block Declarations
break/0: Nested, Misc Pred
breakpoint_expansion/2: Condition Macros, Hooks Related to Breakpoints
byte_count/2: Stream Pred
C/3: Definite
call/1: Control
call_cleanup/2: Control
call_residue/2: Coroutining
callable/1: Meta Logic
case/3: Combinatorial Constraints
case/4: 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 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
clause/2: Modify Prog
clause/3: Modify Prog
clique/3: UGraphs
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
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
compare/3: Term Compare
compile/1: Read In, Load Predicates
complement/2: UGraphs
compose/3: UGraphs
compound/1: Meta Logic
consult/1: Load Predicates, Read In
copy_term/2: Meta Logic
count/4: Combinatorial Constraints
create_mutable/2: Modify Term
cumulative/4: Combinatorial Constraints
cumulative/5: Combinatorial Constraints
cumulatives/2: Combinatorial Constraints
cumulatives/3: Combinatorial Constraints
current_atom/1: State Info
current_breakpoint/4: Breakpoint Predicates, Debug Pred
current_char_conversion/2: Term I/O, Pred Summary
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
cyclic_term/1: Term Utilities
datime/1: System Utilities
datime/2: System Utilities
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
debug/0: Basic Debug, Debug Pred
debugger_command_hook/2: Debug Pred, Breakpoint Predicates, Hooks Related to Breakpoints
debugging/0: Basic Debug, Debug Pred
del_assoc/4: Assoc
del_edges/3: WGraphs, UGraphs
del_max_assoc/4: Assoc
del_min_assoc/4: Assoc
del_vertices/3: WGraphs, UGraphs
delete/3: Lists
delete_file/1: System Utilities
delete_file/2: System Utilities
delete_from_heap/4: Heaps
dif/2: Coroutining
directory_files/2: System Utilities
disable_breakpoints/1: Breakpoint Predicates, Debug Pred
discontiguous/1 (declaration): Discontiguous Declarations
disjoint1/1: Combinatorial Constraints
disjoint1/2: Combinatorial Constraints
disjoint2/1: Combinatorial Constraints
disjoint2/2: Combinatorial Constraints
display/1: Term I/O
domain/3: Membership Constraints
dump/3: Solver Predicates
dynamic/1 (declaration): Dynamic Declarations
edges/2: WGraphs, UGraphs
element/3: Combinatorial Constraints
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_breakpoints/1: Breakpoint Predicates, Debug Pred
ensure_loaded/1: Load Predicates, Read In
entailed/1: Solver Predicates
environ/2: System Utilities
erase/1: Modify Prog
error_exception/1: Debug Pred, Exceptions Debug
exec/3: System Utilities
execution_state/1: Built-in Predicates for Breakpoint Handling, Debug Pred, Breakpoint Predicates
execution_state/2: Accessing Past Debugger States, Debug Pred, Breakpoint Predicates
expand/0: Syntactic Sugar
expand_term/2: Definite
fail/0: Control
false/0: Control
fcompile/1: Load Predicates, Read In
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: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_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
file_exists/1: System Utilities
file_exists/2: System Utilities
file_property/2: System Utilities
file_search_path/2: Stream Pred, Input Output
fileerrors/0: Stream Pred
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
first_bound/2: Enumeration Predicates
float/1: Meta Logic
flush_output/0: Stream Pred
flush_output/1: Stream Pred
foreign/2: Conversion Declarations
foreign/3: Conversion Declarations
foreign_file/2: Interface Predicates
foreign_resource/2: Conversion Declarations
format/2: Term I/O
format/3: Term I/O
format_to_chars/3: Chars I/O
format_to_chars/4: 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
gen_label/3: Trees
generate_message/3: Message Handling Predicates
generate_message_hook/3: Pred Summary, Message Handling Predicates
get/1: Char I/O
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
global_cardinality/2: Combinatorial Constraints
goal_expansion/3: Definite
goal_source_info/3: Message Handling Predicates
ground/1: Meta Logic
halt/0: Misc Pred
halt/1: Misc Pred
heap_size/2: Heaps
heap_to_list/2: Heaps
help/0: Misc Pred
host_id/1: System Utilities
host_name/1: System Utilities
hostname_address/2: Sockets
if/3: Control
in/1: Client
in/2: Membership Constraints, Client
in_noblock/1: Client
in_set/2: Membership Constraints
include/1 (declaration): Include Declarations
incore/1: Control
independent_set/3: UGraphs
indomain/1: Enumeration Predicates
inf/2: Solver Predicates
inf/4: Solver Predicates
initialization/1: Initializations
insert_constraint/2: CHR Built-In Predicates
insert_constraint/3: CHR Built-In Predicates
instance/2: Modify Prog
integer/1: Meta Logic
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: Meta Logic, Modify Term
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: Deprecated Jasper Predicates, Jasper Library Predicates
jasper_null/2: Jasper Library Predicates
jasper_object_class_name/3: Jasper Library Predicates
keysort/2: Term Compare
kill/2: System Utilities
knapsack/3: Arithmetic Constraints
labeling/1: CLPB Interface
labeling/2: Enumeration Predicates
last/2: Lists
later_bound/2: Enumeration Predicates
leash/1: Basic Debug, Debug Pred
length/2: Misc Pred
library_directory/1: Stream Pred
linda/0: Server
linda/1: Server
linda_client/1: Client
linda_timeout/2: Client
line_count/2: Stream Pred
line_position/2: Stream Pred
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
listing/0: State Info
listing/1: 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
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
max_assoc/3: Assoc
max_list/2: Lists
max_path/5: UGraphs, WGraphs
maximize/1: Solver Predicates
maximize/2: Enumeration Predicates
member/2: Lists
memberchk/2: Lists
message_hook/3: Message Handling Predicates
meta_predicate/1 (declaration): Meta-Predicate Declarations, Meta Decl
method_expansion/3: Object Declaration
min_assoc/3: Assoc
min_list/2: Lists
min_of_heap/3: Heaps
min_of_heap/5: Heaps
min_path/5: UGraphs, WGraphs
min_paths/3: UGraphs, WGraphs
min_tree/3: WGraphs, UGraphs
minimize/1: Solver Predicates
minimize/2: Enumeration Predicates
mktemp/2: 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: WGraphs, UGraphs
neighbours/3: WGraphs, UGraphs
new_array/1: Arrays
nextto/3: Lists
nl/0: Char I/O
nl/1: Char I/O
no_doubles/1: Lists
nodebug/0: Debug Pred, Basic Debug
noexpand/0: Syntactic Sugar
nofileerrors/0: Stream Pred
nogc/0: Misc Pred
non_member/2: Lists
nonvar/1: Meta Logic
nospy/1: Plain Spypoint, Debug Pred
nospyall/0: Debug Pred, Plain Spypoint
notify_constrained/1: CHR Built-In Predicates
notrace/0: Basic Debug, Debug Pred
now/1: System Utilities
nozip/0: Debug Pred, Basic Debug
nth/3: Lists
nth/4: Lists
nth0/3: Lists
nth0/4: Lists
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/3: Misc Pred
on_exception/3: Exception
once/1: Control
op/3: Misc Pred, Standard Operators, Operators
open/3: Stream Pred
open/4: Stream Pred
open_chars_stream/2: Chars I/O
open_null_stream/1: Stream Pred
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_resource/2: Enumeration Predicates
ordering/1: Solver Predicates, Variable Ordering
otherwise/0: Control
out/1: Client
path/3: WGraphs, UGraphs
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
permutation/2: Lists
phrase/2: Definite
phrase/3: Definite
pid/1: System Utilities
popen/3: System Utilities
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
predicate_property/2: State Info
prefix/2: Lists
print/1: Term I/O
print/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: Attributes
projecting_assert/1: Solver Predicates
prolog_flag/2: State Info
prolog_flag/3: State Info
prolog_load_context/2: State Info
prompt/2: Misc Pred
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
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
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
raise_exception/1: Exception
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: UGraphs, WGraphs
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
reconsult/1: Read In
recorda/3: Database
recorded/3: Database
recordz/3: Database
reduce/2: UGraphs, WGraphs
relation/3: Combinatorial Constraints
remove_breakpoints/1: Built-in Predicates for Breakpoint Handling, Debug Pred, Breakpoint Predicates
remove_constraint/1: CHR Built-In Predicates
remove_duplicates/2: Lists
rename_file/2: System Utilities
repeat/0: Control
require/1: Read In
restore/1: Saving, Misc Pred
retract/1: Modify Prog
retractall/1: Modify Prog
reverse/2: Lists
same_length/2: Lists
same_length/3: Lists
sat/1: CLPB Interface
save_files/2: Saving, Misc Pred
save_modules/2: Saving, Misc Pred
save_predicates/2: Misc Pred, Saving
save_program/1: Saving, Misc Pred
save_program/2: Saving, Misc Pred
scalar_product/4: Arithmetic Constraints
see/1: File Pred
seeing/1: File Pred
seek/4: Stream Pred
seen/0: File Pred
select/3: Lists
serialized/2: Combinatorial Constraints
serialized/3: Combinatorial Constraints
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
shell/0: System Utilities
shell/1: System Utilities
shell/2: System Utilities
shutdown_server/0: Client
simple/1: Meta Logic
skip/1: Char I/O
skip/2: Char I/O
skip_line/0: Char I/O
skip_line/1: Char I/O
sleep/1: System Utilities
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
sort/2: Term Compare
sorting/3: Combinatorial Constraints
source_file/1: Read In
source_file/2: Read In
spy/1: Debug Pred, Plain Spypoint
spy/2: Debug Pred, Breakpoint Predicates
statistics/0: State Info
statistics/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
substitute/4: Lists
subsumes/2: Term Utilities
subsumes_chk/2: Term Utilities
suffix/2: Lists
sum/3: Arithmetic Constraints
sum_list/2: Lists
sup/2: Solver Predicates
sup/4: Solver Predicates
symmetric_closure/2: UGraphs, WGraphs
system/0: System Utilities
system/1: System Utilities
system/2: System Utilities
tab/1: Char I/O
tab/2: Char I/O
taut/2: CLPB Interface
tcl_delete/1: Predicates for Prolog to interact with Tcl interpreters, Removing a Tcl interpreter
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: Creating a Tcl interpreter, Predicates for Prolog to interact with Tcl interpreters
tell/1: File Pred
telling/1: File Pred
term_expansion/2: Definite
term_expansion/4: Definite
term_hash/2: Term Utilities
term_hash/4: Term Utilities
term_subsumer/3: Term Utilities
term_variables/2: Term Utilities
term_variables_bag/2: Term Utilities
throw/1: Exception
time_out/3: Timeout
tk_destroy_window/1: Housekeeping, Predicates for Prolog to interact with Tcl interpreters with Tk extensions
tk_do_one_event/0: Predicates for Prolog to interact with Tcl interpreters with Tk extensions, Servicing Tk Events
tk_do_one_event/1: Predicates for Prolog to interact with Tcl interpreters with Tk extensions, 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: Predicates for Prolog to interact with Tcl interpreters with Tk extensions, Housekeeping
tk_make_window_exist/1: Predicates for Prolog to interact with Tcl interpreters with Tk extensions, Housekeeping
tk_new/2: Predicates for Prolog to interact with Tcl interpreters with Tk extensions, Creating a Tcl interpreter extended with Tk
tk_next_event/2: Predicates for Prolog to interact with Tcl interpreters with Tk extensions, Evaluate a Tcl expression and get Prolog events, Servicing Tk Events
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: Predicates for Prolog to interact with Tcl interpreters with Tk extensions, Housekeeping
tmpnam/1: System Utilities
told/0: File Pred
top_sort/2: WGraphs, UGraphs
trace/0: Debug Pred, Basic Debug
transitive_closure/2: WGraphs, UGraphs
transpose/2: UGraphs, WGraphs
tree_size/2: Trees
tree_to_list/2: 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
unconstrained/1: CHR Built-In Predicates
undo/1: Misc Pred
unify_with_occurs_check/2: Misc Pred
unknown/2: Undefined Predicates, Debug Pred
unknown_predicate_handler/3: Undefined Predicates, Exception
unload_foreign_resource/1: Interface Predicates
update_mutable/2: Modify Term
use_module/1: Read In
use_module/2: Read In
use_module/3: Read In
user:breakpoint_expansion/2: Condition Macros, Hooks Related to Breakpoints
user:debugger_command_hook/2: Breakpoint Predicates, Debug Pred, Hooks Related to Breakpoints
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_help/0: Misc Pred
var/1: Meta Logic
variant/2: Term Utilities
verify_attributes/3: Attributes
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
volatile/1 (declaration): Volatile Declarations
wait/2: System Utilities
wgraph_to_ugraph/2: WGraphs
when/2: Coroutining
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
write/1: Term I/O
write/2: Term I/O
write_canonical/1: Term I/O
write_canonical/2: Term I/O
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
zip/0: Basic Debug, Debug Pred
{}/1: Solver Predicates