eyeling 1.16.2 → 1.16.4

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 (51) hide show
  1. package/HANDBOOK.md +4 -0
  2. package/README.md +0 -1
  3. package/examples/ershov-mixed-computation.n3 +106 -0
  4. package/examples/output/ershov-mixed-computation.n3 +15 -0
  5. package/eyeling.js +510 -263
  6. package/lib/cli.js +22 -12
  7. package/lib/engine.js +488 -251
  8. package/package.json +2 -3
  9. package/arctifacts/README.md +0 -59
  10. package/arctifacts/ackermann.html +0 -678
  11. package/arctifacts/auroracare.html +0 -1297
  12. package/arctifacts/bike-trip.html +0 -752
  13. package/arctifacts/binomial-theorem.html +0 -631
  14. package/arctifacts/bmi.html +0 -511
  15. package/arctifacts/building-performance.html +0 -750
  16. package/arctifacts/clinical-care.html +0 -726
  17. package/arctifacts/collatz.html +0 -403
  18. package/arctifacts/complex.html +0 -321
  19. package/arctifacts/control-system.html +0 -482
  20. package/arctifacts/delfour.html +0 -849
  21. package/arctifacts/earthquake-epicenter.html +0 -982
  22. package/arctifacts/eco-route.html +0 -662
  23. package/arctifacts/euclid-infinitude.html +0 -564
  24. package/arctifacts/euler-identity.html +0 -667
  25. package/arctifacts/exoplanet-transit.html +0 -1000
  26. package/arctifacts/faltings-theorem.html +0 -1046
  27. package/arctifacts/fibonacci.html +0 -299
  28. package/arctifacts/fundamental-theorem-arithmetic.html +0 -398
  29. package/arctifacts/godel-numbering.html +0 -743
  30. package/arctifacts/gps-bike.html +0 -759
  31. package/arctifacts/gps-clinical-bench.html +0 -792
  32. package/arctifacts/graph-french.html +0 -449
  33. package/arctifacts/grass-molecular.html +0 -592
  34. package/arctifacts/group-theory.html +0 -740
  35. package/arctifacts/health-info.html +0 -833
  36. package/arctifacts/kaprekar-constant.html +0 -576
  37. package/arctifacts/lee.html +0 -805
  38. package/arctifacts/linked-lists.html +0 -502
  39. package/arctifacts/lldm.html +0 -612
  40. package/arctifacts/matrix-multiplication.html +0 -502
  41. package/arctifacts/matrix.html +0 -651
  42. package/arctifacts/newton-raphson.html +0 -944
  43. package/arctifacts/peano-factorial.html +0 -456
  44. package/arctifacts/pi.html +0 -363
  45. package/arctifacts/polynomial.html +0 -646
  46. package/arctifacts/prime.html +0 -366
  47. package/arctifacts/pythagorean-theorem.html +0 -468
  48. package/arctifacts/rest-path.html +0 -469
  49. package/arctifacts/roots-of-unity.html +0 -363
  50. package/arctifacts/turing.html +0 -409
  51. package/arctifacts/wind-turbines.html +0 -726
package/lib/cli.js CHANGED
@@ -188,10 +188,12 @@ function main() {
188
188
  // collect log:outputString triples from the instantiated query conclusions.
189
189
  let outTriples;
190
190
  if (hasQueries) {
191
- const res = engine.forwardChainAndCollectLogQueryConclusions(facts, frules, brules, qrules);
191
+ const res = engine.forwardChainAndCollectLogQueryConclusions(facts, frules, brules, qrules, null, {
192
+ captureExplanations: engine.getProofCommentsEnabled(),
193
+ });
192
194
  outTriples = res.queryTriples;
193
195
  } else {
194
- engine.forwardChain(facts, frules, brules);
196
+ engine.forwardChain(facts, frules, brules, null, { captureExplanations: false });
195
197
  outTriples = facts;
196
198
  }
197
199
 
@@ -302,15 +304,21 @@ function main() {
302
304
  }
303
305
  if (entries.length) console.log();
304
306
 
305
- engine.forwardChain(facts, frules, brules, (df) => {
306
- if (engine.getProofCommentsEnabled()) {
307
- engine.printExplanation(df, outPrefixes);
308
- console.log(engine.tripleToN3(df.fact, outPrefixes));
309
- console.log();
310
- } else {
311
- console.log(engine.tripleToN3(df.fact, outPrefixes));
312
- }
313
- });
307
+ engine.forwardChain(
308
+ facts,
309
+ frules,
310
+ brules,
311
+ (df) => {
312
+ if (engine.getProofCommentsEnabled()) {
313
+ engine.printExplanation(df, outPrefixes);
314
+ console.log(engine.tripleToN3(df.fact, outPrefixes));
315
+ console.log();
316
+ } else {
317
+ console.log(engine.tripleToN3(df.fact, outPrefixes));
318
+ }
319
+ },
320
+ { captureExplanations: engine.getProofCommentsEnabled() },
321
+ );
314
322
  return;
315
323
  }
316
324
 
@@ -330,7 +338,9 @@ function main() {
330
338
  outTriples = res.queryTriples;
331
339
  outDerived = res.queryDerived;
332
340
  } else {
333
- derived = engine.forwardChain(facts, frules, brules);
341
+ derived = engine.forwardChain(facts, frules, brules, null, {
342
+ captureExplanations: engine.getProofCommentsEnabled(),
343
+ });
334
344
  outDerived = derived;
335
345
  outTriples = derived.map((df) => df.fact);
336
346
  }