# ----------
# Easter day
# ----------
#
# See https://en.wikipedia.org/wiki/Date_of_Easter

@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix var: <http://www.w3.org/2000/10/swap/var#>.
@prefix : <http://example.org/#>.

# calculate easter day
_:bng_1 log:isImpliedBy _:bng_2.

_:bng_1 {
    var:x0 :easter (var:x34 var:x32).
}

_:bng_2 {
    (var:x0 19) math:remainder var:x1.
    (var:x0 100) math:integerQuotient var:x2.
    (var:x0 100) math:remainder var:x3.
    (var:x2 4) math:integerQuotient var:x4.
    (var:x2 4) math:remainder var:x5.
    (var:x2 8) math:sum var:x6.
    (var:x6 25) math:integerQuotient var:x7.
    (var:x2 var:x7) math:difference var:x8.
    (var:x8 1) math:sum var:x9.
    (var:x9 3) math:integerQuotient var:x10.
    (19 var:x1) math:product var:x11.
    (var:x11 var:x2) math:sum var:x12.
    (var:x12 var:x4) math:difference var:x13.
    (var:x13 var:x10) math:difference var:x14.
    (var:x14 15) math:sum var:x15.
    (var:x15 30) math:remainder var:x16.
    (var:x3 4) math:integerQuotient var:x17.
    (var:x3 4) math:remainder var:x18.
    (2 var:x5) math:product var:x19.
    (2 var:x17) math:product var:x20.
    var:x16 math:negation var:x21.
    var:x18 math:negation var:x22.
    (32 var:x19 var:x20 var:x21 var:x22) math:sum var:x23.
    (var:x23 7) math:remainder var:x24.
    (11 var:x16) math:product var:x25.
    (22 var:x24) math:product var:x26.
    (var:x1 var:x25 var:x26) math:sum var:x27.
    (var:x27 451) math:integerQuotient var:x28.
    (7 var:x28) math:product var:x29.
    var:x29 math:negation var:x30.
    (var:x16 var:x24 var:x30 114) math:sum var:x31.
    (var:x31 31) math:integerQuotient var:x32.
    (var:x31 31) math:remainder var:x33.
    (var:x33 1) math:sum var:x34.
}

# query
_:bng_3 log:impliesAnswer _:bng_4.

_:bng_3 {
    [] rdf:value 27; log:repeat var:x0.
    (2024 var:x0) math:sum var:x1.
    var:x1 :easter (var:x2 var:x3).
}

_:bng_4 {
    var:x1 :easter (var:x2 var:x3).
}
