In this talk an overview of the field of logic grammars is given, based on [AD89]. Firstly, their basic features are introduced and the way in which they differ from Chomsky grammars is explained. It is then shown how they can be used to describe natural as well as formal languages.
Secondly, three types of logic grammars (Metamorphosis Grammars, Definite Clause Grammars and Extraposition Grammars) are introduced and they are shown to easily capture enhanced features of natural language. This is concluded by a comparison of the three types.
Thirdly, some generalizations of the above types of grammars (Discontinuous Grammars and Static Discontinuity Grammars) are introduced for further expressive power. Also the way these grammars can describe natural and formal languages is illustrated. Finally, the subjacency principle of Chomsky's Government and Binding theory is explained and it is indicated how to express this in Static Discontinuity Grammars.
[AD89] Harvey Abramson and Veronica Dahl, Logic Grammars, Springer-Verlag, Berlin, 1989.