☰
↑
←
→
🔍
TOC
Additional Features of Prolog
and the ISO Standard
»
Search this manual
Search this manual
Type below to search for where concepts, predicates, modes, properties, types, applications, authors, etc., are defined or referred to in this manual. Use
_
to show all entries in the index.
Symbols
/(3,2) (in 3_prolog_language_lecture)
/(a,0) (in 3_prolog_language_lecture)
A
abolish/1 (in 3_prolog_language_lecture)
address/2 (in 3_prolog_language_lecture)
append/3 (in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
append_dl/3 (in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
apply/2 (in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
arg/3 (in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
arithexpression/1 (in 3_prolog_language_lecture)
article/1 (in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
assert/1 (in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
B
bagof/3 (in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
C
call/1 (in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
call/2 (in 3_prolog_language_lecture)
clause/2 (in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
compute_length_/3 (in 3_prolog_language_lecture)
create_list/2 (in 3_prolog_language_lecture)
F
factorial/2 (in 3_prolog_language_lecture)
fail/0 (in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
findall/3 (in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
format/2 (in 3_prolog_language_lecture)
format/3 (in 3_prolog_language_lecture)
functor/3 (in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
G
ground/1 (in 3_prolog_language_lecture)
ground_args/2 (in 3_prolog_language_lecture)
I
insert_ee/3 (in 3_prolog_language_lecture)
insert_unif/3 (in 3_prolog_language_lecture)
integer/1 (in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
is/2 (in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
L
lappend/3 (in 3_prolog_language_lecture)
leap_year/1 (in 3_prolog_language_lecture)
len/2 (in 3_prolog_language_lecture)
lfib/2 (in 3_prolog_language_lecture)
list/1 (in 3_prolog_language_lecture)
M
max/3 (in 3_prolog_language_lecture)
member/1 (in 3_prolog_language_lecture)
member_check/2 (in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
member_normal/2 (in 3_prolog_language_lecture)
N
n_to_one/2 (in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
name/2 (in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
nat/1 (in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
nl/0 (in 3_prolog_language_lecture)
nonvar/1 (in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
not/1 (in 3_prolog_language_lecture)
noun/1 (in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
number/1 (in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
O
once/1 (in 3_prolog_language_lecture)
P
p/1 (in 3_prolog_language_lecture)
p/2 (in 3_prolog_language_lecture)
partition/4 (in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
phrase/2 (in 3_prolog_language_lecture)
plus/3 (in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
plus2/3 (in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
process/1 (in 3_prolog_language_lecture)
Q
qsort_dl1/2 (in 3_prolog_language_lecture)
R
read/1 (in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
repeat/0 (in 3_prolog_language_lecture)
retract/1 (in 3_prolog_language_lecture)
retractall/1 (in 3_prolog_language_lecture)
S
s/1 (in 3_prolog_language_lecture)
setof/3 (in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
spaces/1 (in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
subset/2 (in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
subterm/2 (in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
T
telling/1 (in 3_prolog_language_lecture)
times/3 (in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
W
write/1 (in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
write_canonical/1 (in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
(in 3_prolog_language_lecture)
Z
z/1 (in 3_prolog_language_lecture)