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]