eyeprolog 1.3.32 → 1.3.33

package/conformance-report.md

@@ -11,7 +11,7 @@ This report summarizes the file-based conformance corpus under `test/conformance
 | builtins | 11 | 0 | 0 | 0 | 11 |
 | context | 11 | 0 | 0 | 0 | 11 |
 | control | 15 | 0 | 0 | 0 | 15 |
-| iso | 168 | 218 | 0 | 0 | 386 |
+| iso | 169 | 217 | 0 | 0 | 386 |
 | lists | 52 | 3 | 0 | 0 | 55 |
 | modules | 2 | 0 | 0 | 0 | 2 |
 | negation | 8 | 0 | 19 | 0 | 27 |
@@ -24,4 +24,4 @@ This report summarizes the file-based conformance corpus under `test/conformance
 | terms | 26 | 3 | 0 | 0 | 29 |
 | unification | 18 | 0 | 0 | 0 | 18 |
 | variables | 16 | 7 | 0 | 0 | 23 |
-| **Total** | **489** | **271** | **19** | **21** | **800** |
+| **Total** | **490** | **270** | **19** | **21** | **800** |

package/package.json

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

package/src/iso.js

@@ -2360,7 +2360,6 @@ function evaluateOperation(term, args) {
     const value = fn(a);
     if (Number.isNaN(value) || (name === 'log' && a === 0)) throw new PrologError('evaluation_error(undefined)');
     if (!Number.isFinite(value)) throw new PrologError('evaluation_error(float_overflow)');
-    if (value === 0 && a !== 0 && name === 'exp') throw new PrologError('evaluation_error(underflow)');
     return { integer: false, value };
   }
   if (arity !== 2) throw new PrologError('type_error(evaluable)', compound('/', [atom(name), numberTerm(arity)]));
