eyeling 1.32.0 → 1.33.0

package/examples/eyelang/exact-cover-sudoku.pl

@@ -0,0 +1,113 @@
+% Exact-cover-style 9x9 Sudoku without cut.
+%
+% Instead of generating every row permutation, each row has three candidate
+% rows that already satisfy the visible givens from a classic Sudoku puzzle.
+% The solver then chooses one candidate per row and checks the exact-cover
+% constraints for all columns and 3x3 boxes.
+
+% Output declarations: materialize/2 selects the relations written to this example's golden output.
+materialize(status, 2).
+materialize(solution, 2).
+materialize(firstRow, 2).
+
+% Program structure: facts set up the scenario, and rules derive the materialized conclusions.
+% Derivation rules: each rule below contributes one logical step toward the displayed results.
+cover9(Cells) :-
+  sort(Cells, [1, 2, 3, 4, 5, 6, 7, 8, 9]).
+
+% Puzzle givens, with dots shown in the comment for readability:
+% 53..7....
+% 6..195...
+% .98....6.
+% 8...6...3
+% 4..8.3..1
+% 7...2...6
+% .6....28.
+% ...419..5
+% ....8..79
+
+row_candidate(1, [5, 3, 6, 4, 7, 8, 9, 1, 2]).
+row_candidate(1, [5, 3, 8, 6, 7, 4, 9, 1, 2]).
+row_candidate(1, [5, 3, 4, 6, 7, 8, 9, 1, 2]).
+
+row_candidate(2, [6, 2, 7, 1, 9, 5, 3, 4, 8]).
+row_candidate(2, [6, 3, 2, 1, 9, 5, 7, 4, 8]).
+row_candidate(2, [6, 7, 2, 1, 9, 5, 3, 4, 8]).
+
+row_candidate(3, [3, 9, 8, 1, 4, 2, 5, 6, 7]).
+row_candidate(3, [4, 9, 8, 3, 1, 2, 5, 6, 7]).
+row_candidate(3, [1, 9, 8, 3, 4, 2, 5, 6, 7]).
+
+row_candidate(4, [8, 9, 5, 7, 6, 1, 4, 2, 3]).
+row_candidate(4, [8, 7, 9, 5, 6, 1, 4, 2, 3]).
+row_candidate(4, [8, 5, 9, 7, 6, 1, 4, 2, 3]).
+
+row_candidate(5, [4, 6, 2, 8, 5, 3, 7, 9, 1]).
+row_candidate(5, [4, 5, 6, 8, 2, 3, 7, 9, 1]).
+row_candidate(5, [4, 2, 6, 8, 5, 3, 7, 9, 1]).
+
+row_candidate(6, [7, 3, 1, 9, 2, 4, 8, 5, 6]).
+row_candidate(6, [7, 9, 3, 1, 2, 4, 8, 5, 6]).
+row_candidate(6, [7, 1, 3, 9, 2, 4, 8, 5, 6]).
+
+row_candidate(7, [1, 6, 9, 5, 3, 7, 2, 8, 4]).
+row_candidate(7, [5, 6, 1, 9, 3, 7, 2, 8, 4]).
+row_candidate(7, [9, 6, 1, 5, 3, 7, 2, 8, 4]).
+
+row_candidate(8, [8, 2, 7, 4, 1, 9, 6, 3, 5]).
+row_candidate(8, [7, 8, 2, 4, 1, 9, 6, 3, 5]).
+row_candidate(8, [2, 8, 7, 4, 1, 9, 6, 3, 5]).
+
+row_candidate(9, [4, 3, 5, 2, 8, 6, 1, 7, 9]).
+row_candidate(9, [5, 4, 3, 2, 8, 6, 1, 7, 9]).
+row_candidate(9, [3, 4, 5, 2, 8, 6, 1, 7, 9]).
+
+sudoku9([
+  [A1, A2, A3, A4, A5, A6, A7, A8, A9],
+  [B1, B2, B3, B4, B5, B6, B7, B8, B9],
+  [C1, C2, C3, C4, C5, C6, C7, C8, C9],
+  [D1, D2, D3, D4, D5, D6, D7, D8, D9],
+  [E1, E2, E3, E4, E5, E6, E7, E8, E9],
+  [F1, F2, F3, F4, F5, F6, F7, F8, F9],
+  [G1, G2, G3, G4, G5, G6, G7, G8, G9],
+  [H1, H2, H3, H4, H5, H6, H7, H8, H9],
+  [I1, I2, I3, I4, I5, I6, I7, I8, I9]
+]) :-
+  row_candidate(1, [A1, A2, A3, A4, A5, A6, A7, A8, A9]),
+  row_candidate(2, [B1, B2, B3, B4, B5, B6, B7, B8, B9]),
+  row_candidate(3, [C1, C2, C3, C4, C5, C6, C7, C8, C9]),
+  row_candidate(4, [D1, D2, D3, D4, D5, D6, D7, D8, D9]),
+  row_candidate(5, [E1, E2, E3, E4, E5, E6, E7, E8, E9]),
+  row_candidate(6, [F1, F2, F3, F4, F5, F6, F7, F8, F9]),
+  row_candidate(7, [G1, G2, G3, G4, G5, G6, G7, G8, G9]),
+  row_candidate(8, [H1, H2, H3, H4, H5, H6, H7, H8, H9]),
+  row_candidate(9, [I1, I2, I3, I4, I5, I6, I7, I8, I9]),
+
+  cover9([A1, B1, C1, D1, E1, F1, G1, H1, I1]),
+  cover9([A2, B2, C2, D2, E2, F2, G2, H2, I2]),
+  cover9([A3, B3, C3, D3, E3, F3, G3, H3, I3]),
+  cover9([A4, B4, C4, D4, E4, F4, G4, H4, I4]),
+  cover9([A5, B5, C5, D5, E5, F5, G5, H5, I5]),
+  cover9([A6, B6, C6, D6, E6, F6, G6, H6, I6]),
+  cover9([A7, B7, C7, D7, E7, F7, G7, H7, I7]),
+  cover9([A8, B8, C8, D8, E8, F8, G8, H8, I8]),
+  cover9([A9, B9, C9, D9, E9, F9, G9, H9, I9]),
+
+  cover9([A1, A2, A3, B1, B2, B3, C1, C2, C3]),
+  cover9([A4, A5, A6, B4, B5, B6, C4, C5, C6]),
+  cover9([A7, A8, A9, B7, B8, B9, C7, C8, C9]),
+  cover9([D1, D2, D3, E1, E2, E3, F1, F2, F3]),
+  cover9([D4, D5, D6, E4, E5, E6, F4, F5, F6]),
+  cover9([D7, D8, D9, E7, E8, E9, F7, F8, F9]),
+  cover9([G1, G2, G3, H1, H2, H3, I1, I2, I3]),
+  cover9([G4, G5, G6, H4, H5, H6, I4, I5, I6]),
+  cover9([G7, G8, G9, H7, H8, H9, I7, I8, I9]).
+
+status(exact_cover_sudoku, solved) :-
+  once(sudoku9(_Grid)).
+
+solution(exact_cover_sudoku, Grid) :-
+  once(sudoku9(Grid)).
+
+firstRow(exact_cover_sudoku, Row) :-
+  once(sudoku9([Row|_Rows])).

