Stav dette: Functional grammar in Prolog