Added nfa, dfa, and fst examples written in Prolog.