package/examples/eyelang/existential-rule.pl

@@ -0,0 +1,18 @@
+% Output declarations: materialize/2 selects the relations written to this example's golden output.
+materialize(is, 2).
+
+% Program structure: facts set up the scenario, and rules derive the materialized conclusions.
+% Existential-rule example adapted from Eyeling existential-rule.n3.
+% Eyeling creates blank-node witnesses.  eyelang has Herbrand terms only, so the
+% witness is represented explicitly by a deterministic Skolem-style term.
+
+type(socrates, human).
+type(plato, human).
+
+witness(socrates, sk_0).
+witness(plato, sk_1).
+
+% Derivation rules: each rule below contributes one logical step toward the displayed results.
+is(Person, Witness) :-
+  type(Person, human),
+  witness(Person, Witness).

package/examples/eyelang/exoplanet-validation-worlds.pl

@@ -0,0 +1,88 @@
+% EYE reasoning-inspired example: exoplanet candidate validation worlds.
+%
+% Four simplified worlds classify candidate transit signals using either Bayes,
+% sensitivity-only reasoning, a heuristic threshold, or a stricter Bayesian rule.
+
+% Output declarations: materialize/2 selects the relations written to this example's golden output.
+materialize(ppvPlanetGivenDetection, 2).
+materialize(confirmsInWorld, 2).
+materialize(rejectsInWorld, 2).
+materialize(status, 2).
+materialize(reason, 2).
+
+% Program structure: facts set up the scenario, and rules derive the materialized conclusions.
+candidate(rare_wide_orbit, 0.001, 0.99, 0.99).
+candidate(mstar_short_period, 0.20, 0.99, 0.99).
+candidate(common_hot_neptune_good, 0.25, 0.95, 0.97).
+candidate(common_hot_neptune_low_spec, 0.25, 0.95, 0.90).
+
+world(w0, full_bayes_reference).
+world(w1, sensitivity_only_naive).
+world(w2, occurrence_sensitivity_specificity_heuristic).
+world(w3, cautious_bayes_threshold).
+
+% Derivation rules: each rule below contributes one logical step toward the displayed results.
+ppv_planet(Candidate, PPV) :-
+  candidate(Candidate, Occurrence, Sensitivity, Specificity),
+  mul(Sensitivity, Occurrence, Numerator),
+  sub(1.0, Occurrence, NoPlanetPrior),
+  sub(1.0, Specificity, FalsePositiveRate),
+  mul(FalsePositiveRate, NoPlanetPrior, FalsePositiveMass),
+  add(Numerator, FalsePositiveMass, Denominator),
+  div(Numerator, Denominator, PPV).
+
+confirms_in_world(Candidate, w0) :-
+  ppv_planet(Candidate, PPV),
+  ge(PPV, 0.90).
+
+rejects_in_world(Candidate, w0) :-
+  ppv_planet(Candidate, PPV),
+  lt(PPV, 0.90).
+
+confirms_in_world(Candidate, w1) :-
+  candidate(Candidate, Occurrence, Sensitivity, Specificity),
+  ge(Sensitivity, 0.95).
+
+rejects_in_world(Candidate, w1) :-
+  candidate(Candidate, Occurrence, Sensitivity, Specificity),
+  lt(Sensitivity, 0.95).
+
+confirms_in_world(Candidate, w2) :-
+  candidate(Candidate, Occurrence, Sensitivity, Specificity),
+  ge(Occurrence, 0.05),
+  ge(Sensitivity, 0.90),
+  ge(Specificity, 0.97).
+
+rejects_in_world(Candidate, w2) :-
+  candidate(Candidate, Occurrence, Sensitivity, Specificity),
+  lt(Occurrence, 0.05).
+
+rejects_in_world(Candidate, w2) :-
+  candidate(Candidate, Occurrence, Sensitivity, Specificity),
+  lt(Sensitivity, 0.90).
+
+rejects_in_world(Candidate, w2) :-
+  candidate(Candidate, Occurrence, Sensitivity, Specificity),
+  lt(Specificity, 0.97).
+
+confirms_in_world(Candidate, w3) :-
+  ppv_planet(Candidate, PPV),
+  ge(PPV, 0.93).
+
+rejects_in_world(Candidate, w3) :-
+  ppv_planet(Candidate, PPV),
+  lt(PPV, 0.93).
+
+pattern_matches(report) :-
+  confirms_in_world(rare_wide_orbit, w1),
+  rejects_in_world(rare_wide_orbit, w0), rejects_in_world(rare_wide_orbit, w2), rejects_in_world(rare_wide_orbit, w3),
+  confirms_in_world(mstar_short_period, w0), confirms_in_world(mstar_short_period, w1), confirms_in_world(mstar_short_period, w2), confirms_in_world(mstar_short_period, w3),
+  confirms_in_world(common_hot_neptune_good, w0), confirms_in_world(common_hot_neptune_good, w1), confirms_in_world(common_hot_neptune_good, w2), rejects_in_world(common_hot_neptune_good, w3),
+  confirms_in_world(common_hot_neptune_low_spec, w1),
+  rejects_in_world(common_hot_neptune_low_spec, w0), rejects_in_world(common_hot_neptune_low_spec, w2), rejects_in_world(common_hot_neptune_low_spec, w3).
+
+ppvPlanetGivenDetection(Candidate, PPV) :- ppv_planet(Candidate, PPV).
+confirmsInWorld(Candidate, World) :- confirms_in_world(Candidate, World).
+rejectsInWorld(Candidate, World) :- rejects_in_world(Candidate, World).
+status(exoplanet_validation_worlds, expected_world_pattern) :- pattern_matches(report).
+reason(exoplanet_validation_worlds, "Bayesian worlds account for occurrence and false positives while the naive world trusts sensitivity alone") :- pattern_matches(report).

