W3C home > Mailing lists > Public > www-rdf-interest@w3.org > January 2001

RE: data smushing

From: Bill dehOra <BdehOra@interx.com>
Date: Thu, 4 Jan 2001 11:16:30 -0000
Message-ID: <23CF4BF2C499D411907E00508BDC95E131F81C@ntmews_01.interx.com>
To: "'jos.deroo.jd@belgium.agfa.com'" <jos.deroo.jd@belgium.agfa.com>, " - *GK@Dial.pipex.com" <GK@Dial.pipex.com>
Cc: " - *www-rdf-interest@w3.org" <www-rdf-interest@w3.org>

> > Unification uses a sequence of variable->subexpression 
> substitutions to
> > make two expressions the same, and is based entirely on the 
> form of the
> > expressions concerned.
> 
> I think we just look to the same thing from different perspectives.
> Suppose we have the facts 
>[snipped]

Looks a lot like prolog proof trees...

-Bill

-----
Bill de hÓra  :  InterX  :  bdehora@interx.com
 
Received on Thursday, 4 January 2001 06:22:50 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:51:47 GMT