Frontier Software
Prolog Cookbook
Documenting, testing, and moduling
Game Trees
Tictactoe
Graph Traversal
Depth First
Breadth First
Transitive Closures
Route Finding
Cycles With Tabling
Iterative Deepening
Puzzle Solving
Wolf Goat Cabbage
Buttons and Lights
Game Description Language
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
Maths
Postgresql
Backups
With Recursive
Commands
Delete
Update
Insert
Select
Filter
Aggregate Functions
Configuration
Other Commands
Set
Explain
SHOW
Concurrency
Read Write Conflicts
Graphs
Types
Jsonb
PL/pgSQL
Inter Process Communication
Pipes
Data
Visualisation
Metadata
Microdata
schema.org
Action
Achieveaction
Creativework
Game
Local Business
Organization
Place
Event
JSON-LD
Html5
Dublin Core
Systemd
Unit
Service
Sockets
Go
Packages
Server
Pgx
Error Handling
Types
Pointers
Concurrency Oriented Programming
Input Output
Javascript
Modules
Jsdoc
Jasmine
Node
Browser
Event Driven Programming
Html Tools
CSS
Color
Style Guides
Layout
Functions
Landmarks
Lighthouse
Hugo
Assets
Modules
Menus
Branch
Leaf
Bash
Shellspec
Shebang
Builtins
Mapfile Readarray
Echo
Read
Logic
Pattern Matching
Indexed Arrays
Associative Arrays
Appending
Deletion
Iteration
Core Utilities
grep
sed
awk
Date
External Utilties
jq
nc
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