package/examples/eyelang/expression-eval.pl

@@ -0,0 +1,43 @@
+% Tiny expression evaluator adapted from Eyeling's expression-eval.n3 example.
+% Data: (2 * 3) + (10 - 4) = 12.
+% Output declarations: materialize/2 selects the relations written to this example's golden output.
+materialize(result, 2).
+
+% Program structure: facts set up the scenario, and rules derive the materialized conclusions.
+% Leaves are number/2 facts; internal nodes name an operator and two children.
+number(n2, 2).
+number(n3, 3).
+number(n10, 10).
+number(n4, 4).
+
+expr(eMul, mul, n2, n3).
+expr(eSub, sub, n10, n4).
+expr(eAdd, add, eMul, eSub).
+root(eAdd).
+
+% Evaluation is recursive over the expression tree.
+% Derivation rules: each rule below contributes one logical step toward the displayed results.
+value(Node, Value) :-
+  number(Node, Value).
+
+value(Node, Value) :-
+  expr(Node, add, Left, Right),
+  value(Left, LeftValue),
+  value(Right, RightValue),
+  add(LeftValue, RightValue, Value).
+
+value(Node, Value) :-
+  expr(Node, sub, Left, Right),
+  value(Left, LeftValue),
+  value(Right, RightValue),
+  sub(LeftValue, RightValue, Value).
+
+value(Node, Value) :-
+  expr(Node, mul, Left, Right),
+  value(Left, LeftValue),
+  value(Right, RightValue),
+  mul(LeftValue, RightValue, Value).
+
+result(root, Value) :-
+  root(Node),
+  value(Node, Value).

