Go to the first, previous, next, last section, table of contents.
Jump to:
#
-
*
-
+
-
,
-
-
-
/
-
;
-
<
-
=
-
>
-
@
-
\
-
a
-
b
-
c
-
d
-
e
-
f
-
g
-
h
-
i
-
l
-
m
-
n
-
o
-
p
-
r
-
s
-
t
-
v
-
w
-
x
# /2, bitwise exclusive or
* /2, multiplication
+ /1, identity
+ /2, addition
,/2, conjunction
- /1, negation
- /2, subtraction
-> /2 ;/2, if then else
-> /2, if then
// /2, integer division
/\ /2, bitwise conjunction
;/2, disjunction
< /2, arithmetic less than
<< /2, left shift
= /2, unification
=.. /2, univ
=:= /2, arithmetic equal
=< /2, arithmetic less or equal
== /2, equality of terms
=\= /2, arithmetic not equal
> /2, arithmetic greater than
>= /2, arithmetic greater or equal
>> /2, right shift
@< /2, term less than
@=< /2, term less or equal
@> /2, term greater than
@>= /2, term greater or equal
\ /1, bitwise negation
\+ /1, not provable
\/ /2, bitwise disjunction
\== /2, inequality of terms
abs/1, absolute value
absolute_file_name/2
access/2
add_stream_alias/2
arg/3
argv/1
atom/1
atom_chars/2
atomic/1
bestof/3
bmg_island/2 (directive)
bmg_pushable/2 (directive)
bmg_stacks/1 (directive)
call/1
cd/0
close/1
cmode/1 (directive)
compound/1
copy_term/2
current_input/1
current_output/1
dcg_mode/4 (directive)
display/1
domain/2
erase/1
error/1
fail/0
features/2 (directive)
flush_output/0
flush_output/1
from_alias_to_stream/2
functor/3
gensym/1
getwd/1, getwd/1
ground/1
group_by/3
hilog/1 (directive)
include/1 (directive)
integer/1
is/2
iterate/2
lco/1 (directive)
length/2
max/2, maximum value
min/2, minimum value
mktemp/2
mod/2, integer remainder
mode/2 (directive)
name/2
nonvar/1
number/1
number_chars/2
op/3 (directive)
open/3
parse_mode/1 (directive)
phrase/3
prolog/1 (directive), prolog/1 (directive)
read/1
read/2
read_term/2
read_term/3
rec_prolog/1 (directive)
recorded/1
require/1 (directive)
resource/1 (directive)
see/1 (dec10 library)
seeing/1 (dec10 library)
seen/0 (dec10 library)
set_input/1
set_output/1
shell/2 (unix/1 option)
simple/1
system/2
tell/1 (dec10 library)
telling/1 (dec10 library)
term_subsumer/3
told/0 (dec10 library)
true/0
var/1
wait/1
write/1, write/1
write/2, write/2
writeq/1
writeq/2
xcompiler/1 (directive)
Go to the first, previous, next, last section, table of contents.