Standard Prolog mini-manual - Contents

Standard Prolog mini-manual

Contents

This is a list of built-in predicates included in the ISO specification of Prolog arranged by topic.

All solutions

bagof/3
findall/3
setof/3

Arithmetic

is/2
=:=/2
=\=/2
</2
>/2
>=/2
=</2

Atomic term processing

atom_chars/2
atom_codes/2
atom_concat/3
atom_length/2
char_code/2
number_chars/2
number_codes/2
sub_atom/5

Clause manipulation

abolish/1
asserta/1
assertz/1
clause/2
current_predicate/1
retract/1

Flag updates

current_prolog_flag/2
set_prolog_flag/2

Input/output - terms

char_conversion/2
current_char_conversion/2
current_op/3
op/3
read/1
read/2
read_term/2
read_term/3
write/1
write/2
write_canonical/1
write_canonical/2
write_term/2
write_term/3
writeq/1
writeq/2

Input/output - characters

get_char/1
get_char/2
get_code/1
get_code/2
peek_char/1
peek_char/2
peek_code/1
peek_code/2
put_char/1
put_char/2
put_code/1
put_code/2
nl/0
nl/1

Input/output - bytes

get_byte/1
get_byte/2
peek_byte/1
peek_byte/2
put_byte/1
put_byte/2

Logic and control

call/1
catch/3
,/2 (conjunction)
!/0 (cut)
;/2 (disjunction)
fail/0
halt/0
->/2 (if-then)
(-> ; )/2 (if-then ; else)
\+/1 (not proveable)
once/1
repeat/0
throw/1
true/0

Stream selection and control

at_end_of_stream/0
at_end_of_stream/1
close/1
close/2
current_input/1
current_output/1
flush_output/0
flush_output/1
open/3
open/4
set_input/1
set_output/1
set_stream_position/2
stream_property/2

Term comparison

==/2 (term identical)
\==/2 (term not identical)
@</2 (term less than)
@>/2 (term greater than)
@>=/2 (term less than or equal)
@=</2 (term greater than or equal)

Term creation and decomposition

arg/3
copy_term/3
functor/3
=../2 (univ)

Term unification

=/2 (Prolog unification)
\=/2 (not Prolog unification)
unify_with_occurs_check/2 (unify)

Type tests

atom/1
atomic/1
compound/1
float/1
integer/1
nonvar/1
number/1
var/1