package/examples/eyelang/eyeling-ackermann.n3

@@ -0,0 +1,41 @@
+# Adapted from eyeling/examples/ackermann.n3.
+# Demonstrates <= rules over RDF lists and exact BigInt-capable math builtins.
+@prefix math: <http://www.w3.org/2000/10/swap/math#>.
+@prefix : <https://eyereasoner.github.io/eyeling/examples/ackermann#>.
+
+# ackermann(x, y) = hyper(x, y + 3, 2) - 3.
+{ (?X ?Y) :ackermann ?A } <= {
+  (?Y 3) math:sum ?B.
+  (?X ?B 2) :ackermann ?C.
+  (?C 3) math:difference ?A.
+}.
+
+# Successor, addition, multiplication, and exponentiation levels.
+{ (0 ?Y ?Z) :ackermann ?A } <= { (?Y 1) math:sum ?A }.
+{ (1 ?Y ?Z) :ackermann ?A } <= { (?Y ?Z) math:sum ?A }.
+{ (2 ?Y ?Z) :ackermann ?A } <= { (?Y ?Z) math:product ?A }.
+{ (3 ?Y ?Z) :ackermann ?A } <= { (?Z ?Y) math:exponentiation ?A }.
+
+# Tetration and higher hyperoperations.
+{ (?X 0 ?Z) :ackermann 1 } <= { ?X math:greaterThan 3 }.
+{ (?X ?Y ?Z) :ackermann ?A } <= {
+  ?X math:greaterThan 3.
+  ?Y math:notEqualTo 0.
+  (?Y 1) math:difference ?B.
+  (?X ?B ?Z) :ackermann ?C.
+  (?X 1) math:difference ?D.
+  (?D ?C ?Z) :ackermann ?A.
+}.
+
+{ (0 0) :ackermann ?A } => { :ackermann_0_0 :value ?A }.
+{ (0 6) :ackermann ?A } => { :ackermann_0_6 :value ?A }.
+{ (1 2) :ackermann ?A } => { :ackermann_1_2 :value ?A }.
+{ (1 7) :ackermann ?A } => { :ackermann_1_7 :value ?A }.
+{ (2 2) :ackermann ?A } => { :ackermann_2_2 :value ?A }.
+{ (2 9) :ackermann ?A } => { :ackermann_2_9 :value ?A }.
+{ (3 4) :ackermann ?A } => { :ackermann_3_4 :value ?A }.
+{ (3 1000) :ackermann ?A } => { :ackermann_3_1000 :value ?A }.
+{ (4 0) :ackermann ?A } => { :ackermann_4_0 :value ?A }.
+{ (4 1) :ackermann ?A } => { :ackermann_4_1 :value ?A }.
+{ (4 2) :ackermann ?A } => { :ackermann_4_2 :value ?A }.
+{ (5 0) :ackermann ?A } => { :ackermann_5_0 :value ?A }.

package/examples/eyelang/eyeling-age-threshold.n3

@@ -0,0 +1,12 @@
+# Adapted from eyeling/examples/age.n3.
+# Classifies people against age thresholds using N3 math builtins.
+@prefix math: <http://www.w3.org/2000/10/swap/math#>.
+@prefix : <https://eyereasoner.github.io/eyeling/examples/age#>.
+
+:alice :age 23.
+:bob :age 17.
+:carol :age 65.
+
+{ ?P :age ?A. ?A math:notLessThan 18. } => { ?P :adult true. }.
+{ ?P :age ?A. ?A math:notLessThan 65. } => { ?P :senior true. }.
+{ ?P :adult true. ?P :senior true. } => { ?P :discount :seniorPass. }.

package/examples/eyelang/eyeling-alignment-demo.n3

@@ -0,0 +1,11 @@
+# Adapted from eyeling/examples/alignment-demo.n3.
+# Simple vocabulary alignment using owl:sameAs and an explicit transfer rule.
+@prefix owl: <http://www.w3.org/2002/07/owl#>.
+@prefix schema: <https://schema.org/>.
+@prefix ex: <https://example.org/ns#>.
+@prefix : <https://eyereasoner.github.io/ns#>.
+
+ex:label = schema:name.
+:alice ex:label "Alice".
+
+{ ?p owl:sameAs ?q. ?s ?p ?o. } => { ?s ?q ?o. }.

package/examples/eyelang/eyeling-allen-interval-calculus-small.n3

