|dc.description.abstract||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.||en_US