Příklad:

Převodem následujícího pravidla gramatiky zapsaného v BNF:

$<nat> ::= <digit> <nat> \vert <digit>$

získáme parser:

nat(W):- 
 W :->    digit <&>> nat <:> digit.

Vidíme, že zápis parseru je skutečně velmi podobný deklarativní notaci gramatik. Podílí se na tom jak návrh rozhraní, tak zavedení vlastních operátorů a vhodná volba jejich priorit. V tomto trendu budeme pokračovat i nadále a v dalším textu se při vytváření konstruktorů parserů necháme inspirovat kupříkladu notací používanou v regulárních výrazech.