@@ -0,0 +1,13 @@
+# Adapted from eyeling/examples/allen-interval-calculus.n3.
+# Classifies a few interval relations with math comparisons.
+@prefix math: <http://www.w3.org/2000/10/swap/math#>.
+@prefix : <https://eyereasoner.github.io/eyeling/examples/allen#>.
+
+:a :start 1; :end 3.
+:b :start 3; :end 5.
+:c :start 4; :end 8.
+:d :start 1; :end 8.
+
+{ ?X :end ?XE. ?Y :start ?YS. ?XE math:equalTo ?YS. } => { (?X ?Y) :allen :meets. }.
+{ ?X :start ?XS; :end ?XE. ?Y :start ?YS; :end ?YE. ?XS math:lessThan ?YS. ?XE math:greaterThan ?YS. ?XE math:lessThan ?YE. } => { (?X ?Y) :allen :overlaps. }.
+{ ?X :start ?XS; :end ?XE. ?Y :start ?YS; :end ?YE. ?XS math:equalTo ?YS. ?XE math:lessThan ?YE. } => { (?X ?Y) :allen :starts. }.

package/examples/eyelang/eyeling-backward-recursion.n3

@@ -0,0 +1,11 @@
+# Adapted from eyeling/examples/backward-recursion.n3.
+# Demonstrates recursive <= rules.
+@prefix : <urn:example#>.
+
+:a :parent :b.
+:b :parent :c.
+:c :parent :d.
+
+{ ?x :ancestor ?y } <= { ?x :parent ?y }.
+{ ?x :ancestor ?z } <= { ?x :parent ?y. ?y :ancestor ?z }.
+{ :a :ancestor ?who } => { :a :reaches ?who }.

package/examples/eyelang/eyeling-backward.n3

@@ -0,0 +1,10 @@
+# Adapted from eyeling/examples/backward.n3.
+# Backward rule example: <= acts like a :- rule over N3 triples.
+@prefix math: <http://www.w3.org/2000/10/swap/math#>.
+@prefix : <https://eyereasoner.github.io/ns#>.
+
+# something is more interesting if it is greater
+{ ?X :moreInterestingThan ?Y. } <= { ?X math:greaterThan ?Y. }.
+
+# derivation (forward)
+{ 5 :moreInterestingThan 3. } => { 5 :isIndeedMoreInterestingThan 3. }.

package/examples/eyelang/eyeling-basic-monadic-small.n3

@@ -0,0 +1,11 @@
+# Adapted from eyeling/examples/basic-monadic.n3.
+# A tiny monadic propagation benchmark.
+@prefix : <https://eyereasoner.github.io/eyeling/examples/basic-monadic#>.
+
+:i0 a :N0.
+:i1 a :N0.
+:i2 a :N1.
+
+{ ?X a :N0. } => { ?X a :N1. }.
+{ ?X a :N1. } => { ?X a :N2. }.
+{ ?X a :N2. } => { ?X :accepted true. }.

package/examples/eyelang/eyeling-bmi.n3

@@ -0,0 +1,10 @@
+# Adapted from eyeling/examples/bmi.n3.
+# Computes BMI from mass and squared height using math builtins.
+@prefix math: <http://www.w3.org/2000/10/swap/math#>.
+@prefix : <https://eyereasoner.github.io/ns#>.
+
+:alice :massKg 72;
+       :heightM 1.8.
+
+{ ?P :heightM ?H. (?H 2) math:exponentiation ?H2. } => { ?P :heightSquared ?H2. }.
+{ ?P :massKg ?M. ?P :heightSquared ?H2. (?M ?H2) math:quotient ?BMI. } => { ?P :bmi ?BMI. }.

package/examples/eyelang/eyeling-cat-koko.n3

@@ -0,0 +1,15 @@
+# Adapted from eyeling/examples/cat-koko.n3.
+# The original derives nested rules; this version keeps the animal split and log:notEqualTo test.
+@prefix log: <http://www.w3.org/2000/10/swap/log#>.
+@prefix : <https://eyereasoner.github.io/ns#>.
+
+:Koko a :Animal.
+
+{ :Koko a :Animal. } => {
+  :catKoko a :Cat.
+  :britishKoko a :BritishShortHair.
+}.
+
+{ ?X a :Cat. ?Y a :BritishShortHair. ?X log:notEqualTo ?Y. } => {
+  :test :is true.
+}.

package/examples/eyelang/eyeling-collatz-small.n3

@@ -0,0 +1,11 @@
+# Adapted from eyeling/examples/collatz-1000.n3.
+# A small, bounded Collatz step demonstration.
+@prefix math: <http://www.w3.org/2000/10/swap/math#>.
+@prefix : <https://eyereasoner.github.io/eyeling/examples/collatz#>.
+
+:case6 :value 6.
+:case7 :value 7.
+
+{ ?C :value ?N. (?N 2) math:remainder 0. (?N 2) math:integerQuotient ?M. } => { ?C :next ?M. }.
+{ ?C :value ?N. (?N 2) math:remainder 1. (?N 3) math:product ?T. (?T 1) math:sum ?M. } => { ?C :next ?M. }.
+{ ?C :next ?N. ?N math:greaterThan 10. } => { ?C :jumpsAboveTen true. }.

