eyeling 1.5.12 → 1.5.13

package/examples/cat-koko.n3

@@ -0,0 +1,29 @@
+# --------
+# Cat Koko
+#---------
+#
+# Example from Patrick Hochstenbach
+
+@prefix : <https://eyereasoner.github.io/ns#>.
+@prefix log: <http://www.w3.org/2000/10/swap/log#>.
+
+:Koko a :Animal.
+
+{
+    :Koko a :Animal 
+} 
+=> 
+{
+    { :Koko a :Animal } => { _:x a :Cat } .
+    { :Koko a :Animal } => { _:x a :BritishShortHair } .
+}.
+
+{
+    ?X a :Cat .
+    ?Y a :BritishShortHair .
+    ?X log:notEqualTo ?Y.
+}
+=>
+{
+    :test :is true .
+}.

package/examples/collect-all-in.n3

@@ -0,0 +1,32 @@
+# ------------------------
+# log:collectAllIn example
+# ------------------------
+
+@prefix : <http://example.org/>.
+@prefix log: <http://www.w3.org/2000/10/swap/log#> .
+@prefix string: <http://www.w3.org/2000/10/swap/string#> .
+
+:Let :param "Huey" .
+:Let :param "Dewey" .
+:Let :param "Louie" .
+
+{
+    ( ?param { :Let :param ?param } ?allParams ) log:collectAllIn _:x .
+
+    # Variable to be collected can also be part of a list or graph term
+    ( (?param) { :Let :param ?param } ?nestedParams ) log:collectAllIn _:x .
+
+    # Add some extra criteria on variable values to be collected
+    ( ?param
+        { 
+            :Let :param ?param .
+            ?param string:lessThan "Louie"  .
+        } 
+      ?filteredParams ) log:collectAllIn _:x .
+}
+=> 
+{   
+    :result1 :is ?allParams .
+    :result2 :is ?nestedParams .
+    :result3 :is ?filteredParams .
+} .

package/examples/complex.n3

