eyeprolog 1.2.10 → 1.2.11

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 | 167 | 216 | 0 | 0 | 383 |
+| iso | 167 | 218 | 0 | 0 | 385 |
 | lists | 52 | 3 | 0 | 0 | 55 |
 | modules | 2 | 0 | 0 | 0 | 2 |
 | negation | 8 | 0 | 19 | 0 | 27 |
@@ -23,4 +23,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 | 9 | 0 | 0 | 25 |
-| **Total** | **482** | **267** | **19** | **21** | **789** |
+| **Total** | **482** | **269** | **19** | **21** | **791** |

package/package.json

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

package/src/iso.js

@@ -1564,6 +1564,13 @@ function parseIsoNumber(text) {
   }
 
   const numericText = `${sign}${text.slice(position)}`;
+  // 8.16.7/8.16.8 parse the character sequence according to the syntax rules
+  // for numbers and negative numbers (6.3.1.1/6.3.1.2), not as an arbitrary
+  // term whose value happens to be numeric. Every such number starts with a
+  // decimal digit after an optional negative sign, so parenthesized terms such
+  // as `(0)` or `-(0)` must be rejected before the general term parser sees
+  // them. This keeps the parser reuse below from admitting grouping syntax.
+  if (!/^-?\d/.test(numericText)) return null;
   // ISO floating-point syntax requires a decimal fraction before an exponent.
   if (/^-?\d+[eE][+-]?\d+$/.test(numericText)) return null;
   try {

package/test/conformance/ISO-MATRIX.md

@@ -16,7 +16,7 @@ compliance audit and the remaining work before a full conformance claim.
 | 8.8-8.10 database and solutions | logical update view, dynamic mutation, all-solutions grouping | `dynamic_database`, `trealla_logical_update_view`, `corrigenda_retractall`, `grouped_solutions_and_clauses` |
 | 8.11-8.14 streams and term I/O | text/binary streams, properties, units, read/write options and operators | `streams_and_term_io`, `operators`, Corrigendum 3 option cases, stream error cases |
 | 8.15 logic and control | negation, once, repeat, `call/2` through `call/8`, `false/0` | `logtalk_once`, `corrigenda_call_closure`, `false_builtin` |
-| 8.16 atomic processing | atoms, characters, codes and number conversion with prescribed errors | `atomic_term_processing`, focused forward/reverse cases, Logtalk-derived error cases |
+| 8.16 atomic processing | atoms, characters, codes and number conversion with prescribed errors | `atomic_term_processing`, focused forward/reverse cases, parenthesized-number rejection, Logtalk-derived error cases |
 | 8.17 flags and hooks | required flags, mutation permissions, halt and character conversion | `exceptions_and_flags`, `remaining_builtins_and_directives`, flag error cases |
 | Clause 9 evaluable functors | integer, float, rounding, transcendental and bitwise operations | `arithmetic`, `corrigenda_arithmetic`, `corrigenda_atan2_zero`, `corrigenda_integer_negative_power` |
 | ISO/IEC 13211-2 modules | module declarations, exports, imports, qualification, meta-predicate context | `modules/qualified_call`, `modules/selective_library_import`, `dcg_module_nonterminal_indicator` |

package/test/conformance/README.md

@@ -102,7 +102,7 @@ Selected cases are adapted from the ISO and standard-core suites of Logtalk,
 Scryer Prolog, Trealla Prolog, and SWI-Prolog. Their upstream identifiers and licenses
 are recorded in [THIRD_PARTY.md](THIRD_PARTY.md).
 
-The corpus has 383 cases in `iso/` and 789 file-based conformance cases in
+The corpus has 385 cases in `iso/` and 791 file-based conformance cases in
 total. The generated `conformance-report.md` is the authoritative source for
 current category totals. Together with regression, documentation-sync, API,
 example, and book-example checks, `npm test` is the release gate.

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

@@ -0,0 +1,2 @@
+%% goal: number_chars(_, ['(', '0', ')'])
+answer :- number_chars(_, ['(', '0', ')']).

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

@@ -0,0 +1,2 @@
+%% goal: number_codes(_, [40, 48, 41])
+answer :- number_codes(_, [40, 48, 41]).

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

@@ -0,0 +1 @@
+error(syntax_error(number))

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

@@ -0,0 +1 @@
+error(syntax_error(number))

package/test/fixtures/number_chars_cont_quad.pl

@@ -36,6 +36,9 @@
 70 ?- number_chars(N,"0x11").
       N=17.
 
+73 ?- number_chars(N,"(0)").
+      syntax_error(...).
+
 4  ?- number_chars(1,"a").
       syntax_error(...).
 

package/test/run-regression.mjs

@@ -396,9 +396,24 @@ c4 ?- call((!;1)).
           text: source,
           filename,
         }]));
