In Prolog esiste definito il funtore - -> tale per cui i due argomenti definiti in precedenza vengono riconosciuti dallo stesso senza il bisogno di dichiararli:
proposizione - -> sn,sv. sn - -> articolo,sostantivo. sv - -> verbo,sn. articolo- ->[il]. sostantivo- ->[gatto]. sostantivo- ->[topo]. verbo- ->[mangia].