W3C home > Mailing lists > Public > www-archive@w3.org > November 2006

Re: euler state of the art?

From: Dan Connolly <connolly@w3.org>
Date: Wed, 8 Nov 2006 01:12:21 -0500
Message-Id: <704dcbf4d71aae7a70eb65b65dc9ec21@w3.org>
Cc: www-archive@w3.org
To: jos.deroo@agfa.com

On Nov 7, 2006, at 7:12 PM, jos.deroo@agfa.com wrote:
> Dan Connolly wrote:
> [...]
>>> I tried my euler install last night, and it's lightning
>>> fast, but it doesn't have all the built-ins I need.
>>> In particular, I added support for fn:resolve-uri
>>> and fn:tokenize from XQuery to cwm this week.
>
>> It is pretty straightforward to write builtins in euler.yap
>> http://eulersharp.sourceforge.net/2006/02swap/euler.yap
>> but I should study your builtins a little more..
>
> I haven't made much progress yet with some of those builtins..

fn:resolve-uri corresponds to url_info_relative/3 in the pillow library.
I can almost see how to add it myself, but I moved to my laptop
and I haven't recreated the http/REST setup and I'm
having trouble figuring out how to test euler.yap outside the http/REST 
setup.

fn:tokenize is like re.split() in python... I see a regular expression
module in yap, but no split predicate. I guess it can be implemented
in terms of matching... hmm... actually, I need re.search(), not
re.match(), and I don't see that in yap.
http://www.ncc.up.pt/~vsc/Yap/documentation.html#SEC72

> I was not sure about list:member, but implemented it as inverse of 
> list:in

yes, i think that's right.

> Anyhow, to test builtins, I use a growing bunch of test cases in
> http://www.agfa.com/w3c/euler/testbuiltins.n3
> giving proof output
> http://eulersharp.sourceforge.net/2006/02swap/testbE.n3

Do you have a way of testing offline? do you use a proxy cache
or something? I was trying to work on a plane.

>
-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/
Received on Wednesday, 8 November 2006 06:12:34 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Wednesday, 7 November 2012 14:18:00 GMT