Re: dicts and feature structures

Hi Samer,

On Thu, Jan 30, 2014 at 11:09 AM, Abdallah, Samer <[email protected]>wrote:

> Hello all,
>
> I've just been looking at Michael Covington's GULP library for SWI
>         http://www.ai.uga.edu/mc/gulp/
> which compiles feature structures, of the sort found in unification
> based grammars, into ordinary Prolog terms, and enables you to
> write DCGs with named features instead of positional arguments
>

Thanks for the pointer.  I wasn't aware of Michael's GULP library.  It
looks quite useful.


> Now that we have the dict type, would it make any sense to allow
> a variant which unifies like a feature structure? Would there be
> any advantage to baking it into SWI in some way or is Covington's
> GULP library already good enough for those who want feature
> structures?
>

I'd like to see dicts behave as feature structures or LIFE psi-terms under
unification.  There was an extensive discussion on the mailing list about
unification semantics shortly after dicts were announced.  As I recall, Jan
was open to the possibility of something like your proposal but wants dicts
to simmer for a while before deciding for sure.

-- 
Michael
-------------- next part --------------
HTML attachment scrubbed and removed