Le machine à rire.

gistfile1.txt

initial(q0).
terminal(q3).

arc(q0, "h", q1).
arc(q1, "a", q2).
arc(q2, "h", q1).
arc(q2, "!", q3).

aef(S) :-
    string_to_list(S, L),
    initial(Q),
    reconnaitre(Q, L).

reconnaitre(Q, []) :-
    terminal(Q).

reconnaitre(Qcourant, [X|L]) :-
    arc(Qcourant, X, Qsuivant),
    reconnaitre(Qsuivant, L).