3.3.1 Notazione Prolog per le DCG - Esempio 3
/* file: analisi_3.pl usando il funtore --> le stringhe di input e di output vengono inserite direttamente dal Prolog */
/* regole della grammatica */ proposizione --> sn,sv. sn --> articolo,sostantivo. sv --> verbo,sn.
/* simboli non terminali */ articolo-->[il]. sostantivo-->[gatto]. sostantivo-->[topo]. verbo-->[mangia].
/* goal di prova */ ?- proposizione([il,gatto,mangia,il,topo],[]).