GULP (Graph Unification Logic Programming)
GULP is an extension of Prolog that supports feature structures
that unify correctly, expressed in a notation of the form
feature~value..feature~value, and usable in all contexts,
including facts, rules, and typed queries (not just DCG rules).
Downloadable files:
Research report, "GULP 3.1, an extension of Prolog for unification-based grammar"
(PDF)
GULP 3 source code
GULP 4 for SWI-Prolog
Note that GULP 3 is not fully compatible with the latest versions of SWI-Prolog.
Use GULP 4 instead, but note that the syntax is different.
KNOWN PROBLEM: GULP 4 is incompatible with the "?- help(...)." predicate in SWI-Prolog.
Given the limited way in which GULP 4 is used, we do not consider this a fatal problem
at present.
|
