A Lexical Functional Grammar System in Prolog

This paper describes a system in PROLOG for the automatic transformation of a grammar, written in LFG formalism, into a DCG-based parser. It demonstrates the main principles of the transformation, the representation of f-structures and constraints, the treatment of long-distance dependencies, and left recursion.Finally some problem areas of the system and possibilities for overcoming them are discussed.