@@ -2420,12 +2419,6 @@ function evaluateOperation(term, args) {
   else throw new PrologError('type_error(evaluable)', compound('/', [atom(name), numberTerm(arity)]));
   if (Number.isNaN(value)) throw new PrologError('evaluation_error(undefined)');
   if (!Number.isFinite(value)) throw new PrologError('evaluation_error(float_overflow)');
-  const underflow = value === 0 && (
-    (name === '*' && x !== 0 && y !== 0) ||
-    (name === '/' && x !== 0) ||
-    ((name === '**' || name === '^') && x !== 0)
-  );
-  if (underflow) throw new PrologError('evaluation_error(underflow)');
   return { integer: false, value };
 }
 export function arithmeticValueTerm(value) {

package/test/conformance/ISO-IMPLEMENTATION-DEFINED.md

@@ -73,7 +73,7 @@ Status values are:
 | 8.17.3 | Other effects of `halt/0` | Terminates EyeProlog execution and returns host/process status `0`; it produces no Prolog solution. | **defined** — `HaltSignal`, `haltBuiltin()`, CLI/runner handling. |
 | 8.17.4 | Meaning/effects of `halt(Status)` | Integer `Status` is converted to the host process/runner halt code; it produces no Prolog solution. | **defined** — `haltBuiltin()`, `src/execute.js`, `src/cli.js`. |
 | 9.1.4.1 | Floating-point rounding function `rndF` | Floating values and operations use ECMAScript `Number` (IEEE-754 binary64) and the host's specified binary64 arithmetic/conversions. | **defined** — `src/iso.js`, `src/number-value.js`. |
-| 9.1.4.2 | Floating-point result function, including tiny non-zero arithmetic results | For arithmetic operation results that underflow to zero from non-zero operands, EyeProlog chooses the exceptional value `underflow`, exposed as `evaluation_error(underflow)`. Float token/`number_chars/2` input is a separate conversion path and finite input underflow rounds to `0.0`. | **defined** — `evaluateOperation()` and parser/number conversion; executable issue-56 regression below. |
+| 9.1.4.2 | Floating-point result function, including tiny non-zero arithmetic results | EyeProlog chooses `round(x)` rather than the exceptional value `underflow`. ECMAScript binary64 arithmetic therefore preserves a representable subnormal result and rounds a still-smaller result to `0.0`, consistently with float-token and `number_chars/2` input. | **defined** — `evaluateOperation()` and parser/number conversion; executable issue-56 regression below. |
 | 9.1.4.3 | Approximate-addition function | ECMAScript binary64 addition is used; subtraction is implemented through the corresponding host operation and all finite results remain binary64 values. | **defined** — `evaluateOperation()` in `src/iso.js`. |
 | 9.4 | Representation of negative integers for bitwise operations | BigInt's unbounded signed binary semantics are used, equivalent to an infinite two's-complement sign extension for bitwise operations. | **defined** — `src/iso.js` BigInt bitwise operators. |
 | 9.4.1 | Right shift of negative integers and unusual shift counts | `>>` is arithmetic/sign-propagating. A negative count reverses direction according to JavaScript BigInt shift semantics; there is no finite integer bit-size ceiling in the Prolog model. | **defined** — `a >> b` in `src/iso.js`. |
@@ -83,22 +83,18 @@ Status values are:
 | 9.4.5 | Bitwise complement | BigInt complement, i.e. `~N = -N-1`. | **defined** — `~a`. |
 | Cor.2 9.4.6 | `xor/2` with negative operands | BigInt infinite-two's-complement semantics. | **defined** — `a ^ b`. |
 
-### Why issue #56's two float results differ
-
-The arithmetic expression and the float token go through different specified
-layers. Clause 9.1.4 defines arithmetic operations in terms of the
-implementation-defined floating rounding/result functions, and EyeProlog's
-chosen `resultF` policy reports underflow for a non-zero arithmetic result that
-falls below the normal range and rounds to zero. By contrast, reading the token
-`0.1e-999` is an input conversion; the 1995 text does not precisely define the
-rounding of an inexact float token, a gap also called out in the later
-[WG17/STC item #40](https://www.complang.tuwien.ac.at/ulrich/iso-prolog/stc#40).
-EyeProlog's documented input policy is therefore to accept finite token
-underflow as `0.0` while arithmetic underflow remains an evaluation error.
-
-The regression suite contains an issue-56 case that checks both observations,
-and the existing `stc/float_underflow_input` conformance case covers the related
-input-conversion policy.
+### Issue #56: one underflow policy
+
+Clause 9.1.4.2 permits the processor to choose `round(x)` or the exceptional
+value `underflow` for a tiny non-zero arithmetic result. EyeProlog chooses
+`round(x)`. Because its floating-point profile is ECMAScript IEEE-754 binary64,
+representable subnormal values remain non-zero and smaller results round to
+`0.0`. Float-token and `number_chars/2` input use the same finite-double
+rounding policy, so the same mathematical magnitude is no longer accepted as
+`0.0` on input while rejected as an arithmetic result.
+
+The regression suite checks both arithmetic and token input, and the existing
+`stc/float_underflow_input` conformance case covers the related input conversion.
 
 ## Implementation-specific features required to be documented by 5.4
 

package/test/conformance/ISO-MATRIX.md

@@ -33,8 +33,8 @@ clause-by-clause in [ISO-IMPLEMENTATION-DEFINED.md](ISO-IMPLEMENTATION-DEFINED.m
 with *The Art of EyeProlog* remaining the implementation reference. In
 particular, the index records the unbounded integer model, `double_quotes=chars`,
 `//` rounding toward zero, the ECMAScript binary64 float policy (including the
-9.1.4.2 arithmetic-underflow choice), stream/character decisions, and the
-normal-profile extension boundary.
+9.1.4.2 choice to round tiny arithmetic results rather than raise underflow),
+stream/character decisions, and the normal-profile extension boundary.
 
 This is an executable conformance matrix, not a certification issued by an
 independent standards body. Release gating runs the ISO cases and the dedicated

package/test/conformance/STC-DRAFT-STATUS.md

@@ -37,7 +37,8 @@ record the behavior discussed in issue #54:
 - a positive finite numeric token beyond the representable range raises
   `representation_error(max_float)`;
 - the corresponding negative overflow raises `representation_error(min_float)`;
-- input underflow may round to `0.0`;
+- float input and arithmetic underflow use the same binary64 rounding policy;
+  values smaller than the representable range round to `0.0`;
 - overflow produced by arithmetic evaluation remains
   `evaluation_error(float_overflow)`.
 

package/test/conformance/cases/iso/arithmetic_underflow_rounds.pl

@@ -0,0 +1,7 @@
+%% goal: arithmetic_underflow_rounds
+
+arithmetic_underflow_rounds :-
+    A is 0.1*10** -999,
+    B is exp(-1000.0),
+    A =:= 0.0,
+    B =:= 0.0.

package/test/conformance/expected/iso/arithmetic_underflow_rounds.pl

@@ -0,0 +1 @@
+arithmetic_underflow_rounds.

package/test/run-regression.mjs

@@ -740,10 +740,10 @@ c4 ?- call((!;1)).
       },
     },
     {
-      name: 'arithmetic underflow choice differs from float-token input underflow (issue #56)',
+      name: 'arithmetic and float-token underflow both round to zero (issue #56)',
       run: () => {
-        const result = run('', { goal: 'catch((N is 0.1*10** -999), error(evaluation_error(underflow), _), N = underflow)' });
-        assertEqual(result.stdout, 'catch(underflow is 0.1 * 10 ** -999, error(evaluation_error(underflow), eyeprolog), underflow = underflow).\n', 'operation underflow');
+        assertEqual(run('', { goal: 'N is 0.1*10** -999' }).stdout, '0.0 is 0.1 * 10 ** -999.\n', 'operation underflow');
+        assertEqual(run('', { goal: 'N is exp(-1000.0)' }).stdout, '0.0 is exp(-1000.0).\n', 'function underflow');
         assertEqual(run('', { goal: 'N = 0.1e-999' }).stdout, '0.0 = 0.0.\n', 'float-token input underflow');
       },
     },
@@ -3431,7 +3431,7 @@ function documentationSyncCases() {
           '8.17.3', '8.17.4', '9.1.3.1', '9.1.4.1', '9.1.4.2', '9.1.4.3', '9.4',
           '9.4.1', '9.4.2', '9.4.3', '9.4.4', '9.4.5', 'Cor.2 9.4.6',
         ]) assertIncludes(text, `| ${clause} |`, `ISO 5.4 clause ${clause}`);
-        assertIncludes(text, 'Why issue #56', 'issue #56 explanation');
+        assertIncludes(text, 'Issue #56: one underflow policy', 'issue #56 explanation');
         assertIncludes(text, 'Implementation-specific features required to be documented by 5.4', '5.5 extension inventory');
       },
     },

package/test/conformance/errors/iso/arithmetic_underflow.pl

@@ -1,3 +0,0 @@
-%% goal: trigger
-
-trigger :- _ is exp(-1000.0).

package/test/conformance/expected-errors/iso/arithmetic_underflow.txt

@@ -1 +0,0 @@
-error(evaluation_error(underflow))