eyeling 1.28.8 → 1.29.0

package/dist/browser/index.mjs

@@ -12,6 +12,10 @@ function getBrowserApi() {
 
 export const INFERENCE_FUSE_EXIT_CODE = 65;
 
+export function runAsync(input, opts) {
+  return getBrowserApi().runAsync(input, opts);
+}
+
 export function reasonStream(input, opts) {
   return getBrowserApi().reasonStream(input, opts);
 }
@@ -20,6 +24,10 @@ export function reasonRdfJs(input, opts) {
   return getBrowserApi().reasonRdfJs(input, opts);
 }
 
+export function createFactStore(options) {
+  return getBrowserApi().createFactStore(options);
+}
+
 export function registerBuiltin(iri, handler) {
   return getBrowserApi().registerBuiltin(iri, handler);
 }
@@ -67,9 +75,11 @@ const eyeling = {
     return getBrowserApi().version;
   },
   INFERENCE_FUSE_EXIT_CODE,
+  runAsync,
   reasonStream,
   reasonRdfJs,
   rdfjs,
+  createFactStore,
   registerBuiltin,
   unregisterBuiltin,
   registerBuiltinModule,

package/examples/complex-matrix-stability.n3

@@ -253,38 +253,38 @@
   :Check :c4 ?C4.
   :Check :c5 ?C5.
   (
-    "Complex Matrix Stability — ARC-style
+    """Complex Matrix Stability — ARC-style
 
-"
-    "## Answer
-"
+"""
+    """## Answer
+"""
     "We compare three diagonal 2x2 complex matrices for discrete-time stability: "
     "A_unstable = " ?MuS ", A_stable = " ?MsS ", and A_damped = " ?MdS ". "
     "Their spectral radii are ρ(A_unstable) = " ?Ru ", ρ(A_stable) = " ?Rs ", and ρ(A_damped) = " ?Rd ". "
-    "So A_unstable is unstable, A_stable is marginally stable, and A_damped is damped.
+    """So A_unstable is unstable, A_stable is marginally stable, and A_damped is damped.
 
-"
-    "## Reason Why
-"
+"""
+    """## Reason Why
+"""
     "For a discrete-time linear system x_{k+1} = A x_k, the eigenvalues of A govern the behaviour of the modes. "
     "Because these matrices are diagonal, the eigenvalues are just the diagonal entries. "
     "The spectral radius is the maximum modulus of the eigenvalues: if it is greater than 1 a mode grows, "
     "if it equals 1 the modes remain bounded without decaying, and if it is less than 1 all modes decay to zero. "
-    "Here the diagonal entries give radii 2, 1, and 0 respectively, which explains the three classifications.
-
-"
-    "## Check
-"
-    "C1 " ?C1 "
-"
-    "C2 " ?C2 "
-"
-    "C3 " ?C3 "
-"
-    "C4 " ?C4 "
-"
-    "C5 " ?C5 "
-"
+    """Here the diagonal entries give radii 2, 1, and 0 respectively, which explains the three classifications.
+
+"""
+    """## Check
+"""
+    "C1 " ?C1 """
+"""
+    "C2 " ?C2 """
+"""
+    "C3 " ?C3 """
+"""
+    "C4 " ?C4 """
+"""
+    "C5 " ?C5 """
+"""
   ) string:concatenation ?Block. }
 =>
 { :report log:outputString ?Block. } .

package/examples/deep-taxonomy-10.n3

@@ -59,7 +59,7 @@
 }
     =>
 {
-    :report log:outputString "Deep Taxonomy - deep classification benchmark
+    :report log:outputString """Deep Taxonomy - deep classification benchmark
 
 ## Answer
 The test succeeds: starting from one individual classified as N0, the rules eventually classify it as N10 and then as A2.
@@ -74,5 +74,5 @@ C3 OK - the chain reaches the midpoint N5 and still carries both side-label bran
 C4 OK - the final taxonomy step from N9 to N10 was completed.
 C5 OK - once N10 is reached, the terminal class A2 is derived.
 C6 OK - the success flag is raised only after the terminal class A2 is present.
-" .
+""" .
 } .

package/examples/deep-taxonomy-100.n3

@@ -149,7 +149,7 @@
 }
     =>
 {
-    :report log:outputString "Deep Taxonomy - deep classification benchmark
+    :report log:outputString """Deep Taxonomy - deep classification benchmark
 
 ## Answer
 The test succeeds: starting from one individual classified as N0, the rules eventually classify it as N100 and then as A2.
@@ -164,5 +164,5 @@ C3 OK - the chain reaches the midpoint N50 and still carries both side-label bra
 C4 OK - the final taxonomy step from N99 to N100 was completed.
 C5 OK - once N100 is reached, the terminal class A2 is derived.
 C6 OK - the success flag is raised only after the terminal class A2 is present.
-" .
+""" .
 } .

package/examples/deep-taxonomy-1000.n3

@@ -1049,7 +1049,7 @@
 }
     =>
 {
-    :report log:outputString "Deep Taxonomy - deep classification benchmark
+    :report log:outputString """Deep Taxonomy - deep classification benchmark
 
 ## Answer
 The test succeeds: starting from one individual classified as N0, the rules eventually classify it as N1000 and then as A2.
@@ -1064,5 +1064,5 @@ C3 OK - the chain reaches the midpoint N500 and still carries both side-label br
 C4 OK - the final taxonomy step from N999 to N1000 was completed.
 C5 OK - once N1000 is reached, the terminal class A2 is derived.
 C6 OK - the success flag is raised only after the terminal class A2 is present.
-" .
+""" .
 } .

package/examples/deep-taxonomy-10000.n3

@@ -10049,7 +10049,7 @@
 }
     =>
 {
-    :report log:outputString "Deep Taxonomy - deep classification benchmark
+    :report log:outputString """Deep Taxonomy - deep classification benchmark
 
 ## Answer
 The test succeeds: starting from one individual classified as N0, the rules eventually classify it as N10000 and then as A2.
@@ -10064,5 +10064,5 @@ C3 OK - the chain reaches the midpoint N5000 and still carries both side-label b
 C4 OK - the final taxonomy step from N9999 to N10000 was completed.
 C5 OK - once N10000 is reached, the terminal class A2 is derived.
 C6 OK - the success flag is raised only after the terminal class A2 is present.
-" .
+""" .
 } .