L'analyse commence par un décalage :
parse(AXIOM,SOURCE):-
shift(AXIOM,SOURCE,[]).
Et se termine lorsque l'axiôme est reconnu et qu'il n'y a plus rien à lire :
parse(AXIOM,[],[AXIOM]).
Il y a ensuite les prédicats permettant la réduction et le décalage (dans cet ordre !).