eyeling 1.33.1 → 1.33.3

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 (144) hide show
  1. package/README.md +8 -0
  2. package/bin/eyeling.cjs +1 -1
  3. package/dist/browser/eyeling.browser.js +1 -1
  4. package/examples/eyelang/INTEGRATION.md +7 -0
  5. package/examples/eyelang/README.md +15 -76
  6. package/examples/eyelang/SPEC.md +1 -2
  7. package/examples/eyelang/output/vulnerability-impact.pl +20 -0
  8. package/examples/eyelang/vulnerability-impact.pl +70 -0
  9. package/examples/output/vulnerability-impact.n3 +22 -0
  10. package/examples/vulnerability-impact.n3 +80 -0
  11. package/eyelang.d.ts +0 -12
  12. package/eyeling.js +1 -1
  13. package/index.d.ts +0 -4
  14. package/index.js +2 -6
  15. package/lib/cli.js +1 -1
  16. package/lib/eyelang/bin.js +1 -1
  17. package/lib/eyelang/builtins/{aggregation.mjs → aggregation.js} +1 -1
  18. package/lib/eyelang/builtins/{alphametic.mjs → alphametic.js} +1 -1
  19. package/lib/eyelang/builtins/{arithmetic.mjs → arithmetic.js} +1 -1
  20. package/lib/eyelang/builtins/{core.mjs → core.js} +1 -1
  21. package/lib/eyelang/builtins/{formula.mjs → formula.js} +1 -1
  22. package/lib/eyelang/builtins/{lists.mjs → lists.js} +1 -1
  23. package/lib/eyelang/builtins/{matrix.mjs → matrix.js} +1 -1
  24. package/lib/eyelang/builtins/{number-theory.mjs → number-theory.js} +1 -1
  25. package/lib/eyelang/builtins/{portfolio.mjs → portfolio.js} +1 -1
  26. package/lib/eyelang/builtins/{registry.mjs → registry.js} +14 -15
  27. package/lib/eyelang/builtins/{search.mjs → search.js} +5 -5
  28. package/lib/eyelang/builtins/{strings.mjs → strings.js} +1 -1
  29. package/lib/eyelang/builtins/{sudoku.mjs → sudoku.js} +1 -1
  30. package/lib/eyelang/{cli.mjs → cli.js} +6 -18
  31. package/lib/eyelang/{explain.mjs → explain.js} +4 -4
  32. package/lib/eyelang/{hash.mjs → hash.js} +2 -2
  33. package/lib/eyelang/{index.mjs → index.js} +11 -12
  34. package/lib/eyelang/package.json +3 -0
  35. package/lib/eyelang/{parser.mjs → parser.js} +1 -1
  36. package/lib/eyelang/{program.mjs → program.js} +2 -9
  37. package/lib/eyelang/{solver.mjs → solver.js} +4 -4
  38. package/package.json +3 -3
  39. package/test/eyelang/run-conformance.mjs +1 -1
  40. package/test/eyelang/run-examples.mjs +2 -3
  41. package/test/eyelang/run-regression.mjs +4 -65
  42. package/test/eyelang/test-style.mjs +10 -7
  43. package/test/eyelang.test.js +1 -1
  44. package/test/run.js +186 -37
  45. package/examples/eyelang/annotation-rdf12.ttl +0 -12
  46. package/examples/eyelang/directional-language.ttl +0 -9
  47. package/examples/eyelang/eyeling-ackermann.n3 +0 -41
  48. package/examples/eyelang/eyeling-age-threshold.n3 +0 -12
  49. package/examples/eyelang/eyeling-alignment-demo.n3 +0 -11
  50. package/examples/eyelang/eyeling-allen-interval-calculus-small.n3 +0 -13
  51. package/examples/eyelang/eyeling-backward-recursion.n3 +0 -11
  52. package/examples/eyelang/eyeling-backward.n3 +0 -10
  53. package/examples/eyelang/eyeling-basic-monadic-small.n3 +0 -11
  54. package/examples/eyelang/eyeling-bmi.n3 +0 -10
  55. package/examples/eyelang/eyeling-cat-koko.n3 +0 -15
  56. package/examples/eyelang/eyeling-collatz-small.n3 +0 -11
  57. package/examples/eyelang/eyeling-collection.n3 +0 -11
  58. package/examples/eyelang/eyeling-complex-arithmetic.n3 +0 -10
  59. package/examples/eyelang/eyeling-context-association.n3 +0 -11
  60. package/examples/eyelang/eyeling-control-system-small.n3 +0 -11
  61. package/examples/eyelang/eyeling-crypto-builtins-extra.n3 +0 -10
  62. package/examples/eyelang/eyeling-crypto-builtins.n3 +0 -8
  63. package/examples/eyelang/eyeling-deep-taxonomy-10.n3 +0 -18
  64. package/examples/eyelang/eyeling-derived-backward-rule-flat.n3 +0 -10
  65. package/examples/eyelang/eyeling-derived-rule-flat.n3 +0 -9
  66. package/examples/eyelang/eyeling-digital-product-passport-small.n3 +0 -11
  67. package/examples/eyelang/eyeling-dijkstra-tiny.n3 +0 -14
  68. package/examples/eyelang/eyeling-dog-license.n3 +0 -13
  69. package/examples/eyelang/eyeling-drone-corridor-planner-small.n3 +0 -13
  70. package/examples/eyelang/eyeling-equals.n3 +0 -8
  71. package/examples/eyelang/eyeling-equivalence-classes.n3 +0 -11
  72. package/examples/eyelang/eyeling-euler-identity.n3 +0 -9
  73. package/examples/eyelang/eyeling-existential-rule.n3 +0 -9
  74. package/examples/eyelang/eyeling-expression-eval.n3 +0 -11
  75. package/examples/eyelang/eyeling-family-cousins-extended.n3 +0 -12
  76. package/examples/eyelang/eyeling-fastpow.n3 +0 -10
  77. package/examples/eyelang/eyeling-fibonacci.n3 +0 -44
  78. package/examples/eyelang/eyeling-french-cities-reachability.n3 +0 -22
  79. package/examples/eyelang/eyeling-goldbach-small.n3 +0 -22
  80. package/examples/eyelang/eyeling-good-cobbler.n3 +0 -9
  81. package/examples/eyelang/eyeling-list-builtins.n3 +0 -10
  82. package/examples/eyelang/eyeling-list-collection-extra.n3 +0 -9
  83. package/examples/eyelang/eyeling-math-builtins.n3 +0 -9
  84. package/examples/eyelang/eyeling-string-builtins-extra.n3 +0 -9
  85. package/examples/eyelang/eyeling-string-builtins.n3 +0 -10
  86. package/examples/eyelang/eyeling-time-builtins.n3 +0 -11
  87. package/examples/eyelang/eyeling-time-components-extra.n3 +0 -10
  88. package/examples/eyelang/eyeling-witch.n3 +0 -10
  89. package/examples/eyelang/family-cousins.n3 +0 -17
  90. package/examples/eyelang/n3-builtins.n3 +0 -28
  91. package/examples/eyelang/output/annotation-rdf12.ttl +0 -1
  92. package/examples/eyelang/output/directional-language.ttl +0 -1
  93. package/examples/eyelang/output/eyeling-ackermann.n3 +0 -12
  94. package/examples/eyelang/output/eyeling-age-threshold.n3 +0 -4
  95. package/examples/eyelang/output/eyeling-alignment-demo.n3 +0 -1
  96. package/examples/eyelang/output/eyeling-allen-interval-calculus-small.n3 +0 -3
  97. package/examples/eyelang/output/eyeling-backward-recursion.n3 +0 -9
  98. package/examples/eyelang/output/eyeling-backward.n3 +0 -1
  99. package/examples/eyelang/output/eyeling-basic-monadic-small.n3 +0 -8
  100. package/examples/eyelang/output/eyeling-bmi.n3 +0 -2
  101. package/examples/eyelang/output/eyeling-cat-koko.n3 +0 -3
  102. package/examples/eyelang/output/eyeling-collatz-small.n3 +0 -3
  103. package/examples/eyelang/output/eyeling-collection.n3 +0 -1
  104. package/examples/eyelang/output/eyeling-complex-arithmetic.n3 +0 -5
  105. package/examples/eyelang/output/eyeling-context-association.n3 +0 -4
  106. package/examples/eyelang/output/eyeling-control-system-small.n3 +0 -4
  107. package/examples/eyelang/output/eyeling-crypto-builtins-extra.n3 +0 -3
  108. package/examples/eyelang/output/eyeling-crypto-builtins.n3 +0 -2
  109. package/examples/eyelang/output/eyeling-deep-taxonomy-10.n3 +0 -32
  110. package/examples/eyelang/output/eyeling-derived-backward-rule-flat.n3 +0 -4
  111. package/examples/eyelang/output/eyeling-derived-rule-flat.n3 +0 -2
  112. package/examples/eyelang/output/eyeling-digital-product-passport-small.n3 +0 -3
  113. package/examples/eyelang/output/eyeling-dijkstra-tiny.n3 +0 -9
  114. package/examples/eyelang/output/eyeling-dog-license.n3 +0 -1
  115. package/examples/eyelang/output/eyeling-drone-corridor-planner-small.n3 +0 -5
  116. package/examples/eyelang/output/eyeling-equals.n3 +0 -1
  117. package/examples/eyelang/output/eyeling-equivalence-classes.n3 +0 -2
  118. package/examples/eyelang/output/eyeling-euler-identity.n3 +0 -3
  119. package/examples/eyelang/output/eyeling-existential-rule.n3 +0 -4
  120. package/examples/eyelang/output/eyeling-expression-eval.n3 +0 -3
  121. package/examples/eyelang/output/eyeling-family-cousins-extended.n3 +0 -6
  122. package/examples/eyelang/output/eyeling-fastpow.n3 +0 -4
  123. package/examples/eyelang/output/eyeling-fibonacci.n3 +0 -6
  124. package/examples/eyelang/output/eyeling-french-cities-reachability.n3 +0 -25
  125. package/examples/eyelang/output/eyeling-goldbach-small.n3 +0 -2
  126. package/examples/eyelang/output/eyeling-good-cobbler.n3 +0 -2
  127. package/examples/eyelang/output/eyeling-list-builtins.n3 +0 -6
  128. package/examples/eyelang/output/eyeling-list-collection-extra.n3 +0 -5
  129. package/examples/eyelang/output/eyeling-math-builtins.n3 +0 -5
  130. package/examples/eyelang/output/eyeling-string-builtins-extra.n3 +0 -3
  131. package/examples/eyelang/output/eyeling-string-builtins.n3 +0 -4
  132. package/examples/eyelang/output/eyeling-time-builtins.n3 +0 -4
  133. package/examples/eyelang/output/eyeling-time-components-extra.n3 +0 -5
  134. package/examples/eyelang/output/eyeling-witch.n3 +0 -2
  135. package/examples/eyelang/output/family-cousins.n3 +0 -8
  136. package/examples/eyelang/output/n3-builtins.n3 +0 -6
  137. package/examples/eyelang/output/socrates.n3 +0 -1
  138. package/examples/eyelang/output/triple-term.n3 +0 -2
  139. package/examples/eyelang/socrates.n3 +0 -11
  140. package/examples/eyelang/triple-term.n3 +0 -9
  141. package/lib/eyelang/builtins/n3.mjs +0 -483
  142. package/lib/eyelang/rdf.mjs +0 -747
  143. /package/lib/eyelang/builtins/{control.mjs → control.js} +0 -0
  144. /package/lib/eyelang/{term.mjs → term.js} +0 -0
