Go to the first, previous, next, last section, table of contents.
Jump to:
!
-
#
-
*
-
+
-
,
-
-
-
.
-
/
-
:
-
;
-
<
-
=
-
>
-
?
-
@
-
[
-
\
-
^
-
a
-
b
-
c
-
d
-
e
-
f
-
g
-
h
-
i
-
k
-
l
-
m
-
n
-
o
-
p
-
q
-
r
-
s
-
t
-
u
-
v
-
w
-
x
-
z
-
{
-
~
!/0, cut, !/0, cut
# /2, bitwise exclusive or
# /2, boolean eor
#/\ /2
#< /2
#<= /2
#<=> /2, #<=> /2
#= /2
#=< /2
#=> /2
#> /2
#>= /2
#\ /1
#\ /2
#\/ /2
#\= /2
* /2, boolean and
* /2, multiplication
+ /1, identity
+ /2, addition
+ /2, boolean ior
,/2, conjunction
- /1, negation
- /2, subtraction
--> /2, grammar rule
-> /2 ;/2, if then else
-> /2, if then
. /2, consult
. /2, identity
/ /2, floating division
// /2, integer division
/\ /2, bitwise conjunction
:- /1, command
:- /2, clause
:/2
::/1 (message sending)
::/2 (message sending)
;/2, disjunction
< /2, arithmetic less than
< /2, boolean less
<:/1 (message delegation)
<:/2 (message delegation)
<< /2, left shift
= /2, unification
=.. /2, univ
=:= /2, arithmetic equal
=:= /2, boolean equal
=< /2, arithmetic less or equal
=< /2, boolean less or equal
== /2, equality of terms
=\= /2, arithmetic not equal
=\= /2, boolean not equal
> /2, arithmetic greater than
> /2, boolean greater
>= /2, arithmetic greater or equal
>= /2, boolean greater or equal
>> /2, right shift
?- /1, query
?= /2, terms identical or cannot unify
@< /2, term less than
@=< /2, term less or equal
@> /2, term greater than
@>= /2, term greater or equal
[]/0, consult
\ /1, bitwise negation
\+ /1, not provable
\/ /2, bitwise disjunction
\== /2, inequality of terms
^ /2, boolean existential quantifier
^ /2, existential quantifier
abolish/1
abolish/2
abort (debugger command)
abort/0, abort/0
abs/1, absolute value
absolute_file_name/2
acos/1, function
acosh/1, function
acot/1, function
acot2/2, function
acoth/1, function
acyclic_term/1
add_edges/3, add_edges/3
add_to_heap/4
add_vertices/3, add_vertices/3
agc_margin (prolog flag)
all_different/1
all_distinct/1
ancestors (debugger command)
append/3
aref/3
arefa/3
arefl/3
arg/3
argv (prolog flag)
array_to_list/2
aset/4
asin/1, function
asinh/1, function
assert/1
assert/2
asserta/1
asserta/2
assertz/1
assertz/2
assignment/2
assoc_to_list/2
at_end_of_line/0
at_end_of_line/1
at_end_of_stream/0
at_end_of_stream/1
atan/1, function
atan2/2, function
atanh/1, function
atom/1
atom_chars/2
atom_garbage_collection (statistics/2 option)
atom_to_chars/2
atom_to_chars/3
atomic/1
atoms (statistics/2 option)
attribute/1 (declaration)
attribute_goal/2
backtrace (debugger command)
backtracks (profile_data/4 option)
bagof/3
bagof_rd_noblock/3
bb_delete/2
bb_get/2
bb_inf/3
bb_inf/5
bb_put/2
bb_update/3
block/1 (declaration)
blocked goals (debugger command)
break (debugger command)
break/0, break/0
C/3
call/1
call_cleanup/2
call_graph/2
call_residue/2, call_residue/2
callable/1
calls (profile_data/4 option)
card/2, boolean cardinality
ceiling/1, function
character_count/2
character_escapes (prolog flag)
choice (statistics/2 option)
choice_points (profile_data/4 option)
CHOICESTKSIZE (environment)
chr_debug/0
chr_debugging/0
chr_leash/1
chr_nodebug/0
chr_nospy/1
chr_notrace/0
chr_spy/1
chr_trace/0
circuit/1
circuit/2
clause/2
clause/3
clique/3
close/1
close_client/0
clpfd:dispatch_global/4
clpfd:full_answer/0
coloring/3
colouring/3
command (debugger command)
compare/3
compile-buffer (emacs command)
compile-file (emacs command)
compile-predicate (emacs command)
compile-region (emacs command)
compile/1, compile/1
compiling (prolog flag)
complement/2
compose/3
compound/1
consistency_error/4 (error class)
consult-buffer (emacs command)
consult-file (emacs command)
consult-predicate (emacs command)
consult-region (emacs command)
consult/1, consult/1
context_error/3 (error class)
copy_term/2
core (statistics/2 option)
cos/1, function
cosh/1, function
cot/1, function
coth/1, function
count/4
create_mutable/2
creep (debugger command)
cumulative/4
current_atom/1
current_constraint/2
current_db/4
current_handler/2
current_host/1
current_input/1
current_key/2
current_module/1
current_module/2
current_op/3
current_output/1
current_predicate/2
current_stream/3
cyclic_term/1
datime/1
db_buffering/2
db_buffering/3
db_canonical/2
db_canonical/3
db_close/0
db_close/1
db_erase/1
db_erase/2
db_fetch/2
db_fetch/3
db_findall/2
db_findall/3
db_open/3
db_open/4
db_store/2
db_store/3
debug/0, debug/0
debugger_print_options (prolog flag)
debugging (debugger command)
debugging (prolog flag)
debugging/0, debugging/0
deep_fails (profile_data/4 option)
del_assoc/4
del_edges/3, del_edges/3
del_max_assoc/4
del_min_assoc/4
del_vertices/3, del_vertices/3
delete/3
delete_file/1
delete_file/2
delete_from_heap/4
dif/2
directory_files/2
display (debugger command)
display/1
domain/3
domain_error/4 (error class)
dump/3
dynamic/1 (declaration)
edges/2, edges/2
element/3
empty_assoc/1
empty_fdset/1
empty_heap/1
empty_interval/2
empty_queue/1
ensure_loaded/1, ensure_loaded/1
entailed/1
environ/2
erase/1
error_exception/1
exec/3
execution_time (profile_data/4 option)
existence_error/5 (error class)
exp/1, exponent
exp/2, exponent
expand/0
expand_term/2
fail (debugger command)
fail/0
false/0
fcompile/1, fcompile/1
fd_closure/2
fd_dom/2
fd_global/3
fd_max/2
fd_min/2
fd_set/2
fd_size/2
fd_statistics/0
fd_statistics/2
fdset_add_element/3
fdset_complement/2
fdset_del_element/3
fdset_disjoint/2
fdset_eq/2
fdset_intersect/2
fdset_intersection/2
fdset_intersection/3
fdset_interval/3
fdset_max/2
fdset_member/2
fdset_min/2
fdset_parts/4
fdset_singleton/2
fdset_size/2
fdset_subset/2
fdset_subtract/3
fdset_to_list/2
fdset_to_range/2
fdset_union/2
fdset_union/3
file_exists/1
file_exists/2
file_property/2
file_search_path/2
fileerrors (prolog flag)
fileerrors/0
find this (debugger command)
find_constraint/2
find_constraint/3
findall/3
findall/4
findall_constraints/2
findall_constraints/3
float/1
float/1, coercion
floor/1, function
flush_output/0
flush_output/1
foreign/2
foreign/3, foreign/3
foreign_file/2
foreign_resource/2
format/2
format/3
format_to_chars/3
format_to_chars/4
freeze/2
frozen/2
functor/3
garbage_collect/0
garbage_collect_atoms/0
garbage_collection (statistics/2 option)
gc (prolog flag)
gc/0
gc_margin (prolog flag)
gc_trace (prolog flag)
gcd/2, greatest common divisor
gen_assoc/3
gen_label/3
generate_flinkage/1
get/1
get/2
get0/1
get0/2
get_assoc/3
get_assoc/5
get_atts/2
get_default_db/1
get_from_heap/4
get_label/3
get_mutable/2
get_next_assoc/4
get_prev_assoc/4
getrand/1
global_stack (statistics/2 option)
GLOBALSTKSIZE (environment)
goal_expansion/3
ground/1
halt/0
halt/1
heap (statistics/2 option)
heap_size/2
heap_to_list/2
help (debugger command)
help/0
host_id/1
host_name/1
hostname_address/2
if/3
in/1
in/2, in/2
in_noblock/1
in_set/2
incore/1
independent_set/3
indomain/1
inf/0, infinity
inf/2
initialization/0
initialization/1
insert_constraint/2
insert_constraint/3
instance/2
instantiation_error/2 (error class)
integer/1
integer/1, coercion
is/2
is_array/1
is_assoc/1
is_fdset/1
is_heap/1
is_list/1
is_mutable/1, is_mutable/1
is_ordset/1
is_queue/1
keysort/2
kill/2
labeling/1
labeling/2
last/2
LD_LIBRARY_PATH (environment), LD_LIBRARY_PATH (environment), LD_LIBRARY_PATH (environment)
LD_RUN_PATH (environment)
leap (debugger command)
leash/1, leash/1
length/2
library_directory/1
LIBRARY_PATH (environment)
linda/0
linda/1
linda_client/1
linda_timeout/2
line_count/2
line_position/2
link_foreign_resource/6
list_queue/2
list_to_assoc/2
list_to_fdset/2
list_to_heap/2
list_to_ord_set/2
list_to_tree/2
listing/0
listing/1
load/1, load/1
load_files/1
load_files/2
load_foreign_files/2
load_foreign_resource/1
local_stack (statistics/2 option)
LOCALSTKSIZE (environment)
log/1, logarithm
log/2, logarithm
make_directory/1
make_index:make_library_index/1
map_assoc/2
map_assoc/3
map_tree/3
max/2, maximum value
max_assoc/3
max_list/2
max_path/5, max_path/5
max_workers (muse_flag option)
maximize/1
maximize/2
member/2
memberchk/2
memory (statistics/2 option)
meta_predicate/1 (declaration), meta_predicate/1 (declaration)
method/3 (Java method identifier)
method_expansion/3
min/2, minimum value
min_assoc/3
min_list/2
min_of_heap/3
min_of_heap/5
min_path/5, min_path/5
min_paths/3, min_paths/3
min_tree/3, min_tree/3
minimize/1
minimize/2
mktemp/2
mod/2, integer remainder
mode/1 (declaration)
module/1
module/2 (declaration), module/2 (declaration)
module/3 (declaration), module/3 (declaration)
msb/1, most significant bit
multifile/1 (declaration)
muse_flag/2
muse_flag/3
muse_flags/0
muse_init_lock() (C function)
muse_lock() (C function)
muse_max_workers() (C function)
muse_num_workers() (C function)
muse_sync/0
muse_trace/1
muse_trace/2
muse_un_lock() (C function)
muse_worker_id() (C function)
name/2
nan/0, not-a-number
neighbors/3, neighbors/3
neighbours/3, neighbours/3
new_array/1
nextto/3
nl/0
nl/1
no_doubles/1
nodebug (debugger command)
nodebug/0, nodebug/0
noexpand/0
nofileerrors/0
nogc/0
non_member/2
nonvar/1
nospy this (debugger command)
nospy/1, nospy/1
nospyall/0, nospyall/0
notify_constrained/1
notrace/0, notrace/0
nozip/0, nozip/0
nth/3
nth/4
nth0/3
nth0/4
num_workers (muse_flag option)
number/1
number_chars/2
number_to_chars/2
number_to_chars/3
numbervars/3
on_exception/3
op/3, op/3, op/3
open/3
open/4
open_chars_stream/2
open_null_stream/1
ord_add_element/3
ord_del_element/3
ord_disjoint/2
ord_intersect/2
ord_intersection/2
ord_intersection/3
ord_intersection/4
ord_list_to_assoc/2
ord_member/2
ord_seteq/2
ord_setproduct/3
ord_subset/2
ord_subtract/3
ord_symdiff/3
ord_union/2
ord_union/3
ord_union/4
order_resource/2
ordering/1, ordering/1
otherwise/0
out (debugger command)
out/1
parallel/0 (declaration)
parallel/1 (declaration)
path/3, path/3
peek_char/1
peek_char/2
permission_error/5 (error class)
permutation/2
phrase/2
phrase/3
pid/1
popen/3
portray/1
portray/1.
portray_clause/1
portray_clause/2
portray_message/2
predicate_property/2
prefix/2
prepare_foreign_resource/3
prepare_resource_table/2
print (debugger command)
print/1
print/2
print_message/2
profile_data/4
profile_reset/1
program (statistics/2 option)
project_attributes/2
prolog_flag/2
prolog_flag/3
prolog_load_context/2
PROLOGINCSIZE (environment)
PROLOGINITSIZE (environment)
PROLOGKEEPSIZE (environment)
PROLOGMAXSIZE (environment)
prompt/2
public/1 (declaration)
put/1
put/2
put_assoc/4
put_atts/2
put_label/4
put_label/5
quasi-skip (debugger command)
queue/2
queue_head/3
queue_head_list/3
queue_last/3
queue_last_list/3
queue_length/2
raise exception (debugger command)
raise_exception/1
random/1
random/3
random_ugraph/3
random_wgraph/4
randseq/3
randset/3
range_to_fdset/2
rd/1
rd/2
rd_noblock/1
reachable/3, reachable/3
read/1
read/2
read_from_chars/2
read_term/2
read_term/3
reconsult/1
recorda/3
recorded/3
recordz/3
redefine_warnings (prolog flag)
reduce/2, reduce/2
reinitialise/0
relation/3
remove_constraint/1
remove_duplicates/2
rename_file/2
repeat/0
representation_error/3 (error class)
require/1
reset printdepth (debugger command)
reset subterm (debugger command)
restore/1, restore/1
retract/1
retractall/1
retry (debugger command)
reverse/2
round/1, function
runtime (statistics/2 option)
same_length/2
same_length/3
sat/1
save_program/1, save_program/1
save_program/2, save_program/2
scalar_product/4
see/1
seeing/1
seek/4
seen/0
select/3
sequential/0 (declaration)
sequential/1 (declaration)
serialized/2
serialized_precedence/3
serialized_precedence_resource/4
serialized_resource/3
set printdepth (debugger command)
set subterm (debugger command)
set_default_db/1
set_input/1
set_output/1
set_stream_position/2
setof/3
setrand/1
shallow_fails (profile_data/4 option)
shell/0
shell/1
shell/2
SHLIB_PATH (environment)
simple/1
sin/1, function
single_var_warnings (prolog flag)
sinh/1, function
skip (debugger command)
skip/1
skip/2
skip_line/0
skip_line/1
sleep/1
socket/2
socket_accept/2
socket_accept/3
socket_bind/2
socket_close/1
socket_connect/3
socket_listen/2
socket_select/5, socket_select/5
socket_select/6
sort/2
source_file/1
source_file/2
source_info (prolog flag)
SP_ATOM (C macro)
SP_atom_from_string() (C function)
SP_atom_length() (C function)
SP_close_query() (C function)
SP_compare() (C function)
SP_COMPOUND (C macro)
SP_cons_functor() (C function)
SP_cons_list() (C function)
SP_continue() (C function)
SP_CTYPE (environment)
SP_cut_query() (C function)
SP_errno (C macro)
SP_ERROR (C macro)
SP_error_message() (C function)
SP_event() (C function)
SP_exception_term() (C function)
SP_FAILURE (C macro)
SP_fclose() (C function)
SP_fflush() (C function)
SP_fgetc() (C function)
SP_FLOAT (C macro)
SP_force_interactive() (C function)
SP_fprintf() (C function)
SP_fputc() (C function)
SP_fputs() (C function)
SP_free() (C function)
SP_get_address() (C function)
SP_get_arg() (C function)
SP_get_atom() (C function)
SP_get_float() (C function)
SP_get_functor() (C function)
SP_get_integer() (C function)
SP_get_list() (C function)
SP_get_list_chars() (C function)
SP_get_list_n_chars() (C function)
SP_get_number_chars() (C function)
SP_get_string() (C function)
SP_getc() (C function)
SP_initialize() (C function)
SP_INTEGER (C macro)
SP_is_atom() (C function)
SP_is_atomic() (C function)
SP_is_compound() (C function)
SP_is_float() (C function)
SP_is_integer() (C function)
SP_is_list() (C function)
SP_is_number() (C function)
SP_is_variable() (C function)
SP_load() (C function)
SP_make_stream() (C function)
SP_malloc() (C function)
SP_new_term_ref() (C function)
SP_next_solution() (C function)
SP_on_fault() (C macro)
SP_open_query() (C function)
SP_PATH (environment), SP_PATH (environment)
SP_pred() (C function)
SP_predicate() (C function)
SP_printf() (C function)
SP_put_address() (C function)
SP_put_atom() (C function)
SP_put_float() (C function)
SP_put_functor() (C function)
SP_put_integer() (C function)
SP_put_list() (C function)
SP_put_list_chars() (C function)
SP_put_list_n_chars() (C function)
SP_put_number_chars() (C function)
SP_put_string() (C function)
SP_put_term() (C function)
SP_put_variable() (C function)
SP_putc() (C function)
SP_puts() (C function)
SP_qid (C type)
SP_query() (C function)
SP_query_cut_fail() (C function)
SP_raise_exception() (C function)
SP_raise_fault() (C function)
SP_realloc() (C function)
SP_register_atom() (C function)
SP_reinstall_signal() (C function)
SP_restore() (C function)
SP_set_interrupt_hook (C function)
SP_set_memalloc_hooks() (C function)
SP_set_read_hook (C function)
SP_set_reinit_hook (C function)
SP_set_tty() (C function)
SP_set_user_stream_hook() (C function)
SP_set_user_stream_post_hook() (C function)
SP_signal() (C function)
SP_stream (C type)
SP_string_from_atom() (C function)
SP_SUCCESS (C macro)
SP_term_ref (C type)
SP_term_type() (C function)
SP_unify() (C function)
SP_unregister_atom() (C function)
SP_VARIABLE (C macro)
splfr (utility)
spmkds (utility)
spmkrs (utility)
spy this (debugger command)
spy/1, spy/1
spypoint_condition/3
sqrt/1, square root
stack_shifts (statistics/2 option)
statistics/0
statistics/2
stream_code/2
stream_interrupt/3
stream_position/2
stream_select/3
sublist/2
substitute/4
subsumes/2
subsumes_chk/2
suffix/2
sum/3
sum_list/2
sup/2
symmetric_closure/2, symmetric_closure/2
syntax_error/5 (error class)
syntax_errors (prolog flag)
system/0
system/1
system/2
system_error/1 (error class)
system_type (prolog flag)
tab/1
tab/2
tan/1, function
tanh/1, function
taut/2
tcl_delete/1
tcl_eval/3, tcl_eval/3
tcl_new/1
tell/1
telling/1
term_expansion/2
term_expansion/4
term_hash/2
term_hash/4
term_subsumer/3
term_variables/2
time_out/3
tk_all_events (tk_do_one_event/1 option)
tk_destroy_window/1
tk_do_one_event/0
tk_do_one_event/1
tk_dont_wait (tk_do_one_event/1 option)
tk_file_events (tk_do_one_event/1 option)
tk_idle_events (tk_do_one_event/1 option)
tk_main_loop/0
tk_main_window/1
tk_make_window_exist/1
tk_new/2
tk_next_event/2
tk_next_event/3
tk_num_main_windows/1
tk_timer_events (tk_do_one_event/1 option)
tk_window_events (tk_do_one_event/1 option)
tk_x_events (tk_do_one_event/1 option)
TMPDIR (environment), TMPDIR (environment)
tmpnam/1
told/0
top_sort/2, top_sort/2
toplevel_print_options (prolog flag)
trace/0, trace/0
trail (statistics/2 option)
TRAILSTKSIZE (environment)
transitive_closure/2, transitive_closure/2
transpose/2, transpose/2
tree_size/2
tree_to_list/2
true/0
truncate/1, function
ttyflush/0
ttyget/1
ttyget0/1
ttynl/0
ttyput/1
ttyskip/1
ttytab/1
type_error/4 (error class)
typein_module (prolog flag)
ugraph_to_wgraph/2
unconstrained/1
unify (debugger command)
unify_with_occurs_check/2
unknown (prolog flag)
unknown/2, unknown/2
unknown_predicate_handler/3
unload_foreign_resource/1
update_mutable/2
use_module/1
use_module/2
use_module/3
user:error_exception/1
user:file_search_path/2
user:goal_expansion/3
user:library_directory/1
user:method_expansion/3
user:portray/1
user:portray_message/2
user:term_expansion/2
user:term_expansion/4
user:unknown_predicate_handler/3
user:user_help/0
user_error (prolog flag)
user_error (stream alias)
user_help/0
user_input (prolog flag)
user_input (stream alias)
user_output (prolog flag)
user_output (stream alias)
var/1
variant/2
verify_attributes/3
version (muse_flag option)
version (prolog flag)
version/0
version/1
vertices/2, vertices/2
vertices_edges_to_ugraph/3
vertices_edges_to_wgraph/3
view/1
volatile/1 (declaration)
wait/2
walltime (statistics/2 option)
wgraph_to_ugraph/2
when/2
with_output_to_chars/2
with_output_to_chars/3
with_output_to_chars/4
worker_id (muse_flag option)
working_directory/2
write (debugger command)
write/1
write/2
write_canonical/1
write_canonical/2
write_term/2
write_term/3
write_to_chars/2
write_to_chars/3
writeq/1
writeq/2
xref/1
zip (debugger command)
zip/0, zip/0
{}/1
~ /1, boolean not
Go to the first, previous, next, last section, table of contents.