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

Re: euler state of the art?

From: <jos.deroo@agfa.com>
Date: Wed, 8 Nov 2006 01:12:32 +0100
To: jos.deroo@agfa.com
Cc: Dan Connolly <connolly@w3.org>, www-archive@w3.org
Message-ID: <OFD02C5068.ECA87686-ONC125721F.0082B873-C1257220.000120DE@agfa.com>

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..
What I could do was http://eulersharp.sourceforge.net/2006/02swap/DONE

- adding list:in, list:member and log:uri builtins
- correction in proof output; thanks to Dan Connolly
- add http port number support

and the latest running code is at

The list:in we had before was done via
but it is now a builtin and makes proofs like
also a bit smaller and check.py is still happy with the proof output

643: :Dirk :testRelationship :Bart, :Tom . :Geert :testRelationship :Bart, 
:Tom . :Jos :testRelationship :Bart, :Tom .
 [by CI on [98, 196, 300, 404, 518, 642]]

I was not sure about list:member, but implemented it as inverse of list:in
not sure because the python doc of 

class BI_member(LightBuiltIn, MultipleFunction):
    """Is the subject in the object?
    Returnes a sequence of values."""

which is similar to

class BI_in(LightBuiltIn, MultipleReverseFunction):
    """Is the subject in the object?
    Returnes a sequence of values."""

Anyhow, to test builtins, I use a growing bunch of test cases in
giving proof output

More to be done..

Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Wednesday, 8 November 2006 00:12:50 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 14:43:03 UTC