for later comparison http://lists.w3.org/Archives/Public/www-archive/2007Apr/att-0047/metastaticE.n3 is result from euler5 http://localhost/.euler+--prolog-bchain+--nope+http%3A%2F%2Feulersharp.sourceforge.net%2F2004%2F04test%2FmetastaticP.n3+--query+http%3A%2F%2Feulersharp.sourceforge.net%2F2004%2F04test%2FmetastaticQ.n3 (no restriction wrt loops and answers are in log:implies form to have closure)
This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 July 2008 08:10:01 GMT