☰
↑
←
→
🔍
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.
Symbols
\= /2 (in 2_logic_programming_slides)
(in 2_logic_programming_slides)
\== /2 (in 2_logic_programming_slides)
A
ancestor/2 (in 2_logic_programming_slides)
(in 2_logic_programming_slides)
animal/1 (in 2_logic_programming_slides)
append/3 (in 2_logic_programming_slides)
C
circuit/0 (in 2_logic_programming_slides)
D
dad/0 (in 2_logic_programming_slides)
different_person/2 (in 2_logic_programming_slides)
F
father/2 (in 2_logic_programming_slides)
M
member/2 (in 2_logic_programming_slides)
(in 2_logic_programming_slides)
P
p/2 (in 2_logic_programming_slides)
(in 2_logic_programming_slides)
(in 2_logic_programming_slides)
(in 2_logic_programming_slides)
pair/2 (in 2_logic_programming_slides)
parent/2 (in 2_logic_programming_slides)
path/2 (in 2_logic_programming_slides)
pet/1 (in 2_logic_programming_slides)
plus/3 (in 2_logic_programming_slides)
Q
q/2 (in 2_logic_programming_slides)
(in 2_logic_programming_slides)
(in 2_logic_programming_slides)
(in 2_logic_programming_slides)
R
r/2 (in 2_logic_programming_slides)
related/2 (in 2_logic_programming_slides)
S
sibling/2 (in 2_logic_programming_slides)
T
time/2 (in 2_logic_programming_slides)
U
unify_with_occurs_check/1 (in 2_logic_programming_slides)