Noeud: Built-In Index, Noeud « Next »: Concept Index, Noeud « Previous »: Copying This Manual, Noeud « Up »: Top
# /2, bitwise exclusive or
: Arithmetic
* /2, multiplication
: Arithmetic
+ /1, identity
: Arithmetic
+ /2, addition
: Arithmetic
,/2, conjunction
: Control
- /1, negation
: Arithmetic
- /2, subtraction
: Arithmetic
-> /2 ;/2, if then else
: Control
-> /2, if then
: Control
// /2, integer division
: Arithmetic
/\ /2, bitwise conjunction
: Arithmetic
;/2, disjunction
: Control
< /2, arithmetic less than
: Arithmetic
<< /2, left shift
: Arithmetic
= /2, unification
: Miscellaneous
=.. /2, univ
: Meta-Logic
=:= /2, arithmetic equal
: Arithmetic
=< /2, arithmetic less or equal
: Arithmetic
== /2, equality of terms
: Comparison of Terms
=\= /2, arithmetic not equal
: Arithmetic
> /2, arithmetic greater than
: Arithmetic
>= /2, arithmetic greater or equal
: Arithmetic
>> /2, right shift
: Arithmetic
@< /2, term less than
: Comparison of Terms
@=< /2, term less or equal
: Comparison of Terms
@> /2, term greater than
: Comparison of Terms
@>= /2, term greater or equal
: Comparison of Terms
\ /1, bitwise negation
: Arithmetic
\+ /1, not provable
: Control
\/ /2, bitwise disjunction
: Arithmetic
\== /2, inequality of terms
: Comparison of Terms
abs/1, absolute value
: Arithmetic
absolute_file_name/2
: Stream IO
access/2
: Miscellaneous
add_stream_alias/2
: Stream IO
arg/3
: Meta-Logic
argv/1
: Miscellaneous
atom/1
: Meta-Logic
atom_chars/2
: Meta-Logic
atomic/1
: Meta-Logic
bestof/3
: All Solutions
bmg_island/2 (directive)
: Compiler Directives
bmg_pushable/2 (directive)
: Compiler Directives
bmg_stacks/1 (directive)
: Compiler Directives
call/1
: Control
cd/0
: Miscellaneous
close/1
: Stream IO
cmode/1 (directive)
: Compiler Directives
compound/1
: Meta-Logic
copy_term/2
: Miscellaneous
current_input/1
: Stream IO
current_output/1
: Stream IO
dcg_mode/4 (directive)
: Compiler Directives
display/1
: Input and Output of Terms
domain/2
: Miscellaneous
erase/1
: Internal Database
error/1
: Error and Exception Handling
fail/0
: Control
features/2 (directive)
: General Directives
flush_output/0
: Stream IO
flush_output/1
: Stream IO
from_alias_to_stream/2
: Stream IO
functor/3
: Meta-Logic
gensym/1
: Miscellaneous
getwd/1
: Miscellaneous
ground/1
: Meta-Logic
group_by/3
: All Solutions
hilog/1 (directive)
: General Directives
include/1 (directive)
: Compiler Directives
integer/1
: Meta-Logic
is/2
: Arithmetic
iterate/2
: All Solutions
lco/1 (directive)
: Compiler Directives
length/2
: Miscellaneous
max/2, maximum value
: Arithmetic
min/2, minimum value
: Arithmetic
mktemp/2
: Miscellaneous
mod/2, integer remainder
: Arithmetic
mode/2 (directive)
: Compiler Directives
name/2
: Meta-Logic
nonvar/1
: Meta-Logic
number/1
: Meta-Logic
number_chars/2
: Meta-Logic
op/3 (directive)
: General Directives
open/3
: Stream IO
parse_mode/1 (directive)
: Compiler Directives
phrase/3
: Definite Clause Grammars
prolog/1 (directive)
: Compiler Directives
read/1
: Input and Output of Terms
read/2
: Input and Output of Terms
read_term/2
: Input and Output of Terms
read_term/3
: Input and Output of Terms
rec_prolog/1 (directive)
: Compiler Directives
recorded/1
: Internal Database
require/1 (directive)
: Compiler Directives
resource/1 (directive)
: Compiler Directives
see/1 (dec10 library)
: DEC-10 Prolog File IO
seeing/1 (dec10 library)
: DEC-10 Prolog File IO
seen/0 (dec10 library)
: DEC-10 Prolog File IO
set_input/1
: Stream IO
set_output/1
: Stream IO
shell/2 (unix/1 option)
: Miscellaneous
simple/1
: Meta-Logic
system/2
: Miscellaneous
tell/1 (dec10 library)
: DEC-10 Prolog File IO
telling/1 (dec10 library)
: DEC-10 Prolog File IO
term_subsumer/3
: Meta-Logic
told/0 (dec10 library)
: DEC-10 Prolog File IO
true/0
: Control
var/1
: Meta-Logic
wait/1
: Control
write/1
: Input and Output of Terms
write/2
: Input and Output of Terms
writeq/1
: Input and Output of Terms
writeq/2
: Input and Output of Terms
xcompiler/1 (directive)
: Compiler Directives