package/examples/eyelang/output/eyeling-family-cousins-extended.n3 DELETED
@@ -1,6 +0,0 @@
1
- rdf(iri("https://eyereasoner.github.io/ns#bob"), iri("https://eyereasoner.github.io/ns#siblingOf"), iri("https://eyereasoner.github.io/ns#carol")).
2
- rdf(iri("https://eyereasoner.github.io/ns#carol"), iri("https://eyereasoner.github.io/ns#siblingOf"), iri("https://eyereasoner.github.io/ns#bob")).
3
- rdf(iri("https://eyereasoner.github.io/ns#dave"), iri("https://eyereasoner.github.io/ns#cousinOf"), iri("https://eyereasoner.github.io/ns#erin")).
4
- rdf(iri("https://eyereasoner.github.io/ns#erin"), iri("https://eyereasoner.github.io/ns#cousinOf"), iri("https://eyereasoner.github.io/ns#dave")).
5
- rdf(iri("https://eyereasoner.github.io/ns#dave"), iri("https://eyereasoner.github.io/ns#relatedTo"), iri("https://eyereasoner.github.io/ns#erin")).
6
- rdf(iri("https://eyereasoner.github.io/ns#erin"), iri("https://eyereasoner.github.io/ns#relatedTo"), iri("https://eyereasoner.github.io/ns#dave")).
package/examples/eyelang/output/eyeling-fastpow.n3 DELETED
@@ -1,4 +0,0 @@
1
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/fastpow#case1"), iri("https://eyereasoner.github.io/eyeling/examples/fastpow#power"), literal("1024", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")).
2
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/fastpow#case2"), iri("https://eyereasoner.github.io/eyeling/examples/fastpow#power"), literal("2187", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")).
3
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/fastpow#case1"), iri("https://eyereasoner.github.io/eyeling/examples/fastpow#largePower"), literal("true", iri("http://www.w3.org/2001/XMLSchema#boolean"), "", "")).
4
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/fastpow#case2"), iri("https://eyereasoner.github.io/eyeling/examples/fastpow#largePower"), literal("true", iri("http://www.w3.org/2001/XMLSchema#boolean"), "", "")).
package/examples/eyelang/output/eyeling-fibonacci.n3 DELETED
@@ -1,6 +0,0 @@
1
- rdf(literal("0", iri("http://www.w3.org/2001/XMLSchema#integer"), "", ""), iri("https://eyereasoner.github.io/eyeling/examples/fibonacci#fibonacci"), literal("0", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")).
2
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/fibonacci#fibonacci_0"), iri("https://eyereasoner.github.io/eyeling/examples/fibonacci#value"), literal("0", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")).
3
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/fibonacci#fibonacci_1"), iri("https://eyereasoner.github.io/eyeling/examples/fibonacci#value"), literal("1", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")).
4
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/fibonacci#fibonacci_10"), iri("https://eyereasoner.github.io/eyeling/examples/fibonacci#value"), literal("55", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")).
5
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/fibonacci#fibonacci_100"), iri("https://eyereasoner.github.io/eyeling/examples/fibonacci#value"), literal("354224848179261915075", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")).
6
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/fibonacci#fibonacci_1000"), iri("https://eyereasoner.github.io/eyeling/examples/fibonacci#value"), literal("43466557686937456435688527675040625802564660517371780402481729089536555417949051890403879840079255169295922593080322634775209689623239873322471161642996440906533187938298969649928516003704476137795166849228875", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")).
package/examples/eyelang/output/eyeling-french-cities-reachability.n3 DELETED
@@ -1,25 +0,0 @@
1
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/french-cities#paris"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#path"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#orleans")).
2
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/french-cities#paris"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#path"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#chartres")).
3
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/french-cities#paris"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#path"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#amiens")).
4
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/french-cities#orleans"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#path"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#blois")).
5
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/french-cities#orleans"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#path"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#bourges")).
6
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/french-cities#blois"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#path"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#tours")).
7
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/french-cities#chartres"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#path"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#lemans")).
8
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/french-cities#lemans"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#path"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#angers")).
9
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/french-cities#lemans"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#path"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#tours")).
10
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/french-cities#angers"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#path"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#nantes")).
11
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/french-cities#paris"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#path"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#blois")).
12
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/french-cities#paris"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#path"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#bourges")).
13
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/french-cities#paris"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#path"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#lemans")).
14
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/french-cities#orleans"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#path"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#tours")).
15
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/french-cities#chartres"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#path"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#angers")).
16
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/french-cities#chartres"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#path"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#tours")).
17
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/french-cities#lemans"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#path"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#nantes")).
18
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/french-cities#angers"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#canReach"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#nantes")).
19
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/french-cities#paris"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#canReach"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#nantes")).
20
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/french-cities#chartres"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#canReach"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#nantes")).
21
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/french-cities#lemans"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#canReach"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#nantes")).
22
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/french-cities#report"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#reachableCity"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#paris")).
23
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/french-cities#report"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#reachableCity"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#chartres")).
24
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/french-cities#report"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#reachableCity"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#lemans")).
25
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/french-cities#report"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#reachableCity"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#angers")).
package/examples/eyelang/output/eyeling-goldbach-small.n3 DELETED
@@ -1,2 +0,0 @@
1
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/goldbach#twelve"), iri("https://eyereasoner.github.io/eyeling/examples/goldbach#goldbachWitness"), [iri("https://eyereasoner.github.io/eyeling/examples/goldbach#five"), iri("https://eyereasoner.github.io/eyeling/examples/goldbach#seven")]).
2
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/goldbach#eighteen"), iri("https://eyereasoner.github.io/eyeling/examples/goldbach#goldbachWitness"), [iri("https://eyereasoner.github.io/eyeling/examples/goldbach#seven"), iri("https://eyereasoner.github.io/eyeling/examples/goldbach#eleven")]).
package/examples/eyelang/output/eyeling-good-cobbler.n3 DELETED
@@ -1,2 +0,0 @@
1
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/good-cobbler#joe"), iri("https://eyereasoner.github.io/eyeling/examples/good-cobbler#goodAt"), iri("https://eyereasoner.github.io/eyeling/examples/good-cobbler#Cobbler")).
2
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/good-cobbler#test"), iri("https://eyereasoner.github.io/eyeling/examples/good-cobbler#hasGoodWorker"), iri("https://eyereasoner.github.io/eyeling/examples/good-cobbler#joe")).
package/examples/eyelang/output/eyeling-list-builtins.n3 DELETED
@@ -1,6 +0,0 @@
1
- rdf(iri("https://eyereasoner.github.io/ns#demo"), iri("https://eyereasoner.github.io/ns#firstNumber"), literal("3", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")).
2
- rdf(iri("https://eyereasoner.github.io/ns#demo"), iri("https://eyereasoner.github.io/ns#restNumbers"), [literal("1", iri("http://www.w3.org/2001/XMLSchema#integer"), "", ""), literal("2", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")]).
3
- rdf(iri("https://eyereasoner.github.io/ns#demo"), iri("https://eyereasoner.github.io/ns#reverseNumbers"), [literal("2", iri("http://www.w3.org/2001/XMLSchema#integer"), "", ""), literal("1", iri("http://www.w3.org/2001/XMLSchema#integer"), "", ""), literal("3", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")]).
4
- rdf(iri("https://eyereasoner.github.io/ns#demo"), iri("https://eyereasoner.github.io/ns#sortedWords"), [literal("alpha", iri("http://www.w3.org/2001/XMLSchema#string"), "", ""), literal("beta", iri("http://www.w3.org/2001/XMLSchema#string"), "", ""), literal("gamma", iri("http://www.w3.org/2001/XMLSchema#string"), "", "")]).
5
- rdf(iri("https://eyereasoner.github.io/ns#demo"), iri("https://eyereasoner.github.io/ns#containsTwo"), literal("true", iri("http://www.w3.org/2001/XMLSchema#boolean"), "", "")).
6
- rdf(iri("https://eyereasoner.github.io/ns#demo"), iri("https://eyereasoner.github.io/ns#flatNumbers"), [literal("1", iri("http://www.w3.org/2001/XMLSchema#integer"), "", ""), literal("2", iri("http://www.w3.org/2001/XMLSchema#integer"), "", ""), literal("3", iri("http://www.w3.org/2001/XMLSchema#integer"), "", ""), literal("4", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")]).
package/examples/eyelang/output/eyeling-list-collection-extra.n3 DELETED
@@ -1,5 +0,0 @@
1
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/list-extra#shopping"), iri("https://eyereasoner.github.io/eyeling/examples/list-extra#first"), iri("https://eyereasoner.github.io/eyeling/examples/list-extra#tea")).
2
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/list-extra#shopping"), iri("https://eyereasoner.github.io/eyeling/examples/list-extra#rest"), [iri("https://eyereasoner.github.io/eyeling/examples/list-extra#milk"), iri("https://eyereasoner.github.io/eyeling/examples/list-extra#bread")]).
3
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/list-extra#shopping"), iri("https://eyereasoner.github.io/eyeling/examples/list-extra#reverse"), [iri("https://eyereasoner.github.io/eyeling/examples/list-extra#bread"), iri("https://eyereasoner.github.io/eyeling/examples/list-extra#milk"), iri("https://eyereasoner.github.io/eyeling/examples/list-extra#tea")]).
4
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/list-extra#shopping"), iri("https://eyereasoner.github.io/eyeling/examples/list-extra#length"), literal("3", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")).
5
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/list-extra#shopping"), iri("https://eyereasoner.github.io/eyeling/examples/list-extra#containsMilk"), literal("true", iri("http://www.w3.org/2001/XMLSchema#boolean"), "", "")).
package/examples/eyelang/output/eyeling-math-builtins.n3 DELETED
@@ -1,5 +0,0 @@
1
- rdf(iri("https://eyereasoner.github.io/ns#calc"), iri("https://eyereasoner.github.io/ns#sum"), literal("10", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")).
2
- rdf(iri("https://eyereasoner.github.io/ns#calc"), iri("https://eyereasoner.github.io/ns#integerQuotient"), literal("5", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")).
3
- rdf(iri("https://eyereasoner.github.io/ns#calc"), iri("https://eyereasoner.github.io/ns#remainder"), literal("1", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")).
4
- rdf(iri("https://eyereasoner.github.io/ns#calc"), iri("https://eyereasoner.github.io/ns#power"), literal("256", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")).
5
- rdf(iri("https://eyereasoner.github.io/ns#calc"), iri("https://eyereasoner.github.io/ns#absolute"), literal("3", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")).
package/examples/eyelang/output/eyeling-string-builtins-extra.n3 DELETED
@@ -1,3 +0,0 @@
1
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/string-extra#msg"), iri("https://eyereasoner.github.io/eyeling/examples/string-extra#sensor"), literal("A17", iri("http://www.w3.org/2001/XMLSchema#string"), "", "")).
2
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/string-extra#msg"), iri("https://eyereasoner.github.io/eyeling/examples/string-extra#greenText"), literal("sensor:A17 status:GREEN", iri("http://www.w3.org/2001/XMLSchema#string"), "", "")).
3
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/string-extra#msg"), iri("https://eyereasoner.github.io/eyeling/examples/string-extra#deviceId"), literal("device-A17", iri("http://www.w3.org/2001/XMLSchema#string"), "", "")).
package/examples/eyelang/output/eyeling-string-builtins.n3 DELETED
@@ -1,4 +0,0 @@
1
- rdf(iri("https://eyereasoner.github.io/ns#msg"), iri("https://eyereasoner.github.io/ns#mentionsEye"), literal("true", iri("http://www.w3.org/2001/XMLSchema#boolean"), "", "")).
2
- rdf(iri("https://eyereasoner.github.io/ns#msg"), iri("https://eyereasoner.github.io/ns#length"), literal("13", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")).
3
- rdf(iri("https://eyereasoner.github.io/ns#msg"), iri("https://eyereasoner.github.io/ns#label"), literal("N3 + RDF 1.2", iri("http://www.w3.org/2001/XMLSchema#string"), "", "")).
4
- rdf(iri("https://eyereasoner.github.io/ns#msg"), iri("https://eyereasoner.github.io/ns#scrapedTail"), literal("lang", iri("http://www.w3.org/2001/XMLSchema#string"), "", "")).
package/examples/eyelang/output/eyeling-time-builtins.n3 DELETED
@@ -1,4 +0,0 @@
1
- rdf(iri("https://eyereasoner.github.io/ns#event"), iri("https://eyereasoner.github.io/ns#year"), literal("2026", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")).
2
- rdf(iri("https://eyereasoner.github.io/ns#event"), iri("https://eyereasoner.github.io/ns#month"), literal("6", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")).
3
- rdf(iri("https://eyereasoner.github.io/ns#event"), iri("https://eyereasoner.github.io/ns#day"), literal("15", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")).
4
- rdf(iri("https://eyereasoner.github.io/ns#event"), iri("https://eyereasoner.github.io/ns#hour"), literal("10", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")).
package/examples/eyelang/output/eyeling-time-components-extra.n3 DELETED
@@ -1,5 +0,0 @@
1
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/time-extra#event"), iri("https://eyereasoner.github.io/eyeling/examples/time-extra#year"), literal("2026", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")).
2
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/time-extra#event"), iri("https://eyereasoner.github.io/eyeling/examples/time-extra#month"), literal("6", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")).
3
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/time-extra#event"), iri("https://eyereasoner.github.io/eyeling/examples/time-extra#day"), literal("15", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")).
4
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/time-extra#event"), iri("https://eyereasoner.github.io/eyeling/examples/time-extra#hour"), literal("10", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")).
5
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/time-extra#event"), iri("https://eyereasoner.github.io/eyeling/examples/time-extra#dateCheck"), literal("true", iri("http://www.w3.org/2001/XMLSchema#boolean"), "", "")).
package/examples/eyelang/output/eyeling-witch.n3 DELETED
@@ -1,2 +0,0 @@
1
- rdf(iri("https://eyereasoner.github.io/eye/reasoning/witch#elsie"), iri("http://www.w3.org/1999/02/22-rdf-syntax-ns#type"), iri("https://eyereasoner.github.io/eye/reasoning/witch#WITCH")).
2
- rdf(iri("https://eyereasoner.github.io/eye/reasoning/witch#elsie"), iri("http://www.w3.org/1999/02/22-rdf-syntax-ns#type"), iri("https://eyereasoner.github.io/eye/reasoning/witch#WEIGHS_THE_SAME_AS_A_DUCK")).
package/examples/eyelang/output/family-cousins.n3 DELETED
@@ -1,8 +0,0 @@
1
- rdf(iri("http://example.org/family#Dave"), iri("http://example.org/family#cousin"), iri("http://example.org/family#Frank")).
2
- rdf(iri("http://example.org/family#Dave"), iri("http://example.org/family#cousin"), iri("http://example.org/family#Grace")).
3
- rdf(iri("http://example.org/family#Eve"), iri("http://example.org/family#cousin"), iri("http://example.org/family#Frank")).
4
- rdf(iri("http://example.org/family#Eve"), iri("http://example.org/family#cousin"), iri("http://example.org/family#Grace")).
5
- rdf(iri("http://example.org/family#Frank"), iri("http://example.org/family#cousin"), iri("http://example.org/family#Dave")).
6
- rdf(iri("http://example.org/family#Frank"), iri("http://example.org/family#cousin"), iri("http://example.org/family#Eve")).
7
- rdf(iri("http://example.org/family#Grace"), iri("http://example.org/family#cousin"), iri("http://example.org/family#Dave")).
8
- rdf(iri("http://example.org/family#Grace"), iri("http://example.org/family#cousin"), iri("http://example.org/family#Eve")).
package/examples/eyelang/output/n3-builtins.n3 DELETED
@@ -1,6 +0,0 @@
1
- rdf(iri("http://example.com/alice"), iri("http://example.com/total"), literal("5", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")).
2
- rdf(iri("http://example.com/alice"), iri("http://example.com/label"), literal("Alice total 5", iri("http://www.w3.org/2001/XMLSchema#string"), "", "")).
3
- rdf(iri("http://example.com/alice"), iri("http://example.com/status"), iri("http://example.com/passing")).
4
- rdf(iri("http://example.com/red"), iri("http://example.com/kind"), iri("http://example.com/colour")).
5
- rdf(iri("http://example.com/green"), iri("http://example.com/kind"), iri("http://example.com/colour")).
6
- rdf(iri("http://example.com/blue"), iri("http://example.com/kind"), iri("http://example.com/colour")).
package/examples/eyelang/output/socrates.n3 DELETED
@@ -1 +0,0 @@
1
- rdf(iri("http://example.org/socrates#Socrates"), iri("http://www.w3.org/1999/02/22-rdf-syntax-ns#type"), iri("http://example.org/socrates#Mortal")).
package/examples/eyelang/output/triple-term.n3 DELETED
@@ -1,2 +0,0 @@
1
- rdf(iri("http://example.org/triple-term#alice"), iri("http://example.org/triple-term#reportedKnower"), iri("http://example.org/triple-term#bob")).
2
- rdf(iri("http://example.org/triple-term#alice"), iri("http://example.org/triple-term#reportedKnown"), iri("http://example.org/triple-term#carol")).
package/examples/eyelang/socrates.n3 DELETED
@@ -1,11 +0,0 @@
1
- # Adapted from eyereasoner/eyeling examples/socrates.n3.
2
- # Demonstrates a small RDFS-style subclass rule in the RDF/N3 reader.
3
- PREFIX : <http://example.org/socrates#>
4
- PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#>
5
-
6
- :Socrates a :Human .
7
- :Human rdfs:subClassOf :Mortal .
8
-
9
- { ?S a ?A . ?A rdfs:subClassOf ?B . }
10
- =>
11
- { ?S a ?B . } .
package/examples/eyelang/triple-term.n3 DELETED
@@ -1,9 +0,0 @@
1
- # RDF 1.2 triple term example for the eyelang compatibility layer.
2
- PREFIX : <http://example.org/triple-term#>
3
-
4
- :alice :says <<( :bob :knows :carol )>> .
5
-
6
- { ?Reporter :says <<( ?Knower :knows ?Known )>> . }
7
- =>
8
- { ?Reporter :reportedKnower ?Knower .
9
- ?Reporter :reportedKnown ?Known . } .