# ---------------------
# Generating test facts
# ---------------------

@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 : <http://eulersharp.sourceforge.net/2009/12dtb/test#>.~n~n" ()) log:pro true.
    ("between" 1 ?N ?I) log:pro true.
    ("format" ":i~d a :N0.~n" (?I)) log:pro true.
    ("fail") log:pro true.
}.
{(?F ?N) :graphgen true} <= {
    ("told") log:pro true.
}.

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