Frontier Software
Prolog Cookbook
Documenting, testing, and moduling
Game Trees
Graph Traversal
Depth First
Breadth First
Transitive Closures
Route Finding
Cycles With Tabling
Iterative Deepening
Puzzle Solving
Wolf Goat Cabbage
Buttons and Lights
Classical Logic
Truth
Conjunction
And
Intersection
Inner Join
Product
Series
Negation
Not
Difference
Fill Values
De Morgan's Law
Disjunction
Or
Union
Outer Join
Sum
Parallel
Implication
Proofs
Equivalence
Go
Input Output
Assignment
Javascript
Node
Browser
Html Tools
CSS
Color
Style Guides
Layout
Functions
Landmarks
Lighthouse
Hugo
Modules
Menus
Branch
Leaf
Metadata
Microdata
schema.org
Local Business
Organization
Place
Event
JSON-LD
Html5
Dublin Core
Bash
Logic
Pattern Matching
Indexed Arrays
Associative Arrays
Appending
Deletion
Iteration
Core Utilities
Grep
Date
Sed
External Utilties
jq
hq
Git
Tree
Parameter Expansion
Defaults
Slicing
Transforming
Trimming
Linux Utilities
Place
Subtypes
T
├
│
│
│
│
│
│
│
│
│
│
│
│
│
│
│
│
│
│
│
│
│
│
│
│
│
│
│
│
│
│
│
│
│
│
│
│
│
│
│
│
│
│
│
│
│
│
│
h
─
i
─
n
g
P
├
├
├
│
│
│
│
│
│
│
│
│
│
│
│
│
│
│
│
│
│
│
│
│
│
│
│
│
│
│
│
│
│
│
│
│
│
│
│
│
├
├
├
│
├
├
└
l
─
─
─
─
─
─
─
─
─
a
─
─
─
─
─
─
─
─
─
c
e
A
A
C
├
├
├
├
├
├
├
├
├
├
├
│
│
│
│
│
│
├
├
├
├
├
├
├
├
├
├
├
├
├
├
├
├
├
├
├
└
L
L
L
└
R
T
T
c
d
i
─
─
─
─
─
─
─
─
─
─
─
─
─
─
─
─
─
─
─
─
─
─
─
─
─
─
─
─
─
─
─
a
a
o
─
e
o
o
c
m
v
─
─
─
─
─
─
─
─
─
─
─
─
─
─
─
─
─
─
─
─
─
─
─
─
─
─
─
─
─
─
─
n
n
c
─
s
u
u
o
i
i
d
d
a
i
r
r
m
n
c
A
A
B
B
B
B
B
C
C
C
E
├
├
├
├
├
└
E
F
G
H
M
M
M
P
P
P
P
P
P
P
R
S
S
T
T
Z
f
m
l
S
d
i
i
m
i
S
i
q
e
o
r
u
u
a
e
r
d
─
─
─
─
─
─
v
i
o
o
o
u
u
a
a
e
l
l
o
u
V
t
u
a
r
o
o
a
B
e
e
s
s
o
s
t
r
u
a
a
i
s
s
m
m
e
u
─
─
─
─
─
─
e
r
v
s
v
s
s
r
r
r
a
a
l
b
P
a
b
x
a
o
r
r
u
e
n
t
t
d
t
r
p
a
c
t
d
S
S
p
e
m
c
n
e
e
p
i
e
i
k
k
f
c
y
i
l
a
d
w
i
i
m
k
s
c
A
D
a
r
u
o
r
h
T
g
t
t
g
t
a
a
C
E
H
M
P
S
t
S
r
i
e
u
c
i
o
e
g
c
i
r
i
a
S
n
s
i
o
e
t
e
t
a
c
r
i
e
e
a
o
r
e
t
t
o
l
i
i
r
c
V
t
n
t
T
m
V
n
r
O
r
e
c
k
u
y
t
S
O
n
w
t
s
i
t
t
t
u
r
t
p
o
r
o
i
l
e
g
d
e
h
e
a
m
a
h
e
g
m
f
o
S
T
m
S
a
t
r
e
n
r
t
o
i
u
m
m
i
u
y
r
o
l
m
h
d
s
o
n
t
e
l
e
n
F
i
W
u
t
o
O
t
n
a
H
s
a
i
n
v
r
i
o
n
i
n
e
e
S
l
c
o
u
i
n
a
u
a
n
o
n
a
i
r
a
d
t
i
s
s
c
n
e
e
n
n
d
u
a
g
n
c
e
h
l
e
o
t
t
e
c
g
r
d
t
l
A
t
i
s
e
t
a
A
a
m
l
e
t
h
S
o
n
B
e
i
A
s
i
e
r
i
o
t
c
i
t
r
l
O
O
a
o
c
o
u
r
l
r
h
o
t
e
o
n
o
t
o
i
e
r
r
r
o
h
l
i
i
t
i
n
n
n
r
i
n
o
a
g
U
y
l
o
l
t
s
p
a
i
o
n
a
n
S
o
d
y
T
c
n
n
i
c
l
i
h
a
i
v
h
n
e
l
z
e
o
g
a
B
a
r
o
t
u
t
s
l
e
i
i
i
r
l
o
t
d
n
y
i
n
g
s