@@ -0,0 +1,142 @@
+# ---------------
+# Complex numbers
+# ---------------
+#
+# See https://en.wikipedia.org/wiki/Complex_number
+
+@prefix math: <http://www.w3.org/2000/10/swap/math#>.
+@prefix log: <http://www.w3.org/2000/10/swap/log#>.
+@prefix complex: <https://eyereasoner.github.io/eye/complex#>.
+@prefix : <http://example.org/#>.
+
+{
+    ((?A ?B) (?C ?D)) complex:exponentiation (?E ?F).
+} <= {
+    (?A ?B) complex:polar (?R ?T).
+    (?R ?C) math:exponentiation ?Z1.
+    ?D math:negation ?Z2.
+    (?Z2 ?T) math:product ?Z3.
+    (2.718281828459045 ?Z3) math:exponentiation ?Z4.
+    (2.718281828459045 ?Z5) math:exponentiation ?R.
+    (?D ?Z5) math:product ?Z6.
+    (?C ?T) math:product ?Z7.
+    (?Z6 ?Z7) math:sum ?Z8.
+    ?Z8 math:cos ?Z9.
+    (?Z1 ?Z4 ?Z9) math:product ?E.
+    ?Z8 math:sin ?Z10.
+    (?Z1 ?Z4 ?Z10) math:product ?F.
+}.
+
+{
+    (?A ?B) complex:asin (?C ?D).
+} <= {
+    (1 ?A) math:sum ?Z1.
+    (?Z1 2) math:exponentiation ?Z2.
+    (?B 2) math:exponentiation ?Z3.
+    (?Z2 ?Z3) math:sum ?Z4.
+    (?Z4 0.5) math:exponentiation ?Z5.
+    (1 ?A) math:difference ?Z6.
+    (?Z6 2) math:exponentiation ?Z7.
+    (?Z7 ?Z3) math:sum ?Z8.
+    (?Z8 0.5) math:exponentiation ?Z9.
+    (?Z5 ?Z9) math:difference ?Z10.
+    (?Z10 2) math:quotient ?E.
+    (?Z5 ?Z9) math:sum ?Z11.
+    (?Z11 2) math:quotient ?F.
+    ?E math:asin ?C.
+    (?F 2) math:exponentiation ?Z12.
+    (?Z12 1) math:difference ?Z13.
+    (?Z13 0.5) math:exponentiation ?Z14.
+    (?F ?Z14) math:sum ?Z15.
+    (2.718281828459045 ?D) math:exponentiation ?Z15.
+}.
+
+{
+    (?A ?B) complex:acos (?C ?D).
+} <= {
+    (1 ?A) math:sum ?Z1.
+    (?Z1 2) math:exponentiation ?Z2.
+    (?B 2) math:exponentiation ?Z3.
+    (?Z2 ?Z3) math:sum ?Z4.
+    (?Z4 0.5) math:exponentiation ?Z5.
+    (1 ?A) math:difference ?Z6.
+    (?Z6 2) math:exponentiation ?Z7.
+    (?Z7 ?Z3) math:sum ?Z8.
+    (?Z8 0.5) math:exponentiation ?Z9.
+    (?Z5 ?Z9) math:difference ?Z10.
+    (?Z10 2) math:quotient ?E.
+    (?Z5 ?Z9) math:sum ?Z11.
+    (?Z11 2) math:quotient ?F.
+    ?E math:acos ?C.
+    (?F 2) math:exponentiation ?Z12.
+    (?Z12 1) math:difference ?Z13.
+    (?Z13 0.5) math:exponentiation ?Z14.
+    (?F ?Z14) math:sum ?Z15.
+    (2.718281828459045 ?U) math:exponentiation ?Z15.
+    ?U math:negation ?D.
+}.
+
+{
+    (?X ?Y) complex:polar(?R ?Tp).
+} <= {
+    (?X 2) math:exponentiation ?Z1.
+    (?Y 2) math:exponentiation ?Z2.
+    (?Z1 ?Z2) math:sum ?Z3.
+    (?Z3 0.5) math:exponentiation ?R.
+    ?X math:absoluteValue ?Z4.
+    (?Z4 ?R) math:quotient ?Z5.
+    ?Z5 math:acos ?T.
+    (?X ?Y ?T) complex:dial ?Tp.
+}.
+
+{
+    (?X ?Y ?T) complex:dial ?Tp.
+} <= {
+    ?X math:notLessThan 0.
+    ?Y math:notLessThan 0.
+    (0 ?T) math:sum ?Tp.
+}.
+
+{
+    (?X ?Y ?T) complex:dial ?Tp.
+} <= {
+    ?X math:lessThan 0.
+    ?Y math:notLessThan 0.
+    (3.141592653589793 ?T) math:difference ?Tp.
+}.
+
+{
+    (?X ?Y ?T) complex:dial ?Tp.
+} <= {
+    ?X math:lessThan 0.
+    ?Y math:lessThan 0.
+    (3.141592653589793 ?T) math:sum ?Tp.
+}.
+
+{
+    (?X ?Y ?T) complex:dial ?Tp.
+} <= {
+    ?X math:notLessThan 0.
+    ?Y math:lessThan 0.
+    (3.141592653589793 2) math:product ?Z1.
+    (?Z1 ?T) math:difference ?Tp.
+}.
+
+# test
+{
+    ((-1 0) (0.5 0)) complex:exponentiation ?C1.
+    ((2.718281828459045 0) (0 3.141592653589793)) complex:exponentiation ?C2.
+    ((0 1) (0 1)) complex:exponentiation ?C3.
+    ((2.718281828459045 0) (-1.57079632679 0)) complex:exponentiation ?C4.
+    (2 0) complex:asin ?C5.
+    (2 0) complex:acos ?C6.
+} => {
+    :test :is {
+        ((-1 0) (0.5 0)) complex:exponentiation ?C1.
+        ((2.718281828459045 0) (0 3.141592653589793)) complex:exponentiation ?C2.
+        ((0 1) (0 1)) complex:exponentiation ?C3.
+        ((2.718281828459045 0) (-1.57079632679 0)) complex:exponentiation ?C4.
+        (2 0) complex:asin ?C5.
+        (2 0) complex:acos ?C6.
+    }.
+}.

