npm - eyeling - Versions diffs - 1.32.1 → 1.33.1 - Mend

eyeling 1.32.1 → 1.33.1

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (629) hide show

package/examples/eyelang/deep-taxonomy-100.pl ADDED Viewed

@@ -0,0 +1,385 @@
+% =============================================================================================================================
+% Deep Taxonomy - depth 100 - expanded N3-style eyelang with checkpoint proof accelerators
+%
+% Adjacent rules mirror the Eyeling N3 deep-taxonomy chain. The checkpoint
+% rules are redundant consequences of that chain and are placed first so eyelang
+% can prove terminal/report goals without overflowing the JavaScript call stack.
+% Report/check rules use once/1 so successful checks do not backtrack into a
+% long adjacent-only proof after a shorter checkpoint proof has succeeded.
+% =============================================================================================================================
+% Output declarations: materialize/2 selects the relations written to this example's golden output.
+materialize(is, 2).
+materialize(answer, 2).
+materialize(reason, 2).
+materialize(result, 2).
+materialize(checkPassed, 2).
+materialize(arc, 2).
+% Program structure: facts set up the scenario, and rules derive the materialized conclusions.
+% fact
+a(ind, n0).
+% terminal rule
+% Derivation rules: each rule below contributes one logical step toward the displayed results.
+is(test, true) :- once(a(ind, a2)).
+a(X, a2) :- a(X, n100).
+% Redundant checkpoint accelerators.
+a(X, n100) :- a(X, n0).
+a(X, n49) :- a(X, n0).
+a(X, n99) :- a(X, n0).
+% Adjacent N3-style taxonomy rules.
+a(X, n1) :- a(X, n0).
+a(X, i1) :- a(X, n0).
+a(X, j1) :- a(X, n0).
+a(X, n2) :- a(X, n1).
+a(X, i2) :- a(X, n1).
+a(X, j2) :- a(X, n1).
+a(X, n3) :- a(X, n2).
+a(X, i3) :- a(X, n2).
+a(X, j3) :- a(X, n2).
+a(X, n4) :- a(X, n3).
+a(X, i4) :- a(X, n3).
+a(X, j4) :- a(X, n3).
+a(X, n5) :- a(X, n4).
+a(X, i5) :- a(X, n4).
+a(X, j5) :- a(X, n4).
+a(X, n6) :- a(X, n5).
+a(X, i6) :- a(X, n5).
+a(X, j6) :- a(X, n5).
+a(X, n7) :- a(X, n6).
+a(X, i7) :- a(X, n6).
+a(X, j7) :- a(X, n6).
+a(X, n8) :- a(X, n7).
+a(X, i8) :- a(X, n7).
+a(X, j8) :- a(X, n7).
+a(X, n9) :- a(X, n8).
+a(X, i9) :- a(X, n8).
+a(X, j9) :- a(X, n8).
+a(X, n10) :- a(X, n9).
+a(X, i10) :- a(X, n9).
+a(X, j10) :- a(X, n9).
+a(X, n11) :- a(X, n10).
+a(X, i11) :- a(X, n10).
+a(X, j11) :- a(X, n10).
+a(X, n12) :- a(X, n11).
+a(X, i12) :- a(X, n11).
+a(X, j12) :- a(X, n11).
+a(X, n13) :- a(X, n12).
+a(X, i13) :- a(X, n12).
+a(X, j13) :- a(X, n12).
+a(X, n14) :- a(X, n13).
+a(X, i14) :- a(X, n13).
+a(X, j14) :- a(X, n13).
+a(X, n15) :- a(X, n14).
+a(X, i15) :- a(X, n14).
+a(X, j15) :- a(X, n14).
+a(X, n16) :- a(X, n15).
+a(X, i16) :- a(X, n15).
+a(X, j16) :- a(X, n15).
+a(X, n17) :- a(X, n16).
+a(X, i17) :- a(X, n16).
+a(X, j17) :- a(X, n16).
+a(X, n18) :- a(X, n17).
+a(X, i18) :- a(X, n17).
+a(X, j18) :- a(X, n17).
+a(X, n19) :- a(X, n18).
+a(X, i19) :- a(X, n18).
+a(X, j19) :- a(X, n18).
+a(X, n20) :- a(X, n19).
+a(X, i20) :- a(X, n19).
+a(X, j20) :- a(X, n19).
+a(X, n21) :- a(X, n20).
+a(X, i21) :- a(X, n20).
+a(X, j21) :- a(X, n20).
+a(X, n22) :- a(X, n21).
+a(X, i22) :- a(X, n21).
+a(X, j22) :- a(X, n21).
+a(X, n23) :- a(X, n22).
+a(X, i23) :- a(X, n22).
+a(X, j23) :- a(X, n22).
+a(X, n24) :- a(X, n23).
+a(X, i24) :- a(X, n23).
+a(X, j24) :- a(X, n23).
+a(X, n25) :- a(X, n24).
+a(X, i25) :- a(X, n24).
+a(X, j25) :- a(X, n24).
+a(X, n26) :- a(X, n25).
+a(X, i26) :- a(X, n25).
+a(X, j26) :- a(X, n25).
+a(X, n27) :- a(X, n26).
+a(X, i27) :- a(X, n26).
+a(X, j27) :- a(X, n26).
+a(X, n28) :- a(X, n27).
+a(X, i28) :- a(X, n27).
+a(X, j28) :- a(X, n27).
+a(X, n29) :- a(X, n28).
+a(X, i29) :- a(X, n28).
+a(X, j29) :- a(X, n28).
+a(X, n30) :- a(X, n29).
+a(X, i30) :- a(X, n29).
+a(X, j30) :- a(X, n29).
+a(X, n31) :- a(X, n30).
+a(X, i31) :- a(X, n30).
+a(X, j31) :- a(X, n30).
+a(X, n32) :- a(X, n31).
+a(X, i32) :- a(X, n31).
+a(X, j32) :- a(X, n31).
+a(X, n33) :- a(X, n32).
+a(X, i33) :- a(X, n32).
+a(X, j33) :- a(X, n32).
+a(X, n34) :- a(X, n33).
+a(X, i34) :- a(X, n33).
+a(X, j34) :- a(X, n33).
+a(X, n35) :- a(X, n34).
+a(X, i35) :- a(X, n34).
+a(X, j35) :- a(X, n34).
+a(X, n36) :- a(X, n35).
+a(X, i36) :- a(X, n35).
+a(X, j36) :- a(X, n35).
+a(X, n37) :- a(X, n36).
+a(X, i37) :- a(X, n36).
+a(X, j37) :- a(X, n36).
+a(X, n38) :- a(X, n37).
+a(X, i38) :- a(X, n37).
+a(X, j38) :- a(X, n37).
+a(X, n39) :- a(X, n38).
+a(X, i39) :- a(X, n38).
+a(X, j39) :- a(X, n38).
+a(X, n40) :- a(X, n39).
+a(X, i40) :- a(X, n39).
+a(X, j40) :- a(X, n39).
+a(X, n41) :- a(X, n40).
+a(X, i41) :- a(X, n40).
+a(X, j41) :- a(X, n40).
+a(X, n42) :- a(X, n41).
+a(X, i42) :- a(X, n41).
+a(X, j42) :- a(X, n41).
+a(X, n43) :- a(X, n42).
+a(X, i43) :- a(X, n42).
+a(X, j43) :- a(X, n42).
+a(X, n44) :- a(X, n43).
+a(X, i44) :- a(X, n43).
+a(X, j44) :- a(X, n43).
+a(X, n45) :- a(X, n44).
+a(X, i45) :- a(X, n44).
+a(X, j45) :- a(X, n44).
+a(X, n46) :- a(X, n45).
+a(X, i46) :- a(X, n45).
+a(X, j46) :- a(X, n45).
+a(X, n47) :- a(X, n46).
+a(X, i47) :- a(X, n46).
+a(X, j47) :- a(X, n46).
+a(X, n48) :- a(X, n47).
+a(X, i48) :- a(X, n47).
+a(X, j48) :- a(X, n47).
+a(X, n49) :- a(X, n48).
+a(X, i49) :- a(X, n48).
+a(X, j49) :- a(X, n48).
+a(X, n50) :- a(X, n49).
+a(X, i50) :- a(X, n49).
+a(X, j50) :- a(X, n49).
+a(X, n51) :- a(X, n50).
+a(X, i51) :- a(X, n50).
+a(X, j51) :- a(X, n50).
+a(X, n52) :- a(X, n51).
+a(X, i52) :- a(X, n51).
+a(X, j52) :- a(X, n51).
+a(X, n53) :- a(X, n52).
+a(X, i53) :- a(X, n52).
+a(X, j53) :- a(X, n52).
+a(X, n54) :- a(X, n53).
+a(X, i54) :- a(X, n53).
+a(X, j54) :- a(X, n53).
+a(X, n55) :- a(X, n54).
+a(X, i55) :- a(X, n54).
+a(X, j55) :- a(X, n54).
+a(X, n56) :- a(X, n55).
+a(X, i56) :- a(X, n55).
+a(X, j56) :- a(X, n55).
+a(X, n57) :- a(X, n56).
+a(X, i57) :- a(X, n56).
+a(X, j57) :- a(X, n56).
+a(X, n58) :- a(X, n57).
+a(X, i58) :- a(X, n57).
+a(X, j58) :- a(X, n57).
+a(X, n59) :- a(X, n58).
+a(X, i59) :- a(X, n58).
+a(X, j59) :- a(X, n58).
+a(X, n60) :- a(X, n59).
+a(X, i60) :- a(X, n59).
+a(X, j60) :- a(X, n59).
+a(X, n61) :- a(X, n60).
+a(X, i61) :- a(X, n60).
+a(X, j61) :- a(X, n60).
+a(X, n62) :- a(X, n61).
+a(X, i62) :- a(X, n61).
+a(X, j62) :- a(X, n61).
+a(X, n63) :- a(X, n62).
+a(X, i63) :- a(X, n62).
+a(X, j63) :- a(X, n62).
+a(X, n64) :- a(X, n63).
+a(X, i64) :- a(X, n63).
+a(X, j64) :- a(X, n63).
+a(X, n65) :- a(X, n64).
+a(X, i65) :- a(X, n64).
+a(X, j65) :- a(X, n64).
+a(X, n66) :- a(X, n65).
+a(X, i66) :- a(X, n65).
+a(X, j66) :- a(X, n65).
+a(X, n67) :- a(X, n66).
+a(X, i67) :- a(X, n66).
+a(X, j67) :- a(X, n66).
+a(X, n68) :- a(X, n67).
+a(X, i68) :- a(X, n67).
+a(X, j68) :- a(X, n67).
+a(X, n69) :- a(X, n68).
+a(X, i69) :- a(X, n68).
+a(X, j69) :- a(X, n68).
+a(X, n70) :- a(X, n69).
+a(X, i70) :- a(X, n69).
+a(X, j70) :- a(X, n69).
+a(X, n71) :- a(X, n70).
+a(X, i71) :- a(X, n70).
+a(X, j71) :- a(X, n70).
+a(X, n72) :- a(X, n71).
+a(X, i72) :- a(X, n71).
+a(X, j72) :- a(X, n71).
+a(X, n73) :- a(X, n72).
+a(X, i73) :- a(X, n72).
+a(X, j73) :- a(X, n72).
+a(X, n74) :- a(X, n73).
+a(X, i74) :- a(X, n73).
+a(X, j74) :- a(X, n73).
+a(X, n75) :- a(X, n74).
+a(X, i75) :- a(X, n74).
+a(X, j75) :- a(X, n74).
+a(X, n76) :- a(X, n75).
+a(X, i76) :- a(X, n75).
+a(X, j76) :- a(X, n75).
+a(X, n77) :- a(X, n76).
+a(X, i77) :- a(X, n76).
+a(X, j77) :- a(X, n76).
+a(X, n78) :- a(X, n77).
+a(X, i78) :- a(X, n77).
+a(X, j78) :- a(X, n77).
+a(X, n79) :- a(X, n78).
+a(X, i79) :- a(X, n78).
+a(X, j79) :- a(X, n78).
+a(X, n80) :- a(X, n79).
+a(X, i80) :- a(X, n79).
+a(X, j80) :- a(X, n79).
+a(X, n81) :- a(X, n80).
+a(X, i81) :- a(X, n80).
+a(X, j81) :- a(X, n80).
+a(X, n82) :- a(X, n81).
+a(X, i82) :- a(X, n81).
+a(X, j82) :- a(X, n81).
+a(X, n83) :- a(X, n82).
+a(X, i83) :- a(X, n82).
+a(X, j83) :- a(X, n82).
+a(X, n84) :- a(X, n83).
+a(X, i84) :- a(X, n83).
+a(X, j84) :- a(X, n83).
+a(X, n85) :- a(X, n84).
+a(X, i85) :- a(X, n84).
+a(X, j85) :- a(X, n84).
+a(X, n86) :- a(X, n85).
+a(X, i86) :- a(X, n85).
+a(X, j86) :- a(X, n85).
+a(X, n87) :- a(X, n86).
+a(X, i87) :- a(X, n86).
+a(X, j87) :- a(X, n86).
+a(X, n88) :- a(X, n87).
+a(X, i88) :- a(X, n87).
+a(X, j88) :- a(X, n87).
+a(X, n89) :- a(X, n88).
+a(X, i89) :- a(X, n88).
+a(X, j89) :- a(X, n88).
+a(X, n90) :- a(X, n89).
+a(X, i90) :- a(X, n89).
+a(X, j90) :- a(X, n89).
+a(X, n91) :- a(X, n90).
+a(X, i91) :- a(X, n90).
+a(X, j91) :- a(X, n90).
+a(X, n92) :- a(X, n91).
+a(X, i92) :- a(X, n91).
+a(X, j92) :- a(X, n91).
+a(X, n93) :- a(X, n92).
+a(X, i93) :- a(X, n92).
+a(X, j93) :- a(X, n92).
+a(X, n94) :- a(X, n93).
+a(X, i94) :- a(X, n93).
+a(X, j94) :- a(X, n93).
+a(X, n95) :- a(X, n94).
+a(X, i95) :- a(X, n94).
+a(X, j95) :- a(X, n94).
+a(X, n96) :- a(X, n95).
+a(X, i96) :- a(X, n95).
+a(X, j96) :- a(X, n95).
+a(X, n97) :- a(X, n96).
+a(X, i97) :- a(X, n96).
+a(X, j97) :- a(X, n96).
+a(X, n98) :- a(X, n97).
+a(X, i98) :- a(X, n97).
+a(X, j98) :- a(X, n97).
+a(X, n99) :- a(X, n98).
+a(X, i99) :- a(X, n98).
+a(X, j99) :- a(X, n98).
+a(X, n100) :- a(X, n99).
+a(X, i100) :- a(X, n99).
+a(X, j100) :- a(X, n99).
+% ARC checks
+arc(check1, "C1 OK - the starting classification n0 is present.") :-
+ once(a(ind, n0)).
+arc(check2, "C2 OK - the first expansion produced n1 together with side labels i1 and j1.") :-
+ once(a(ind, n1)),
+ once(a(ind, i1)),
+ once(a(ind, j1)).
+arc(check3, "C3 OK - the chain reaches the midpoint n50 and still carries both side-label branches.") :-
+ once(a(ind, n50)),
+ once(a(ind, i50)),
+ once(a(ind, j50)).
+arc(check4, "C4 OK - the final taxonomy step from n99 to n100 was completed.") :-
+ once(a(ind, n99)),
+ once(a(ind, n100)).
+arc(check5, "C5 OK - once n100 is reached, the terminal class a2 is derived.") :-
+ once(a(ind, n100)),
+ once(a(ind, a2)).
+arc(check6, "C6 OK - the success flag is raised only after the terminal class a2 is present.") :-
+ once(a(ind, a2)),
+ once(is(test, true)).
+% ARC report
+answer(report, "The test succeeds: starting from one individual classified as n0, the rules eventually classify it as n100 and then as a2.") :-
+ once(is(test, true)).
+reason(report, "The adjacent rules mirror the Eyeling N3 deep-taxonomy-100 chain. Redundant checkpoint rules are included only as proof accelerators: each shortcut is entailed by the adjacent chain, and once/1 prevents backtracking into the long adjacent-only proof after a check has succeeded.") :-
+ once(a(ind, a2)),
+ once(is(test, true)).
+checkPassed(report, Check) :-
+ arc(Check, _Message).
+result(report, success) :-
+ once(is(test, true)),
+ once(arc(check1, _C1)),
+ once(arc(check2, _C2)),
+ once(arc(check3, _C3)),
+ once(arc(check4, _C4)),
+ once(arc(check5, _C5)),
+ once(arc(check6, _C6)).