Prolog: addition to family
Prolog: new finite automaton