package/examples/control-system.n3

@@ -0,0 +1,77 @@
+# --------------
+# Control System
+# --------------
+
+@prefix math: <http://www.w3.org/2000/10/swap/math#>.
+@prefix : <https://eyereasoner.github.io/eye/reasoning/cs#>.
+
+# input
+:input1 :measurement1 (6 11).
+:input2 :measurement2 true.
+:input3 :measurement3 56967.
+
+# disturbance
+:disturbance1 :measurement3 35766.
+:disturbance2 :measurement1 (45 39).
+
+# state
+:state1 :observation1 80.
+:state2 :observation2 false.
+:state3 :observation3 22.
+
+# output
+:output2 :measurement4 24.
+:output2 :target2 29.
+
+# forward rules
+{
+    :input1 :measurement10 ?M1.
+    :input2 :measurement2 true.
+    :disturbance1 :measurement3 ?D1.
+    (?M1 19.6) math:product ?C1.        # proportial part
+    (10 ?C2) math:exponentiation ?D1.   # compensation part
+    (?C1 ?C2) math:difference ?C.       # simple feedforward control
+}
+=>
+{
+    :actuator1 :control1 ?C.
+}.
+
+{
+    :input3 :measurement3 ?M3.
+    :state3 :observation3 ?P3.
+    :output2 :measurement4 ?M4.
+    :output2 :target2 ?T2.
+    (?T2 ?M4) math:difference ?E.       # error
+    (?P3 ?M4) math:difference ?D.       # differential error
+    (5.8 ?E) math:product ?C1.          # proportial part
+    (7.3 ?E) math:quotient ?N.          # nonlinear factor
+    (?N ?D) math:product ?C2.           # nonlinear differential part
+    (?C1 ?C2) math:sum ?C.              # PND feedback control
+}
+=>
+{
+    :actuator2 :control1 ?C.
+}.
+
+# backward rules
+{
+    ?I :measurement10 ?M.
+}
+<=
+{
+    ?I :measurement1 (?M1 ?M2).
+    ?M1 math:lessThan ?M2.
+    (?M2 ?M1) math:difference ?M3.
+    (?M3 0.5) math:exponentiation ?M.
+}.
+
+{
+    ?I :measurement10 ?M1.
+}
+<=
+{
+    ?I :measurement1 (?M1 ?M2).
+    ?M1 math:notLessThan ?M2.
+}.
+

package/examples/crypto-builtins-tests.n3

@@ -0,0 +1,60 @@
+# ---------------------
+# crypto builtins tests
+# ---------------------
+
+@prefix :       <https://eyereasoner.github.io/ns#> .
+@prefix crypto: <http://www.w3.org/2000/10/swap/crypto#> .
+
+# ============================================================
+# 4.1 crypto: builtins
+#   plus EYE-style md5 / sha256 / sha512
+# ============================================================
+
+# 4.1.1 crypto:sha (SHA-1)
+# "hello world" → 2aae6c35c94fcfb415dbe95f408b9ce91ee846ed
+{
+    "hello world" crypto:sha
+        "2aae6c35c94fcfb415dbe95f408b9ce91ee846ed" .
+}
+=>
+{
+    :ok_crypto_sha_1 a :Pass .
+} .
+
+# Extra: crypto:md5
+# "hello world" → 5eb63bbbe01eeed093cb22bb8f5acdc3
+{
+    "hello world" crypto:md5
+        "5eb63bbbe01eeed093cb22bb8f5acdc3" .
+}
+=>
+{
+    :ok_crypto_md5_1 a :Pass .
+} .
+
+# Extra: crypto:sha256
+# "hello world" → b94d27b9934d3e08a52e52d7da7dabfac484efe37a5380ee9088f7ace2efcde9
+{
+    "hello world" crypto:sha256
+        "b94d27b9934d3e08a52e52d7da7dabfac484efe37a5380ee9088f7ace2efcde9" .
+}
+=>
+{
+    :ok_crypto_sha256_1 a :Pass .
+} .
+
+# Extra: crypto:sha512
+# "hello world" →
+#  309ecc489c12d6eb4cc40f50c902f2b4
+#  d0ed77ee511a7c7a9bcd3ca86d4cd86f
+#  989dd35bc5ff499670da34255b45b0cf
+#  d830e81f605dcf7dc5542e93ae9cd76f
+{
+    "hello world" crypto:sha512
+        "309ecc489c12d6eb4cc40f50c902f2b4d0ed77ee511a7c7a9bcd3ca86d4cd86f989dd35bc5ff499670da34255b45b0cfd830e81f605dcf7dc5542e93ae9cd76f" .
+}
+=>
+{
+    :ok_crypto_sha512_1 a :Pass .
+} .
+

