eyeprolog 1.6.2 → 1.6.3

package/examples/output/allen-interval-calculus.pl

@@ -1,154 +1,163 @@
-start(a, 10).
-start(b, 13).
-start(c, 12).
-start(d, 11).
-start(e, 10).
-start(f, 10).
-start(g, 11).
-start(h, 9).
-start(i, 16).
-start(j, 15).
-start(k, 13).
-end(a, 12).
-end(b, 15).
-end(c, 14).
-end(d, 13).
-end(e, 12).
-end(f, 11).
-end(g, 12).
-end(h, 16).
-end(i, 18).
-end(j, 16).
-end(k, 14).
-duration(a, 2).
-duration(b, 2).
-duration(c, 2).
-duration(d, 2).
-duration(e, 2).
-duration(f, 1).
-duration(g, 1).
-duration(h, 7).
-duration(i, 2).
-duration(j, 1).
-duration(k, 1).
-statement(a, before, b).
-statement(a, before, i).
-statement(a, before, j).
-statement(a, before, k).
-statement(b, before, i).
-statement(c, before, i).
-statement(c, before, j).
-statement(d, before, i).
-statement(d, before, j).
-statement(e, before, b).
-statement(e, before, i).
-statement(e, before, j).
-statement(e, before, k).
-statement(f, before, b).
-statement(f, before, c).
-statement(f, before, i).
-statement(f, before, j).
-statement(f, before, k).
-statement(g, before, b).
-statement(g, before, i).
-statement(g, before, j).
-statement(g, before, k).
-statement(k, before, i).
-statement(k, before, j).
-statement(a, meets, c).
-statement(b, meets, j).
-statement(d, meets, b).
-statement(d, meets, k).
-statement(e, meets, c).
-statement(f, meets, d).
-statement(f, meets, g).
-statement(g, meets, c).
-statement(h, meets, i).
-statement(j, meets, i).
-statement(a, overlaps, d).
-statement(c, overlaps, b).
-statement(d, overlaps, c).
-statement(e, overlaps, d).
-statement(f, starts, a).
-statement(f, starts, e).
-statement(g, starts, d).
-statement(k, starts, b).
-statement(a, during, h).
-statement(b, during, h).
-statement(c, during, h).
-statement(d, during, h).
-statement(e, during, h).
-statement(f, during, h).
-statement(g, during, h).
-statement(k, during, h).
-statement(g, finishes, a).
-statement(g, finishes, e).
-statement(j, finishes, h).
-statement(k, finishes, c).
-statement(a, equals, a).
-statement(a, equals, e).
-statement(b, equals, b).
-statement(c, equals, c).
-statement(d, equals, d).
-statement(e, equals, a).
-statement(e, equals, e).
-statement(f, equals, f).
-statement(g, equals, g).
-statement(h, equals, h).
-statement(i, equals, i).
-statement(j, equals, j).
-statement(k, equals, k).
-statement(b, after, a).
-statement(i, after, a).
-statement(j, after, a).
-statement(k, after, a).
-statement(i, after, b).
-statement(i, after, c).
-statement(j, after, c).
-statement(i, after, d).
-statement(j, after, d).
-statement(b, after, e).
-statement(i, after, e).
-statement(j, after, e).
-statement(k, after, e).
-statement(b, after, f).
-statement(c, after, f).
-statement(i, after, f).
-statement(j, after, f).
-statement(k, after, f).
-statement(b, after, g).
-statement(i, after, g).
-statement(j, after, g).
-statement(k, after, g).
-statement(i, after, k).
-statement(j, after, k).
-statement(c, metBy, a).
-statement(j, metBy, b).
-statement(b, metBy, d).
-statement(k, metBy, d).
-statement(c, metBy, e).
-statement(d, metBy, f).
-statement(g, metBy, f).
-statement(c, metBy, g).
-statement(i, metBy, h).
-statement(i, metBy, j).
-statement(d, overlappedBy, a).
-statement(b, overlappedBy, c).
-statement(c, overlappedBy, d).
-statement(d, overlappedBy, e).
-statement(a, startedBy, f).
-statement(e, startedBy, f).
-statement(d, startedBy, g).
-statement(b, startedBy, k).
-statement(h, contains, a).
-statement(h, contains, b).
-statement(h, contains, c).
-statement(h, contains, d).
-statement(h, contains, e).
-statement(h, contains, f).
-statement(h, contains, g).
-statement(h, contains, k).
-statement(a, finishedBy, g).
-statement(e, finishedBy, g).
-statement(h, finishedBy, j).
-statement(c, finishedBy, k).
+% Prolog result format 4
+query(1, start(_0, _1), ['X0' = _0, 'X1' = _1]).
+result(1, complete, 11).
+answer(1, ['X0' = a, 'X1' = 10]).
+answer(1, ['X0' = b, 'X1' = 13]).
+answer(1, ['X0' = c, 'X1' = 12]).
+answer(1, ['X0' = d, 'X1' = 11]).
+answer(1, ['X0' = e, 'X1' = 10]).
+answer(1, ['X0' = f, 'X1' = 10]).
+answer(1, ['X0' = g, 'X1' = 11]).
+answer(1, ['X0' = h, 'X1' = 9]).
+answer(1, ['X0' = i, 'X1' = 16]).
+answer(1, ['X0' = j, 'X1' = 15]).
+answer(1, ['X0' = k, 'X1' = 13]).
+query(2, end(_0, _1), ['X0' = _0, 'X1' = _1]).
+result(2, complete, 11).
+answer(2, ['X0' = a, 'X1' = 12]).
+answer(2, ['X0' = b, 'X1' = 15]).
+answer(2, ['X0' = c, 'X1' = 14]).
+answer(2, ['X0' = d, 'X1' = 13]).
+answer(2, ['X0' = e, 'X1' = 12]).
+answer(2, ['X0' = f, 'X1' = 11]).
+answer(2, ['X0' = g, 'X1' = 12]).
+answer(2, ['X0' = h, 'X1' = 16]).
+answer(2, ['X0' = i, 'X1' = 18]).
+answer(2, ['X0' = j, 'X1' = 16]).
+answer(2, ['X0' = k, 'X1' = 14]).
+query(3, duration(_0, _1), ['X0' = _0, 'X1' = _1]).
+result(3, complete, 11).
+answer(3, ['X0' = a, 'X1' = 2]).
+answer(3, ['X0' = b, 'X1' = 2]).
+answer(3, ['X0' = c, 'X1' = 2]).
+answer(3, ['X0' = d, 'X1' = 2]).
+answer(3, ['X0' = e, 'X1' = 2]).
+answer(3, ['X0' = f, 'X1' = 1]).
+answer(3, ['X0' = g, 'X1' = 1]).
+answer(3, ['X0' = h, 'X1' = 7]).
+answer(3, ['X0' = i, 'X1' = 2]).
+answer(3, ['X0' = j, 'X1' = 1]).
+answer(3, ['X0' = k, 'X1' = 1]).
+query(4, statement(_0, _1, _2), ['X0' = _0, 'X1' = _1, 'X2' = _2]).
+result(4, complete, 121).
+answer(4, ['X0' = a, 'X1' = before, 'X2' = b]).
+answer(4, ['X0' = a, 'X1' = before, 'X2' = i]).
+answer(4, ['X0' = a, 'X1' = before, 'X2' = j]).
+answer(4, ['X0' = a, 'X1' = before, 'X2' = k]).
+answer(4, ['X0' = b, 'X1' = before, 'X2' = i]).
+answer(4, ['X0' = c, 'X1' = before, 'X2' = i]).
+answer(4, ['X0' = c, 'X1' = before, 'X2' = j]).
+answer(4, ['X0' = d, 'X1' = before, 'X2' = i]).
+answer(4, ['X0' = d, 'X1' = before, 'X2' = j]).
+answer(4, ['X0' = e, 'X1' = before, 'X2' = b]).
+answer(4, ['X0' = e, 'X1' = before, 'X2' = i]).
+answer(4, ['X0' = e, 'X1' = before, 'X2' = j]).
+answer(4, ['X0' = e, 'X1' = before, 'X2' = k]).
+answer(4, ['X0' = f, 'X1' = before, 'X2' = b]).
+answer(4, ['X0' = f, 'X1' = before, 'X2' = c]).
+answer(4, ['X0' = f, 'X1' = before, 'X2' = i]).
+answer(4, ['X0' = f, 'X1' = before, 'X2' = j]).
+answer(4, ['X0' = f, 'X1' = before, 'X2' = k]).
+answer(4, ['X0' = g, 'X1' = before, 'X2' = b]).
+answer(4, ['X0' = g, 'X1' = before, 'X2' = i]).
+answer(4, ['X0' = g, 'X1' = before, 'X2' = j]).
+answer(4, ['X0' = g, 'X1' = before, 'X2' = k]).
+answer(4, ['X0' = k, 'X1' = before, 'X2' = i]).
+answer(4, ['X0' = k, 'X1' = before, 'X2' = j]).
+answer(4, ['X0' = a, 'X1' = meets, 'X2' = c]).
+answer(4, ['X0' = b, 'X1' = meets, 'X2' = j]).
+answer(4, ['X0' = d, 'X1' = meets, 'X2' = b]).
+answer(4, ['X0' = d, 'X1' = meets, 'X2' = k]).
+answer(4, ['X0' = e, 'X1' = meets, 'X2' = c]).
+answer(4, ['X0' = f, 'X1' = meets, 'X2' = d]).
+answer(4, ['X0' = f, 'X1' = meets, 'X2' = g]).
+answer(4, ['X0' = g, 'X1' = meets, 'X2' = c]).
+answer(4, ['X0' = h, 'X1' = meets, 'X2' = i]).
+answer(4, ['X0' = j, 'X1' = meets, 'X2' = i]).
+answer(4, ['X0' = a, 'X1' = overlaps, 'X2' = d]).
+answer(4, ['X0' = c, 'X1' = overlaps, 'X2' = b]).
+answer(4, ['X0' = d, 'X1' = overlaps, 'X2' = c]).
+answer(4, ['X0' = e, 'X1' = overlaps, 'X2' = d]).
+answer(4, ['X0' = f, 'X1' = starts, 'X2' = a]).
+answer(4, ['X0' = f, 'X1' = starts, 'X2' = e]).
+answer(4, ['X0' = g, 'X1' = starts, 'X2' = d]).
+answer(4, ['X0' = k, 'X1' = starts, 'X2' = b]).
+answer(4, ['X0' = a, 'X1' = during, 'X2' = h]).
+answer(4, ['X0' = b, 'X1' = during, 'X2' = h]).
+answer(4, ['X0' = c, 'X1' = during, 'X2' = h]).
+answer(4, ['X0' = d, 'X1' = during, 'X2' = h]).
+answer(4, ['X0' = e, 'X1' = during, 'X2' = h]).
+answer(4, ['X0' = f, 'X1' = during, 'X2' = h]).
+answer(4, ['X0' = g, 'X1' = during, 'X2' = h]).
+answer(4, ['X0' = k, 'X1' = during, 'X2' = h]).
+answer(4, ['X0' = g, 'X1' = finishes, 'X2' = a]).
+answer(4, ['X0' = g, 'X1' = finishes, 'X2' = e]).
+answer(4, ['X0' = j, 'X1' = finishes, 'X2' = h]).
+answer(4, ['X0' = k, 'X1' = finishes, 'X2' = c]).
+answer(4, ['X0' = a, 'X1' = equals, 'X2' = a]).
+answer(4, ['X0' = a, 'X1' = equals, 'X2' = e]).
+answer(4, ['X0' = b, 'X1' = equals, 'X2' = b]).
+answer(4, ['X0' = c, 'X1' = equals, 'X2' = c]).
+answer(4, ['X0' = d, 'X1' = equals, 'X2' = d]).
+answer(4, ['X0' = e, 'X1' = equals, 'X2' = a]).
+answer(4, ['X0' = e, 'X1' = equals, 'X2' = e]).
+answer(4, ['X0' = f, 'X1' = equals, 'X2' = f]).
+answer(4, ['X0' = g, 'X1' = equals, 'X2' = g]).
+answer(4, ['X0' = h, 'X1' = equals, 'X2' = h]).
+answer(4, ['X0' = i, 'X1' = equals, 'X2' = i]).
+answer(4, ['X0' = j, 'X1' = equals, 'X2' = j]).
+answer(4, ['X0' = k, 'X1' = equals, 'X2' = k]).
+answer(4, ['X0' = b, 'X1' = after, 'X2' = a]).
+answer(4, ['X0' = i, 'X1' = after, 'X2' = a]).
+answer(4, ['X0' = j, 'X1' = after, 'X2' = a]).
+answer(4, ['X0' = k, 'X1' = after, 'X2' = a]).
+answer(4, ['X0' = i, 'X1' = after, 'X2' = b]).
+answer(4, ['X0' = i, 'X1' = after, 'X2' = c]).
+answer(4, ['X0' = j, 'X1' = after, 'X2' = c]).
+answer(4, ['X0' = i, 'X1' = after, 'X2' = d]).
+answer(4, ['X0' = j, 'X1' = after, 'X2' = d]).
+answer(4, ['X0' = b, 'X1' = after, 'X2' = e]).
+answer(4, ['X0' = i, 'X1' = after, 'X2' = e]).
+answer(4, ['X0' = j, 'X1' = after, 'X2' = e]).
+answer(4, ['X0' = k, 'X1' = after, 'X2' = e]).
+answer(4, ['X0' = b, 'X1' = after, 'X2' = f]).
+answer(4, ['X0' = c, 'X1' = after, 'X2' = f]).
+answer(4, ['X0' = i, 'X1' = after, 'X2' = f]).
+answer(4, ['X0' = j, 'X1' = after, 'X2' = f]).
+answer(4, ['X0' = k, 'X1' = after, 'X2' = f]).
+answer(4, ['X0' = b, 'X1' = after, 'X2' = g]).
+answer(4, ['X0' = i, 'X1' = after, 'X2' = g]).
+answer(4, ['X0' = j, 'X1' = after, 'X2' = g]).
+answer(4, ['X0' = k, 'X1' = after, 'X2' = g]).
+answer(4, ['X0' = i, 'X1' = after, 'X2' = k]).
+answer(4, ['X0' = j, 'X1' = after, 'X2' = k]).
+answer(4, ['X0' = c, 'X1' = metBy, 'X2' = a]).
+answer(4, ['X0' = j, 'X1' = metBy, 'X2' = b]).
+answer(4, ['X0' = b, 'X1' = metBy, 'X2' = d]).
+answer(4, ['X0' = k, 'X1' = metBy, 'X2' = d]).
+answer(4, ['X0' = c, 'X1' = metBy, 'X2' = e]).
+answer(4, ['X0' = d, 'X1' = metBy, 'X2' = f]).
+answer(4, ['X0' = g, 'X1' = metBy, 'X2' = f]).
+answer(4, ['X0' = c, 'X1' = metBy, 'X2' = g]).
+answer(4, ['X0' = i, 'X1' = metBy, 'X2' = h]).
+answer(4, ['X0' = i, 'X1' = metBy, 'X2' = j]).
+answer(4, ['X0' = d, 'X1' = overlappedBy, 'X2' = a]).
+answer(4, ['X0' = b, 'X1' = overlappedBy, 'X2' = c]).
+answer(4, ['X0' = c, 'X1' = overlappedBy, 'X2' = d]).
+answer(4, ['X0' = d, 'X1' = overlappedBy, 'X2' = e]).
+answer(4, ['X0' = a, 'X1' = startedBy, 'X2' = f]).
+answer(4, ['X0' = e, 'X1' = startedBy, 'X2' = f]).
+answer(4, ['X0' = d, 'X1' = startedBy, 'X2' = g]).
+answer(4, ['X0' = b, 'X1' = startedBy, 'X2' = k]).
+answer(4, ['X0' = h, 'X1' = contains, 'X2' = a]).
+answer(4, ['X0' = h, 'X1' = contains, 'X2' = b]).
+answer(4, ['X0' = h, 'X1' = contains, 'X2' = c]).
+answer(4, ['X0' = h, 'X1' = contains, 'X2' = d]).
+answer(4, ['X0' = h, 'X1' = contains, 'X2' = e]).
+answer(4, ['X0' = h, 'X1' = contains, 'X2' = f]).
+answer(4, ['X0' = h, 'X1' = contains, 'X2' = g]).
+answer(4, ['X0' = h, 'X1' = contains, 'X2' = k]).
+answer(4, ['X0' = a, 'X1' = finishedBy, 'X2' = g]).
+answer(4, ['X0' = e, 'X1' = finishedBy, 'X2' = g]).
+answer(4, ['X0' = h, 'X1' = finishedBy, 'X2' = j]).
+answer(4, ['X0' = c, 'X1' = finishedBy, 'X2' = k]).

