Chapter 4
Third edition

Slide, Figure 4.1

Slide, Figure 4.2

Load ch4.pl

Scroll to predicates and demo queries for family database

Slide, Warford Figure 7.10, Example 7.4

Slide, Figure 7.14, Example 7.5

Slide, Figure 7.17, Example 7.6

Slide, Bratco, Figure 4.3

Note that null is the empty transition epsilon, where you can make
a transition without scanning.

Demo
?- accepts( s1, [a,a,a,b]).
?- accepts( s1, [a,a,b,a]).
?- accepts( s1, [X1, X2, X3]).
?- String = [_, _, _], accepts( s1, String).

Implementation of Waford Figure 7.17 is a homework problem.