eyeprolog 1.3.10 → 1.3.11

package/package.json

@@ -3,7 +3,7 @@
   "publishConfig": {
     "access": "public"
   },
-  "version": "1.3.10",
+  "version": "1.3.11",
   "description": "EyeProlog turns facts and rules into answers and proofs.",
   "type": "module",
   "main": "./index.js",

package/src/term.js

@@ -683,7 +683,13 @@ export function numberTextFromDouble(value) {
   if (Object.is(value, -0)) value = 0;
   let text = Number(value).toPrecision(17);
   if (text.includes('e') || text.includes('E')) {
-    text = text.replace(/(\.\d*?[1-9])0+(e[+-]?\d+)$/i, '$1$2').replace(/\.0+(e[+-]?\d+)$/i, '$1');
+    text = text
+      .replace(/(\.\d*?[1-9])0+(e[+-]?\d+)$/i, '$1$2')
+      // ISO floating-point syntax requires a fractional part before the
+      // exponent. Keep one zero when the fraction is otherwise all zeros so
+      // generated text remains readable by EyeProlog itself (for example
+      // 1.0e-8 rather than JavaScript's 1e-8).
+      .replace(/\.0+(e[+-]?\d+)$/i, '.0$1');
   } else if (text.includes('.')) {
     text = text.replace(/0+$/, '').replace(/\.$/, '');
   }

package/test/run-regression.mjs

@@ -31,6 +31,7 @@ import {
   compound,
   listFromItems,
   numberTerm,
+  numberTextFromDouble,
   stringTerm,
   variable,
   copyResolved,
@@ -697,6 +698,35 @@ c4 ?- call((!;1)).
         }
       },
     },
+    {
+      name: 'number_chars and number_codes keep exponent floats syntactically readable (issue #50)',
+      run: () => {
+        const source = `
+?- number_chars(1.0e-8,Cs).
+   Cs = "1.0e-8".
+?- number_chars(N,"1.0e-8"), number_chars(N,Cs).
+   N = 1.0e-8, Cs = "1.0e-8".
+?- number_codes(N,[49,46,48,101,45,56]), number_codes(N,Codes).
+   N = 1.0e-8, Codes = [49,46,48,101,45,56].
+`;
+        const result = publicApi.runQuads(source);
+        assertEqual(result.total, 3, 'quad total');
+        assertEqual(result.passed, 3, 'quad passed');
+        assertEqual(result.failed, 0, 'quad failed');
+
+        const generated = numberTerm(numberTextFromDouble(1e-8));
+        assertEqual(generated.name, '1.0e-8', 'generated float spelling');
+        assertEqual(parseNumberTokenText(generated.name).name, '1.0e-8', 'generated spelling parses as a float');
+
+        for (const value of [1e-8, -1e-8, 1e20, 1e21, Number.MIN_VALUE, Number.MAX_VALUE]) {
+          const text = numberTextFromDouble(value);
+          if (/[eE]/.test(text)) {
+            assertEqual(/^-?\d+\.\d+[eE][+-]?\d+$/.test(text), true, `exponent float syntax ${text}`);
+          }
+          assertEqual(Number(parseNumberTokenText(text).name), value, `generated float round-trip ${text}`);
+        }
+      },
+    },
     {
       name: 'number syntax and number_chars normalize floating-point negative zero',
       run: () => {