package/examples/output/ancestor.pl

@@ -1,6 +1,11 @@
-ancestor(pat, jan).
-ancestor(jan, lies).
-ancestor(lies, emma).
-ancestor(pat, lies).
-ancestor(pat, emma).
-ancestor(jan, emma).
+% Prolog result format 4
+query(1, parent(_0, _1), ['X0' = _0, 'X1' = _1]).
+result(1, complete, 0).
+query(2, ancestor(_0, _1), ['X0' = _0, 'X1' = _1]).
+result(2, complete, 6).
+answer(2, ['X0' = pat, 'X1' = jan]).
+answer(2, ['X0' = jan, 'X1' = lies]).
+answer(2, ['X0' = lies, 'X1' = emma]).
+answer(2, ['X0' = pat, 'X1' = lies]).
+answer(2, ['X0' = pat, 'X1' = emma]).
+answer(2, ['X0' = jan, 'X1' = emma]).

package/examples/output/animal.pl

@@ -1,4 +1,11 @@
-type(joe, human).
-type(joe, animal).
-subclassOf(human, animal).
-succeeds(animalExample, true).
+% Prolog result format 4
+query(1, type(_0, _1), ['X0' = _0, 'X1' = _1]).
+result(1, complete, 2).
+answer(1, ['X0' = joe, 'X1' = human]).
+answer(1, ['X0' = joe, 'X1' = animal]).
+query(2, subclassOf(_0, _1), ['X0' = _0, 'X1' = _1]).
+result(2, complete, 1).
+answer(2, ['X0' = human, 'X1' = animal]).
+query(3, succeeds(_0, _1), ['X0' = _0, 'X1' = _1]).
+result(3, complete, 1).
+answer(3, ['X0' = animalExample, 'X1' = true]).