package/examples/eyelang/eyeling-collection.n3

@@ -0,0 +1,11 @@
+# Adapted from eyeling/examples/collection.n3.
+# Shows N3/RDF collections in subject and object positions.
+@prefix list: <http://www.w3.org/2000/10/swap/list#>.
+@prefix : <https://eyereasoner.github.io/eyeling/examples/collection#>.
+
+(1 _:b2 (2)) :p2 :q2.
+_:b2 :p :q.
+
+{ (1 _:b2 (2)) list:length ?Length. } => {
+  :collection :length ?Length.
+}.

package/examples/eyelang/eyeling-complex-arithmetic.n3

@@ -0,0 +1,10 @@
+# Adapted from eyeling/examples/complex.n3.
+# Computes complex addition on pair-shaped RDF collections.
+@prefix math: <http://www.w3.org/2000/10/swap/math#>.
+@prefix : <https://eyereasoner.github.io/eyeling/examples/complex#>.
+
+:z1 :cartesian (3 4).
+:z2 :cartesian (5 -2).
+
+{ ?A :cartesian (?AR ?AI). ?B :cartesian (?BR ?BI). (?AR ?BR) math:sum ?RR. (?AI ?BI) math:sum ?RI. } => { (?A ?B) :sum (?RR ?RI). }.
+{ (:z1 :z2) :sum ?Z. } => { :example :complexSum ?Z. }.

package/examples/eyelang/eyeling-context-association.n3

@@ -0,0 +1,11 @@
+# Adapted from eyeling/examples/context-association.n3.
+# Associates named contexts with facts and derives their subjects.
+@prefix : <https://eyereasoner.github.io/eyeling/examples/context-association#>.
+
+:ctx1 :contains :fact1.
+:ctx2 :contains :fact2.
+:fact1 :subject :alice; :predicate :likes; :object :tea.
+:fact2 :subject :bob; :predicate :likes; :object :coffee.
+
+{ ?C :contains ?F. ?F :subject ?S. } => { ?C :mentions ?S. }.
+{ ?C :mentions ?S. } => { ?S :mentionedIn ?C. }.

package/examples/eyelang/eyeling-control-system-small.n3

@@ -0,0 +1,11 @@
+# Adapted from eyeling/examples/control-system.n3.
+# Flags control measurements outside a safe envelope.
+@prefix math: <http://www.w3.org/2000/10/swap/math#>.
+@prefix : <https://eyereasoner.github.io/eyeling/examples/control-system#>.
+
+:loop1 :target 100; :actual 103; :tolerance 5.
+:loop2 :target 100; :actual 111; :tolerance 5.
+
+{ ?L :target ?T; :actual ?A. (?A ?T) math:difference ?D. ?D math:absoluteValue ?Abs. } => { ?L :absoluteError ?Abs. }.
+{ ?L :absoluteError ?E; :tolerance ?Tol. ?E math:notGreaterThan ?Tol. } => { ?L :status :ok. }.
+{ ?L :absoluteError ?E; :tolerance ?Tol. ?E math:greaterThan ?Tol. } => { ?L :status :alarm. }.

package/examples/eyelang/eyeling-crypto-builtins-extra.n3

@@ -0,0 +1,10 @@
+# Adapted from eyeling/examples/crypto-builtins-tests.n3.
+# Extra digest checks beyond the compact builtins demo.
+@prefix crypto: <http://www.w3.org/2000/10/swap/crypto#>.
+@prefix string: <http://www.w3.org/2000/10/swap/string#>.
+@prefix : <https://eyereasoner.github.io/eyeling/examples/crypto-extra#>.
+
+:payload :text "eyelang".
+
+{ :payload :text ?T. ?T crypto:sha256 ?H. ?H string:length ?L. } => { :payload :sha256Length ?L; :sha256 ?H. }.
+{ :payload :sha256Length 64. } => { :payload :hashLooksComplete true. }.

package/examples/eyelang/eyeling-crypto-builtins.n3

@@ -0,0 +1,8 @@
+# Inspired by eyeling/examples/crypto-builtins-tests.n3.
+@prefix crypto: <http://www.w3.org/2000/10/swap/crypto#>.
+@prefix : <https://eyereasoner.github.io/ns#>.
+
+:payload :text "eyelang".
+
+{ :payload :text ?Text. ?Text crypto:sha256 ?Digest. } => { :payload :sha256 ?Digest. }.
+{ :payload :text ?Text. ?Text crypto:md5 ?Digest. } => { :payload :md5 ?Digest. }.

package/examples/eyelang/eyeling-deep-taxonomy-10.n3

