GULP 3.1: An extension of Prolog for unification-based grammar
Covington, Michael A.
MetadataShow full item record
This paper documents GULP 3.1, a simple extension to Prolog that facilitates implementation of unification-based grammars (UBGs) by adding a notation for feature structures. For example, a:b..c:d denotes a feature structure in which a has the value b, c has the value d, and the values of all other features are unspecified. A modified Prolog interpreter translates feature structures into Prolog terms that unify in the desired way. Thus, the extension is purely syntactic, analogous to the automatic translation of "abc" to [97,98,99] in Edinburgh Prolog. This is a revision of the GULP 2.0 report (1989) and includes a tutorial introduction to unification-based grammar.