package/examples/output/annotation.pl

@@ -1,4 +1,13 @@
-name(a, "Alice").
-log_nameOf(t, name(a, "Alice")).
-statedBy(t, bob).
-recorded(t, "2021-07-07").
+% Prolog result format 4
+query(1, name(_0, _1), ['X0' = _0, 'X1' = _1]).
+result(1, complete, 1).
+answer(1, ['X0' = a, 'X1' = "Alice"]).
+query(2, log_nameOf(_0, _1), ['X0' = _0, 'X1' = _1]).
+result(2, complete, 1).
+answer(2, ['X0' = t, 'X1' = name(a, "Alice")]).
+query(3, statedBy(_0, _1), ['X0' = _0, 'X1' = _1]).
+result(3, complete, 1).
+answer(3, ['X0' = t, 'X1' = bob]).
+query(4, recorded(_0, _1), ['X0' = _0, 'X1' = _1]).
+result(4, complete, 1).
+answer(4, ['X0' = t, 'X1' = "2021-07-07"]).

package/examples/output/attributed-variables.pl

@@ -1,2 +1,7 @@
-accepts_required_value(ok).
-alias_preserves_attribute(ok).
+% Prolog result format 4
+query(1, accepts_required_value(ok), []).
+result(1, complete, 1).
+answer(1, []).
+query(2, alias_preserves_attribute(ok), []).
+result(2, complete, 1).
+answer(2, []).