Michael A. Covington, Ph.D.
Senior Research Scientist
Adjunct Professor of Computer Science
Member of the Linguistics and Engineering Faculties
Associate Director
Institute for Artificial Intelligence
The University of Georgia

Room 111, Boyd Graduate Studies Research Center
Athens, Georgia 30602-7415 U.S.A.

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.


The content and opinions expressed on this Web page do not necessarily reflect the views of,
nor are they endorsed by, the University of Georgia or the University System of Georgia.