Functional grammar in Prolog | lit.salon