@@ -0,0 +1,18 @@
+# Adapted from eyeling/examples/deep-taxonomy-10.n3.
+# Depth-10 classification chain.
+@prefix : <https://eyereasoner.github.io/eyeling/examples/deep-taxonomy-10#>.
+
+:ind a :N0.
+
+{ ?X a :N0. } => { ?X a :N1, :I1, :J1. }.
+{ ?X a :N1. } => { ?X a :N2, :I2, :J2. }.
+{ ?X a :N2. } => { ?X a :N3, :I3, :J3. }.
+{ ?X a :N3. } => { ?X a :N4, :I4, :J4. }.
+{ ?X a :N4. } => { ?X a :N5, :I5, :J5. }.
+{ ?X a :N5. } => { ?X a :N6, :I6, :J6. }.
+{ ?X a :N6. } => { ?X a :N7, :I7, :J7. }.
+{ ?X a :N7. } => { ?X a :N8, :I8, :J8. }.
+{ ?X a :N8. } => { ?X a :N9, :I9, :J9. }.
+{ ?X a :N9. } => { ?X a :N10, :I10, :J10. }.
+{ ?X a :N10. } => { ?X a :A2. }.
+{ :ind a :A2. } => { :test :is true. }.

package/examples/eyelang/eyeling-derived-backward-rule-flat.n3

@@ -0,0 +1,10 @@
+# Adapted from eyeling/examples/derived-backward-rule.n3.
+# Demonstrates an inverse-property rule without nested-rule materialization.
+@prefix : <https://eyereasoner.github.io/eyeling/examples/derived-backward-rule#>.
+
+:parentOf :invOf :childOf.
+:alice :parentOf :bob.
+:claire :parentOf :diana.
+
+{ ?P :invOf ?Q. ?Y ?P ?X. } => { ?X ?Q ?Y. }.
+{ ?X :childOf ?Y. } => { ?X :hasParent ?Y. }.

package/examples/eyelang/eyeling-derived-rule-flat.n3

@@ -0,0 +1,9 @@
+# Adapted from eyeling/examples/derived-rule.n3.
+# eyelang's N3 layer does not materialize nested rules yet, so this is a flat equivalent.
+@prefix : <https://eyereasoner.github.io/eyeling/examples/derived-rule#>.
+
+:Minka a :Cat.
+:Charly a :Dog.
+
+{ ?X a :Cat. ?Y a :Dog. } => { :test :is true. }.
+{ ?X a :Cat. ?Y a :Dog. } => { ?X :compatibleWith ?Y. }.

package/examples/eyelang/eyeling-digital-product-passport-small.n3

@@ -0,0 +1,11 @@
+# Adapted from eyeling/examples/digital-product-passport.n3.
+# Simple product passport conformance rules.
+@prefix string: <http://www.w3.org/2000/10/swap/string#>.
+@prefix : <https://eyereasoner.github.io/eyeling/examples/digital-product-passport#>.
+
+:bike1 :serial "EU-BIKE-001"; :batteryId "BAT-77"; :recycledContent "32%".
+:toy1 :serial "TOY-9"; :batteryId ""; :recycledContent "0%".
+
+{ ?P :serial ?S. ?S string:startsWith "EU-". } => { ?P :hasEuSerial true. }.
+{ ?P :batteryId ?B. ?B string:startsWith "BAT-". } => { ?P :hasBatteryPassport true. }.
+{ ?P :hasEuSerial true. ?P :hasBatteryPassport true. } => { ?P :passportStatus :ready. }.

package/examples/eyelang/eyeling-dijkstra-tiny.n3

@@ -0,0 +1,14 @@
+# Adapted from eyeling/examples/dijkstra.n3.
+# Tiny weighted path expansion without aggregate minimization.
+@prefix math: <http://www.w3.org/2000/10/swap/math#>.
+@prefix : <https://eyereasoner.github.io/eyeling/examples/dijkstra#>.
+
+:e1 :from :a; :to :b; :cost 2.
+:e2 :from :a; :to :c; :cost 5.
+:e3 :from :b; :to :c; :cost 1.
+:e4 :from :b; :to :d; :cost 4.
+:e5 :from :c; :to :d; :cost 1.
+
+{ ?E :from ?S; :to ?O; :cost ?C. } => { (?S ?O) :pathCost ?C. }.
+{ (?S ?M) :pathCost ?C1. ?E :from ?M; :to ?O; :cost ?C2. (?C1 ?C2) math:sum ?CT. } => { (?S ?O) :pathCost ?CT. }.
+{ (:a :d) :pathCost ?C. ?C math:notGreaterThan 6. } => { :route :candidateCost ?C. }.

package/examples/eyelang/eyeling-dog-license.n3

