Index of Built-Ins

• # /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