Michael A. Covington > Research > GULP

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" (including note on GULP 4) (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.