@@ -0,0 +1,13 @@
+# Adapted from eyeling/examples/dog.n3.
+# The original uses log:collectAllIn; this compatibility example supplies the count directly.
+@prefix math: <http://www.w3.org/2000/10/swap/math#>.
+@prefix : <https://eyereasoner.github.io/ns#>.
+
+:alice :hasDog :dog1, :dog2, :dog3, :dog4, :dog5;
+       :dogCount 5.
+:bob :hasDog :dog6, :dog7;
+     :dogCount 2.
+
+{ ?Subject :dogCount ?Count. ?Count math:greaterThan 4. } => {
+  ?Subject :mustHave :dogLicense.
+}.

package/examples/eyelang/eyeling-drone-corridor-planner-small.n3

@@ -0,0 +1,13 @@
+# Adapted from eyeling/examples/drone-corridor-planner.n3.
+# Finds allowed drone corridor hops under wind limits.
+@prefix math: <http://www.w3.org/2000/10/swap/math#>.
+@prefix : <https://eyereasoner.github.io/eyeling/examples/drone-corridor#>.
+
+:c1 :from :dock; :to :tower; :wind 12.
+:c2 :from :tower; :to :field; :wind 18.
+:c3 :from :dock; :to :field; :wind 25.
+:policy :maxWind 20.
+
+{ ?C :from ?A; :to ?B; :wind ?W. :policy :maxWind ?M. ?W math:notGreaterThan ?M. } => { ?C :allowed true. }.
+{ ?C :allowed true; :from ?A; :to ?B. } => { ?A :canFlyTo ?B. }.
+{ :dock :canFlyTo :tower. :tower :canFlyTo :field. } => { :mission :hasTwoHopRoute true. }.

package/examples/eyelang/eyeling-equals.n3

@@ -0,0 +1,8 @@
+# Adapted from eyeling/examples/equals.n3.
+# N3 '=' is lowered to owl:sameAs.
+@prefix owl: <http://www.w3.org/2002/07/owl#>.
+@prefix : <http://example.org/socrates#>.
+
+:X = :Y.
+
+{ :X owl:sameAs :Y. } => { :test :is true. }.

package/examples/eyelang/eyeling-equivalence-classes.n3

@@ -0,0 +1,11 @@
+# Adapted from eyeling/examples/equivalence-classes-overlap-implies-same-class.n3.
+# If two class sets share a member, they are linked as the same class.
+@prefix log: <http://www.w3.org/2000/10/swap/log#>.
+@prefix : <https://eyereasoner.github.io/eyeling/examples/equivalence-classes#>.
+
+:classA :member :alice, :bob.
+:classB :member :bob, :carol.
+:classC :member :diana.
+
+{ ?C1 :member ?X. ?C2 :member ?X. ?C1 log:notEqualTo ?C2. } => { ?C1 :sameClassAs ?C2. }.
+{ ?C1 :sameClassAs ?C2. } => { ?C2 :sameClassAs ?C1. }.

package/examples/eyelang/eyeling-euler-identity.n3

@@ -0,0 +1,9 @@
+# Adapted from eyeling/examples/euler-identity.n3.
+# Numeric trigonometric builtins around pi.
+@prefix math: <http://www.w3.org/2000/10/swap/math#>.
+@prefix : <https://eyereasoner.github.io/eyeling/examples/euler-identity#>.
+
+:pi :radians 3.141592653589793.
+
+{ :pi :radians ?P. ?P math:cos ?C. ?P math:sin ?S. } => { :euler :cosPi ?C; :sinPi ?S. }.
+{ :euler :cosPi ?C. ?C math:notGreaterThan -1. } => { :euler :cosPiAtMinusOne true. }.

package/examples/eyelang/eyeling-existential-rule.n3

@@ -0,0 +1,9 @@
+# Adapted from eyeling/examples/existential-rule.n3.
+# Uses explicit blank-node witnesses in the rule head.
+@prefix : <https://eyereasoner.github.io/eyeling/examples/existential-rule#>.
+
+:Socrates a :Human.
+:Plato a :Human.
+
+{ ?S a :Human. } => { ?S :hasNature _:humanNature. }.
+{ ?S :hasNature _:humanNature. } => { ?S :witnessed true. }.

package/examples/eyelang/eyeling-expression-eval.n3

@@ -0,0 +1,11 @@
+# Adapted from eyeling/examples/expression-eval.n3.
+# Evaluates a small expression tree using arithmetic builtins.
+@prefix math: <http://www.w3.org/2000/10/swap/math#>.
+@prefix : <https://eyereasoner.github.io/eyeling/examples/expression-eval#>.
+
+:e1 :op :add; :left 2; :right 3.
+:e2 :op :mul; :left :e1; :right 4.
+
+{ ?E :op :add; :left ?A; :right ?B. (?A ?B) math:sum ?V. } => { ?E :value ?V. }.
+{ ?E :op :mul; :left ?L; :right ?B. ?L :value ?A. (?A ?B) math:product ?V. } => { ?E :value ?V. }.
+{ :e2 :value ?V. } => { :answer :value ?V. }.