find(P, [Node | Nodes], Graph, Seen) =>
Targets = get_targets(Node, Graph),
New = difference(Targets, Seen),
Find(P, append(Nodes, New), Graph, [Node | Seen]);
(the arguments of difference were reversed, rather than those of
append, as stated in the text)
E: V E '+' Vand the second rule should be omitted. [Jason Dorsett]