-        assertEqual(result.total, 72, 'quad total');
-        assertEqual(result.passed, 72, 'quad passed');
-        assertEqual(result.stdout, 'quads: 72 run, 72 passed, 0 failed.\n', 'quad report');
+        assertEqual(result.total, 73, 'quad total');
+        assertEqual(result.passed, 73, 'quad passed');
+        assertEqual(result.stdout, 'quads: 73 run, 73 passed, 0 failed.\n', 'quad report');
+      },
+    },
+    {
+      name: 'number conversion rejects parenthesized numeric terms',
+      run: () => {
+        for (const goal of ['number_chars(N,"(0)")', 'number_codes(N,[40,48,41])']) {
+          let caught = null;
+          try {
+            publicApi.run('', { goal });
+          } catch (error) {
+            caught = error;
+          }
+          if (caught == null) throw new Error(`${goal} should throw`);
+          assertIncludes(String(caught?.message ?? caught), 'syntax_error(number)', goal);
+        }
       },
     },
     {

package/the-art-of-eyeprolog.md

@@ -5735,13 +5735,16 @@ quoted_atom("ab").           % quoted_atom(ab)
 | `sub_atom(+Atom,?Before,?Length,?After,?SubAtom)` | Enumerates substrings and their Unicode-code-point offsets. Supplied counts must be nonnegative integers. |
 | `atom_chars(?Atom,?Chars)`, `atom_codes(?Atom,?Codes)` | Convert between an atom and a proper list of one-character atoms or Unicode scalar codes. At least one side must be instantiated. |
 | `char_code(?Character,?Code)` | Converts one character atom and one Unicode scalar code. Surrogates and values outside `0..0x10ffff` raise a representation error. |
-| `number_chars(?Number,?Chars)`, `number_codes(?Number,?Codes)` | Convert finite numbers to canonical text or parse a proper character/code list using ISO numeric-token syntax, including radix integers, character-code constants, and leading layout. At least one side must be instantiated; malformed numeric input raises *syntax_error(number)*. |
+| `number_chars(?Number,?Chars)`, `number_codes(?Number,?Codes)` | Convert finite numbers to canonical text or parse a proper character/code list using ISO number and negative-number syntax, including radix integers, character-code constants, and leading layout. The input is not parsed as a general term: grouping such as `(0)` is a syntax error. At least one side must be instantiated; malformed numeric input raises *syntax_error(number)*. |
 
 Conversions accept partial output lists when the atomic input is known, but
 constructing an atom or number requires a complete proper list with no unbound
 elements. Numeric parsing accepts leading ISO layout characters, an optional
 sign, decimal fractions, and decimal exponents; it rejects trailing material
-and non-finite values.
+and non-finite values. The regression gate vendors all 73 numbered cases from
+Ulrich Neumerkel's contemporary `number_chars/2` comparison, including the
+Cor.2 error-precedence cases; `number_codes/2` shares the same numeric parser
+and has mirrored coverage for the parenthesized-number regression.
 
 ### Streams and unit I/O
 
@@ -6986,7 +6989,7 @@ precedence still need one-by-one closure. `test/conformance/ISO-MATRIX.md`
 maps language families to representative executable cases.
 
 The complete suite must pass before release. The file-based conformance corpus
-contains 789 cases, including 383 focused ISO
+contains 791 cases, including 385 focused ISO
 cases derived from the success, failure, mode, and error behavior in
 ISO/IEC 13211-1 clauses 7 and 8, Part 2 modules, and Part 3 grammar rules.
 Separate exact-output suites check 189 normal