Go to the previous, next section.
!
!/0, cut
#
# /2, bitwise exclusive or
# /2, boolean eor
*
* /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
a
abolish/1
abolish/2
abort (debugger command)
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_to_heap/4
add_vertices/3
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
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_to_chars/2
atom_to_chars/3
atomic/1
attribute/1 (declaration)
attribute_goal/2
b
backtracks (profile_data/4 option)
bagof/3
bagof_rd_noblock/3
bb_delete/2
bb_get/2
bb_inf/3
bb_put/2
bb_update/3
block/1 (declaration)
blocked goals (debugger command)
break (debugger command)
break/0
c
C/3
call/1
call_graph/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)
clause/2
clause/3
clique/3
close/1
close_client/0
coloring/3
colouring/3
command (debugger command)
compare/3
compile-buffer (emacs command)
compile-predicate (emacs command)
compile-region (emacs command)
compile/1
compiling (prolog flag)
complement/2
compose/3
compound/1
consistency_error/4 (error class)
consult-buffer (emacs command)
consult-predicate (emacs command)
consult-region (emacs command)
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
create_mutable/2
creep (debugger command)
current_atom/1
current_db/4
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
d
datime/1
db_buffering/2
db_buffering/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
debugging (debugger command)
debugging (prolog flag)
debugging/0
deep_fails (profile_data/4 option)
del_assoc/4
del_edges/3
del_max_assoc/4
del_min_assoc/4
del_vertices/3
delete/3
delete_file/1
dif/2
display (debugger command)
display/1
domain_error/4 (error class)
dynamic/1 (declaration)
e
edges/2
empty_assoc/1
empty_queue/1
ensure_loaded/1
environ/2
EPROLOG (environment)
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
f
fail (debugger command)
fail/0
false/0
fcompile/1
file_exists/1
file_exists/2
file_search_path/2
fileerrors (prolog flag)
fileerrors/0
find this (debugger command)
findall/3
findall/4
float/1
float/1, coercion
floor/1, function
flush_output/0
flush_output/1
foreign/2
foreign/3
foreign_file/2
format/2
format/3
format_to_chars/3
format_to_chars/4
freeze/2
frozen/2
functor/3
g
garbage_collect/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
h
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
i
if/3
in/1
in/2
in_noblock/1
incore/1
independent_set/3
inf/0, infinity
inf/2
initialization/0
initialization/1
instance/2
instantiation_error/2 (error class)
integer/1
integer/1, coercion
is/2
is_array/1
is_assoc/1
is_list/1
is_ordset/1
k
keysort/2
kill/2
l
labeling/1
last/2
leap (debugger command)
leash/1
length/2
library_directory/1
linda/0
linda/1
linda_client/1
linda_timeout/2
line_count/2
line_position/2
list_queue/2
list_to_assoc/2
list_to_heap/2
list_to_ord_set/2
list_to_tree/2
listing/0
listing/1
load/1
load_foreign_files/2
local_stack (statistics/2 option)
LOCALSTKSIZE (environment)
log/1, logarithm
log/2, logarithm
m
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_workers (muse_flag option)
maximize/1
member/2
memberchk/2
memory (statistics/2 option)
meta_predicate/1 (declaration)
min/2, minimum value
min_assoc/3
min_list/2
min_of_heap/3
min_of_heap/5
min_path/5
min_paths/3
min_tree/3
minimize/1
mktemp/2
mod/2, integer remainder
mode/1 (declaration)
module/1
module/1 (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)
n
name/2
nan/0, not-a-number
neighbors/3
neighbours/3
new_array/1
nextto/3
nl/0
nl/1
no_doubles/1
nodebug (debugger command)
nodebug/0
noexpand/0
nofileerrors/0
nogc/0
non_member/2
nonvar/1
nospy this (debugger command)
nospy/1
nospyall/0
notrace/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
o
on_exception/3
op/3
open/3
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
ordering/1
otherwise/0
out/1
p
parallel/0 (declaration)
parallel/1 (declaration)
path/3
peek_char/1
peek_char/2
pending exception (debugger command)
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_files/1
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
prompt/2
public/1 (declaration)
put/1
put/2
put_assoc/4
put_atts/2
put_label/4
put_label/5
q
queue/2
queue_head/3
queue_head_list/3
queue_last/3
queue_last_list/3
queue_length/2
r
raise_exception/1
random/1
random/3
random_ugraph/3
random_wgraph/4
randseq/3
randset/3
rd/1
rd/2
rd_noblock/1
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
reinitialise/0
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
retract/1
retractall/1
retry (debugger command)
reverse/2
round/1, function
run-prolog (emacs command)
runtime (statistics/2 option)
s
same_length/2
same_length/3
sat/1
save/1
save/2
save_program/1
see/1
seeing/1
seek/4
seen/0
select/3
sequential/0 (declaration)
sequential/1 (declaration)
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
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_bind/2
socket_connect/3
socket_listen/2
socket_select/5
sort/2
source_file/1
source_file/2
SP_ATOM (C macro)
SP_atom_from_string() (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 variable)
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_foreign_reinit_hook (hook variable)
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_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_open_query() (C function)
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_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_read_hook (hook variable)
SP_realloc() (C function)
SP_reinit_hook (hook variable)
SP_reinstall_signal() (C function)
SP_set_tty() (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_VARIABLE (C macro)
spy this (debugger command)
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_list/2
sup/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)
t
tab/1
tab/2
tan/1, function
tanh/1, function
taut/2
tcl_delete/1
tcl_eval/3
tcl_new/1
tell/1
telling/1
term_expansion/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_x_events (tk_do_one_event/1 option)
TMPDIR (environment)
told/0
top_sort/2
trace/0
trail (statistics/2 option)
TRAILSTKSIZE (environment)
transitive_closure/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)
u
ugraph_to_wgraph/2
undo/1
unify (debugger command)
unify_with_occurs_check/2
unknown (prolog flag)
unknown/2
unknown_predicate_handler/3
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:portray/1
user:portray_message/2
user:term_expansion/2
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)
v
var/1
variant/2
verify_attributes/3
version (muse_flag option)
version (prolog flag)
version/0
version/1
vertices/2
vertices_edges_to_ugraph/3
vertices_edges_to_wgraph/3
view/1
w
wait/2
walltime (statistics/2 option)
wgraph_to_ugraph/2
when/2
with_output_to_chars/2
with_output_to_chars/3
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
x
xref/1
{
{}/1
~
~ /1, boolean not
Go to the previous, next section.