W3C home > Mailing lists > Public > public-cwm-talk@w3.org > January to March 2010

Re: scope of _:existentials in N3Logic?

From: Yves Raimond <yves.raimond@gmail.com>
Date: Mon, 1 Mar 2010 18:10:15 +0000
Message-ID: <82593ac01003011010g48ad0e4fpaa7404866f37eff5@mail.gmail.com>
To: jos.deroo@agfa.com
Cc: connolly@w3.org, Graham Klyne <GK-lists@ninebynine.org>, public-cwm-talk@w3.org
Hello Jos!

Hi Yves,
>
> Let me first say that I really like your Henry work esp. the N3 DCG.
> Also thanks to Graham for sharing his Swish experience.
>
> As you say, in Euler we can use Skolem functions via the e:tuple builtin
> but in the latest Euler yap engine we don't need the Skolem functions
> anymore, we use a "Skolem machine" and "labelvars" instead,
> see the predicates sem/1, sem/4 and labelvars/4 in the code at
> http://eulersharp.sourceforge.net/2006/02swap/euler.yap
>
>
Wow - at first glance that looks amazing! I really like the idea of using
functors for variable quantification - I will definitely take a deeper look
into it! Did you try that code with SWI already, or does it only run on Yap?

Many thanks,
y
Received on Monday, 1 March 2010 18:10:48 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 1 March 2010 18:10:54 GMT