euler -prover9

euler -prover9
<a 
href="http://www.agfa.com/w3c/euler/gedcom-relations.n3">gedcom-relations.n3</a>
<a 
href="http://www.agfa.com/w3c/euler/gedcom-facts.n3">gedcom-facts.n3</a>
<a href="http://www.agfa.com/w3c/euler/rpo-rules.n3">rpo-rules.n3</a>
<a href="http://www.agfa.com/w3c/euler/gedcom.in.n3">gedcom.in.n3</a>
returns
<a href="http://www.agfa.com/w3c/euler/gedcom.out.n3">gedcom.out.n3</a>

-- 
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/