Article View: comp.lang.prolog
Article #1837Re: odd question
From: Michael A. Covington
Date: Thu, 21 Feb 1991 02:34
Date: Thu, 21 Feb 1991 02:34
16 lines
1291 bytes
1291 bytes
In article <TED.91Feb20172451@kythera.nmsu.edu> ted@nmsu.edu (Ted Dunning) writes:
>a friend was reading an article the other day and she ran into the
>following
> {S:verb:head :: Vp:head}
>on the right hand side of a DCG rule.
>the question is, what does the :: do?
Well, it's not straight DCG, it's some kind of extended DCG, and what it
means is, "The value of the head feature in the verb veature in the structure
S is equal to the value of the head feature in the structure Vp."
It looks awfully like my own GULP system, but not quite. It might be
the system implemented by Mark Johnson and Ewan Klein... no, they use the
character "=" for equality, if I remember right. A few other people have
also implemented systems like this (extensions of DCG for handling of
feature structure unification).
Technical Details
Message-ID:
<1991Feb21.023445.12909@athena.cs.uga.edu>Path:
arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!bonnie.concordia.ca!uunet!spool.mu.edu!sol.ctr.columbia.edu!emory!athena.cs.uga.edu!mcovingtReferences:
<TED.91Feb20172451@kythera.nmsu.edu>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!bonnie.concordia.ca!uunet!spool.mu.edu!sol.ctr.columbia.edu!emory!athena.cs.uga.edu!mcovingt From: mcovingt@athena.cs.uga.edu (Michael A. Covington) Newsgroups: comp.lang.prolog Subject: Re: odd question Message-ID: <1991Feb21.023445.12909@athena.cs.uga.edu> Date: 21 Feb 91 02:34:45 GMT References: <TED.91Feb20172451@kythera.nmsu.edu> Distribution: comp Organization: University of Georgia, Athens Lines: 16