☰
↑
←
→
🔍
TOC
A "Hands-on" Introduction to
Pure Logic Programming (Pure Prolog)
»
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.
A
a/0 (in 2_logic_programming_lecture)
a/2 (in 2_logic_programming_lecture)
(in 2_logic_programming_lecture)
accept/1 (in 2_logic_programming_lecture)
accept_from/2 (in 2_logic_programming_lecture)
ack/3 (in 2_logic_programming_lecture)
ancestor/2 (in 2_logic_programming_lecture)
animal/1 (in 2_logic_programming_lecture)
B
b/2 (in 2_logic_programming_lecture)
(in 2_logic_programming_lecture)
C
compute_length_/3 (in 2_logic_programming_lecture)
D
dad/0 (in 2_logic_programming_lecture)
date/1 (in 2_logic_programming_lecture)
date/3 (in 2_logic_programming_lecture)
delta/3 (in 2_logic_programming_lecture)
(in 2_logic_programming_lecture)
(in 2_logic_programming_lecture)
different/2 (in 2_logic_programming_lecture)
diffnat/2 (in 2_logic_programming_lecture)
E
edge/2 (in 2_logic_programming_lecture)
exp/3 (in 2_logic_programming_lecture)
F
f/2 (in 2_logic_programming_lecture)
factorial/2 (in 2_logic_programming_lecture)
foo/1 (in 2_logic_programming_lecture)
foo/2 (in 2_logic_programming_lecture)
G
g/1 (in 2_logic_programming_lecture)
grandfather_of/2 (in 2_logic_programming_lecture)
L
length/2 (in 2_logic_programming_lecture)
(in 2_logic_programming_lecture)
less_or_equal/2 (in 2_logic_programming_lecture)
list_append/3 (in 2_logic_programming_lecture)
(in 2_logic_programming_lecture)
(in 2_logic_programming_lecture)
(in 2_logic_programming_lecture)
list_length/2 (in 2_logic_programming_lecture)
list_member/2 (in 2_logic_programming_lecture)
(in 2_logic_programming_lecture)
(in 2_logic_programming_lecture)
M
minimum/3 (in 2_logic_programming_lecture)
mod/3 (in 2_logic_programming_lecture)
(in 2_logic_programming_lecture)
N
nat/1 (in 2_logic_programming_lecture)
(in 2_logic_programming_lecture)
(in 2_logic_programming_lecture)
(in 2_logic_programming_lecture)
(in 2_logic_programming_lecture)
(in 2_logic_programming_lecture)
nonzero/1 (in 2_logic_programming_lecture)
notnat/1 (in 2_logic_programming_lecture)
npda_accept_alt/1 (in 2_logic_programming_lecture)
O
op/3 (in 2_logic_programming_lecture)
P
path/2 (in 2_logic_programming_lecture)
pet/1 (in 2_logic_programming_lecture)
(in 2_logic_programming_lecture)
(in 2_logic_programming_lecture)
plus/3 (in 2_logic_programming_lecture)
Q
q/2 (in 2_logic_programming_lecture)
queens_pl_/3 (in 2_logic_programming_lecture)
R
reverse_acc/3 (in 2_logic_programming_lecture)
reverse_naive/2 (in 2_logic_programming_lecture)
(in 2_logic_programming_lecture)
S
statistics/2 (in 2_logic_programming_lecture)
symbol/1 (in 2_logic_programming_lecture)
T
tiger/1 (in 2_logic_programming_lecture)
time/2 (in 2_logic_programming_lecture)
times/3 (in 2_logic_programming_lecture)
tree_member/2 (in 2_logic_programming_lecture)
(in 2_logic_programming_lecture)
(in 2_logic_programming_lecture)
W
write/1 (in 2_logic_programming_lecture)