[comp.lang.prolog] odd question

ted@nmsu.edu (Ted Dunning) (02/21/91)

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?

mcovingt@athena.cs.uga.edu (Michael A. Covington) (02/21/91)

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).