Re: euler state of the art?

On Mon, 2006-11-06 at 18:52 +0100, jos.deroo@xxxxxxxx wrote:
> 
> The euler5 prolog version is best run as RESTfull webservice
> (see again http://eulersharp.sourceforge.net/README)
> as it needs the euler1 java version to do the N3->YAP 

OK, I got Yapp installed, and I'm working on the Codd stuff...
One quick question while I'm at it: what about built-ins
that call out to the Web, like log:semantics? Should
I expect that to work in this java/prolog/REST setup?

It would be a big help if Euler could do PAW
proofs faster than cwm. Here's one of our examples;
could you try to run this on Euler?

[[[
This example can be run as 

cwm --rdf http://dig.csail.mit.edu/2005/09/rein/examples/judy-req.rdf
--n3 http://dig.csail.mit.edu/2005/09/rein/engine.n3 --think
--filter="http://dig.csail.mit.edu/2005/09/rein/filter.n3"; 

If cwm was installed correctly, the following is the output 

#Processed by Id: cwm.py,v 1.176 2005/08/10 17:03:22 syosi Exp 
        #    using base file:/....
        
#  Notation3 generation by
#       notation3.py,v 1.183 2005/08/22 21:12:53 timbl Exp

#   Base was: file:/...
     @prefix : <http://dig.csail.mit.edu/2005/09/rein/network#> .
     @prefix http: 
<http://dig.csail.mit.edu/2005/09/rein/examples/http-access#> .
    
    <http://dig.csail.mit.edu/2005/09/rein/examples/judy-req.rdf#req>     :ans 
:Valid;
         :requester  [
             http:can-get <http://www.policyawareweb.org/group-photo.jpg> ] .
    
#ENDS
]]
 -- http://dig.csail.mit.edu/2005/09/rein/examples/


-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/
D3C2 887B 0F92 6005 C541  0875 0F91 96DE 6E52 C29E