Re: euler state of the art? (eucombo.py)

[Dan Connolly]

On Mon, 2006-11-06 at 21:06 +0100, [EMAIL PROTECTED] wrote:
> [...] but I see that your
> example should also work as
> wget -q -O- 
> http://localhost:1024/.euler5+http%3A%2F%2Flocalhost:1024%2F.euler%2B--prolog%2Bhttp%253A%252F%252Fwww.agfa.com%252Fw3c%252Feuler%252Fmedic.n3%2B--query%2Bhttp%253A%252F%252Fwww.agfa.com%252Fw3c%252Feuler%252FmedicF.n3


OK, now I understand the encoding algorithm for combining euler1
with euler5. See implementation in python attached.

So I can do the above a la:

$ python  ~/Desktop/eucombo.py http://www.agfa.com/w3c/euler/medic.n3
http://www.agfa.com/w3c/euler/medicF.n3


and out comes:

args: ['/home/connolly/Desktop/eucombo.py',
'http://www.agfa.com/w3c/euler/medic.n3',
'http://www.agfa.com/w3c/euler/medicF.n3']
premises: ['http://www.agfa.com/w3c/euler/medic.n3']
conc: http://www.agfa.com/w3c/euler/medicF.n3
words: ['euler', '--prolog', 'http://www.agfa.com/w3c/euler/medic.n3',
'--filter', 'http://www.agfa.com/w3c/euler/medicF.n3']
getting:  http://localhost:1024/.euler5%20http%3A//localhost%
3A1024/.euler%2520--prolog%2520http%
253A//www.agfa.com/w3c/euler/medic.n3%2520--filter%2520http%
253A//www.agfa.com/w3c/euler/medicF.n3



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

import urllib

def e1(premises, conclusion):
    words = ['euler']
    for p in premises:
        words.extend(["--prolog", p])
    words.extend(["--filter", conclusion])
    progress("words:", words)
    e1cmd = " ".join(words)
    e1addr = addr(e1cmd, "localhost", 1024)

    e5cmd = "euler5 %s" % e1addr
    e5addr = addr(e5cmd, "localhost", 1024)
    progress("getting: ", e5addr)
    sys.stdout.write(urllib.urlopen(e5addr).read())

def progress(*args):
    import sys
    sys.stderr.write(" ".join(["%s" % x for x in args]))
    sys.stderr.write("\n")

def addr(cmd, host, port):
    return "http://%s:%d/.%s"; % (host, port, urllib.quote(cmd))

def main(argv):
    progress("args:", argv)
    p = argv[1:-1]
    c = argv[-1]
    progress("premises:", p)
    progress("conc:", c)
    e1(p, c)

if __name__ == '__main__':
    import sys
    main(sys.argv)