Author: Stefan Müller
Subject Areas: NLP, Prolog, Parser, DCG-Grammar, DRS
This is work done during my time in Edinburgh as a large practical. I have implemented a Definite Clause Grammar in Prolog using directed acyclic graphs to represent features in both rules and the lexical entries. I have documented the implementation of several parsing strategies. There is a compiler which compiles grammars containig epsilon-productions into grammars without epsilon-productions. There is a semantics component which is based on discourse representation structures (DRS). I did not follow the DRS literature during the past few years, so the document might be out of time.