# ------------------
# Generating test dl
# ------------------

@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <https://eyereasoner.github.io/eye/reasoning#>.

# graph generation
{(?F ?N) :graphgen true} <= {
    ("open" ?F "write" ?FD) log:pro true.
    ("tell" ?FD) log:pro true.
    ("format" "@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.~n" ()) log:pro true.
    ("format" "@prefix : <http://eulersharp.sourceforge.net/2009/12dtb/test#>.~n~n" ()) log:pro true.
    ("between" 1 ?N ?I) log:pro true.
    (?I 1) math:difference ?J.
    ("format" ":N~d rdfs:subClassOf :N~d.~n" (?J ?I)) log:pro true.
    ("format" ":N~d rdfs:subClassOf :I~d.~n" (?J ?I)) log:pro true.
    ("format" ":N~d rdfs:subClassOf :J~d.~n" (?J ?I)) log:pro true.
    ("fail") log:pro true.
}.
{(?F ?N) :graphgen true} <= {
    ("told") log:pro true.
}.

# immediate goal
true <= {
    ("test-dl.ttl" 10000) :graphgen true.
}.
