Re: euler state of the art?

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
> 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

- 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 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

Received on Wednesday, 8 November 2006 00:12:50 UTC