package/examples/deep-taxonomy-10.n3

@@ -0,0 +1,21 @@
+@prefix : <http://eulersharp.sourceforge.net/2009/12dtb/test#>.
+
+# fact
+:ind a :N0.
+
+# rules
+
+{:ind a :A2} => {:test :is true}.
+
+{?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}.

package/examples/deep-taxonomy-100.n3

@@ -0,0 +1,111 @@
+@prefix : <http://eulersharp.sourceforge.net/2009/12dtb/test#>.
+
+# fact
+:ind a :N0.
+
+# rules
+
+{:ind a :A2} => {:test :is true}.
+
+{?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 :N11, :I11, :J11}.
+{?X a :N11} => {?X a :N12, :I12, :J12}.
+{?X a :N12} => {?X a :N13, :I13, :J13}.
+{?X a :N13} => {?X a :N14, :I14, :J14}.
+{?X a :N14} => {?X a :N15, :I15, :J15}.
+{?X a :N15} => {?X a :N16, :I16, :J16}.
+{?X a :N16} => {?X a :N17, :I17, :J17}.
+{?X a :N17} => {?X a :N18, :I18, :J18}.
+{?X a :N18} => {?X a :N19, :I19, :J19}.
+{?X a :N19} => {?X a :N20, :I20, :J20}.
+{?X a :N20} => {?X a :N21, :I21, :J21}.
+{?X a :N21} => {?X a :N22, :I22, :J22}.
+{?X a :N22} => {?X a :N23, :I23, :J23}.
+{?X a :N23} => {?X a :N24, :I24, :J24}.
+{?X a :N24} => {?X a :N25, :I25, :J25}.
+{?X a :N25} => {?X a :N26, :I26, :J26}.
+{?X a :N26} => {?X a :N27, :I27, :J27}.
+{?X a :N27} => {?X a :N28, :I28, :J28}.
+{?X a :N28} => {?X a :N29, :I29, :J29}.
+{?X a :N29} => {?X a :N30, :I30, :J30}.
+{?X a :N30} => {?X a :N31, :I31, :J31}.
+{?X a :N31} => {?X a :N32, :I32, :J32}.
+{?X a :N32} => {?X a :N33, :I33, :J33}.
+{?X a :N33} => {?X a :N34, :I34, :J34}.
+{?X a :N34} => {?X a :N35, :I35, :J35}.
+{?X a :N35} => {?X a :N36, :I36, :J36}.
+{?X a :N36} => {?X a :N37, :I37, :J37}.
+{?X a :N37} => {?X a :N38, :I38, :J38}.
+{?X a :N38} => {?X a :N39, :I39, :J39}.
+{?X a :N39} => {?X a :N40, :I40, :J40}.
+{?X a :N40} => {?X a :N41, :I41, :J41}.
+{?X a :N41} => {?X a :N42, :I42, :J42}.
+{?X a :N42} => {?X a :N43, :I43, :J43}.
+{?X a :N43} => {?X a :N44, :I44, :J44}.
+{?X a :N44} => {?X a :N45, :I45, :J45}.
+{?X a :N45} => {?X a :N46, :I46, :J46}.
+{?X a :N46} => {?X a :N47, :I47, :J47}.
+{?X a :N47} => {?X a :N48, :I48, :J48}.
+{?X a :N48} => {?X a :N49, :I49, :J49}.
+{?X a :N49} => {?X a :N50, :I50, :J50}.
+{?X a :N50} => {?X a :N51, :I51, :J51}.
+{?X a :N51} => {?X a :N52, :I52, :J52}.
+{?X a :N52} => {?X a :N53, :I53, :J53}.
+{?X a :N53} => {?X a :N54, :I54, :J54}.
+{?X a :N54} => {?X a :N55, :I55, :J55}.
+{?X a :N55} => {?X a :N56, :I56, :J56}.
+{?X a :N56} => {?X a :N57, :I57, :J57}.
+{?X a :N57} => {?X a :N58, :I58, :J58}.
+{?X a :N58} => {?X a :N59, :I59, :J59}.
+{?X a :N59} => {?X a :N60, :I60, :J60}.
+{?X a :N60} => {?X a :N61, :I61, :J61}.
+{?X a :N61} => {?X a :N62, :I62, :J62}.
+{?X a :N62} => {?X a :N63, :I63, :J63}.
+{?X a :N63} => {?X a :N64, :I64, :J64}.
+{?X a :N64} => {?X a :N65, :I65, :J65}.
+{?X a :N65} => {?X a :N66, :I66, :J66}.
+{?X a :N66} => {?X a :N67, :I67, :J67}.
+{?X a :N67} => {?X a :N68, :I68, :J68}.
+{?X a :N68} => {?X a :N69, :I69, :J69}.
+{?X a :N69} => {?X a :N70, :I70, :J70}.
+{?X a :N70} => {?X a :N71, :I71, :J71}.
+{?X a :N71} => {?X a :N72, :I72, :J72}.
+{?X a :N72} => {?X a :N73, :I73, :J73}.
+{?X a :N73} => {?X a :N74, :I74, :J74}.
+{?X a :N74} => {?X a :N75, :I75, :J75}.
+{?X a :N75} => {?X a :N76, :I76, :J76}.
+{?X a :N76} => {?X a :N77, :I77, :J77}.
+{?X a :N77} => {?X a :N78, :I78, :J78}.
+{?X a :N78} => {?X a :N79, :I79, :J79}.
+{?X a :N79} => {?X a :N80, :I80, :J80}.
+{?X a :N80} => {?X a :N81, :I81, :J81}.
+{?X a :N81} => {?X a :N82, :I82, :J82}.
+{?X a :N82} => {?X a :N83, :I83, :J83}.
+{?X a :N83} => {?X a :N84, :I84, :J84}.
+{?X a :N84} => {?X a :N85, :I85, :J85}.
+{?X a :N85} => {?X a :N86, :I86, :J86}.
+{?X a :N86} => {?X a :N87, :I87, :J87}.
+{?X a :N87} => {?X a :N88, :I88, :J88}.
+{?X a :N88} => {?X a :N89, :I89, :J89}.
+{?X a :N89} => {?X a :N90, :I90, :J90}.
+{?X a :N90} => {?X a :N91, :I91, :J91}.
+{?X a :N91} => {?X a :N92, :I92, :J92}.
+{?X a :N92} => {?X a :N93, :I93, :J93}.
+{?X a :N93} => {?X a :N94, :I94, :J94}.
+{?X a :N94} => {?X a :N95, :I95, :J95}.
+{?X a :N95} => {?X a :N96, :I96, :J96}.
+{?X a :N96} => {?X a :N97, :I97, :J97}.
+{?X a :N97} => {?X a :N98, :I98, :J98}.
+{?X a :N98} => {?X a :N99, :I99, :J99}.
+{?X a :N99} => {?X a :N100, :I100, :J100}.
+
+{?X a :N100} => {?X a :A2}.