1/ mkdir euler
2/ cd euler
3/ unzip package eulersharp from http://sourceforge.net/project/showfiles.php?group_id=77046
4/ java -Xms128m -Xmx512m -cp ./bin/Euler.jar:./lib/tuprolog.jar euler.EulerRunner --prolog-bchain http://www.agfa.com/w3c/euler/socrates.n3 --query http://www.agfa.com/w3c/euler/socratesF.n3 --test
5/ result should be like
#Processed by Id: EulerLibrary.java 1591 2007-10-25 13:20:13Z josd
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix nsp0: <http://www.agfa.com/w3c/euler/socrates.n3#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix list: <http://www.w3.org/2000/10/swap/list#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix fn: <http://www.w3.org/2006/xpath-functions#>.
@prefix time: <http://www.w3.org/2000/10/swap/time#>.
@prefix : <http://www.agfa.com/w3c/euler/socrates#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix var: <http://localhost/var#>.
@prefix str: <http://www.w3.org/2000/10/swap/string#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix p0nsp0: <http://www.agfa.com/w3c/euler/socratesF.n3#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.
_: owl:sameAs (<http://www.agfa.com/w3c/euler/socrates.n3>!log:semantics <http://www.agfa.com/w3c/euler/socratesF.n3>!log:semantics)!log:conjunction.
{#e:possibility
{:Socrates rdf:type var:Man_0_} a e:Fact; e:source nsp0:pos_235_line_6.
{:Socrates rdf:type var:Man_0_} a e:Lemma.
} e:possibility 1.
{#e:possibility
{:Socrates rdf:type :Mortal} e:because {
{var:Man_0_ rdfs:subClassOf :Mortal} a e:Fact; e:source nsp0:pos_251_line_7.
{:Socrates rdf:type var:Man_0_} a e:Fact; e:source nsp0:pos_235_line_6.
{var:X_e1180 e:true 1} a e:Builtin.
}; e:source nsp0:pos_319_line_9.
{:Socrates rdf:type :Mortal} a e:Lemma.
} e:possibility 1.
{:Socrates rdf:type var:Man_0_. _: e:true 1} => {:Socrates rdf:type var:Man_0_}.
{:Socrates rdf:type :Mortal. _: e:true 1} => {:Socrates rdf:type :Mortal}.
#ENDS 271 msec.