eyeprolog 1.2.29 → 1.2.31

package/README.md

@@ -105,8 +105,8 @@ modules, DCGs, quads, libraries, proofs, and the other documented extensions.
 The auditable processor-requirement checklist lives in
 [`test/conformance/ISO-COMPLIANCE.md`](test/conformance/ISO-COMPLIANCE.md).
 The separate [WG17 syntax ledger](test/conformance/WG17-SYNTAX-STATUS.md)
-records executable dispositions for all 366 active upstream syntax cases
-(100% traced) and runs as part of `npm test`.
+records executable dispositions for the reviewed upstream WG17 syntax cases
+and runs as part of `npm test`.
 EyeProlog does not yet claim independent certification or closure of every
 normative Part 1 requirement.
 

package/conformance-report.md

@@ -6,7 +6,7 @@ This report summarizes the file-based conformance corpus under `test/conformance
 |---|---:|---:|---:|---:|---:|
 | aggregation | 17 | 0 | 0 | 0 | 17 |
 | arithmetic | 38 | 0 | 0 | 0 | 38 |
-| atoms | 22 | 8 | 0 | 0 | 30 |
+| atoms | 23 | 8 | 0 | 0 | 31 |
 | automatic-tabling | 6 | 0 | 0 | 0 | 6 |
 | builtins | 11 | 0 | 0 | 0 | 11 |
 | context | 11 | 0 | 0 | 0 | 11 |
@@ -22,5 +22,5 @@ This report summarizes the file-based conformance corpus under `test/conformance
 | syntax | 12 | 23 | 0 | 0 | 35 |
 | terms | 26 | 3 | 0 | 0 | 29 |
 | unification | 18 | 0 | 0 | 0 | 18 |
-| variables | 16 | 9 | 0 | 0 | 25 |
-| **Total** | **483** | **269** | **19** | **21** | **792** |
+| variables | 16 | 7 | 0 | 0 | 23 |
+| **Total** | **484** | **267** | **19** | **21** | **791** |

package/examples/output/fast-fourier-transform.pl

@@ -1 +1 @@
-fft([0, 1, 2, 3, 4, 5, 6, 7], [n(232, op('+', 216, 231)), n(231, op(*, 217, 230)), n(230, op('+', 222, 229)), n(229, op(*, 223, 228)), n(228, op('+', 224, 227)), n(227, op(*, 225, 226)), n(226, a(7)), n(225, w ^ 4), n(224, a(3)), n(223, w ^ 6), n(222, op('+', 218, 221)), n(221, op(*, 219, 220)), n(220, a(5)), n(219, w ^ 4), n(218, a(1)), n(217, w ^ 7), n(216, op('+', 208, 215)), n(215, op(*, 209, 214)), n(214, op('+', 210, 213)), n(213, op(*, 211, 212)), n(212, a(6)), n(211, w ^ 4), n(210, a(2)), n(209, w ^ 6), n(208, op('+', 204, 207)), n(207, op(*, 205, 206)), n(206, a(4)), n(205, w ^ 4), n(204, a(0)), n(203, op('+', 187, 202)), n(202, op(*, 188, 201)), n(201, op('+', 193, 200)), n(200, op(*, 194, 199)), n(199, op('+', 195, 198)), n(198, op(*, 196, 197)), n(197, a(7)), n(196, w ^ 0), n(195, a(3)), n(194, w ^ 4), n(193, op('+', 189, 192)), n(192, op(*, 190, 191)), n(191, a(5)), n(190, w ^ 0), n(189, a(1)), n(188, w ^ 6), n(187, op('+', 179, 186)), n(186, op(*, 180, 185)), n(185, op('+', 181, 184)), n(184, op(*, 182, 183)), n(183, a(6)), n(182, w ^ 0), n(181, a(2)), n(180, w ^ 4), n(179, op('+', 175, 178)), n(178, op(*, 176, 177)), n(177, a(4)), n(176, w ^ 0), n(175, a(0)), n(174, op('+', 158, 173)), n(173, op(*, 159, 172)), n(172, op('+', 164, 171)), n(171, op(*, 165, 170)), n(170, op('+', 166, 169)), n(169, op(*, 167, 168)), n(168, a(7)), n(167, w ^ 4), n(166, a(3)), n(165, w ^ 2), n(164, op('+', 160, 163)), n(163, op(*, 161, 162)), n(162, a(5)), n(161, w ^ 4), n(160, a(1)), n(159, w ^ 5), n(158, op('+', 150, 157)), n(157, op(*, 151, 156)), n(156, op('+', 152, 155)), n(155, op(*, 153, 154)), n(154, a(6)), n(153, w ^ 4), n(152, a(2)), n(151, w ^ 2), n(150, op('+', 146, 149)), n(149, op(*, 147, 148)), n(148, a(4)), n(147, w ^ 4), n(146, a(0)), n(145, op('+', 129, 144)), n(144, op(*, 130, 143)), n(143, op('+', 135, 142)), n(142, op(*, 136, 141)), n(141, op('+', 137, 140)), n(140, op(*, 138, 139)), n(139, a(7)), n(138, w ^ 0), n(137, a(3)), n(136, w ^ 0), n(135, op('+', 131, 134)), n(134, op(*, 132, 133)), n(133, a(5)), n(132, w ^ 0), n(131, a(1)), n(130, w ^ 4), n(129, op('+', 121, 128)), n(128, op(*, 122, 127)), n(127, op('+', 123, 126)), n(126, op(*, 124, 125)), n(125, a(6)), n(124, w ^ 0), n(123, a(2)), n(122, w ^ 0), n(121, op('+', 117, 120)), n(120, op(*, 118, 119)), n(119, a(4)), n(118, w ^ 0), n(117, a(0)), n(116, op('+', 100, 115)), n(115, op(*, 101, 114)), n(114, op('+', 106, 113)), n(113, op(*, 107, 112)), n(112, op('+', 108, 111)), n(111, op(*, 109, 110)), n(110, a(7)), n(109, w ^ 4), n(108, a(3)), n(107, w ^ 6), n(106, op('+', 102, 105)), n(105, op(*, 103, 104)), n(104, a(5)), n(103, w ^ 4), n(102, a(1)), n(101, w ^ 3), n(100, op('+', 92, 99)), n(99, op(*, 93, 98)), n(98, op('+', 94, 97)), n(97, op(*, 95, 96)), n(96, a(6)), n(95, w ^ 4), n(94, a(2)), n(93, w ^ 6), n(92, op('+', 88, 91)), n(91, op(*, 89, 90)), n(90, a(4)), n(89, w ^ 4), n(88, a(0)), n(87, op('+', 71, 86)), n(86, op(*, 72, 85)), n(85, op('+', 77, 84)), n(84, op(*, 78, 83)), n(83, op('+', 79, 82)), n(82, op(*, 80, 81)), n(81, a(7)), n(80, w ^ 0), n(79, a(3)), n(78, w ^ 4), n(77, op('+', 73, 76)), n(76, op(*, 74, 75)), n(75, a(5)), n(74, w ^ 0), n(73, a(1)), n(72, w ^ 2), n(71, op('+', 63, 70)), n(70, op(*, 64, 69)), n(69, op('+', 65, 68)), n(68, op(*, 66, 67)), n(67, a(6)), n(66, w ^ 0), n(65, a(2)), n(64, w ^ 4), n(63, op('+', 59, 62)), n(62, op(*, 60, 61)), n(61, a(4)), n(60, w ^ 0), n(59, a(0)), n(58, op('+', 42, 57)), n(57, op(*, 43, 56)), n(56, op('+', 48, 55)), n(55, op(*, 49, 54)), n(54, op('+', 50, 53)), n(53, op(*, 51, 52)), n(52, a(7)), n(51, w ^ 4), n(50, a(3)), n(49, w ^ 2), n(48, op('+', 44, 47)), n(47, op(*, 45, 46)), n(46, a(5)), n(45, w ^ 4), n(44, a(1)), n(43, w ^ 1), n(42, op('+', 34, 41)), n(41, op(*, 35, 40)), n(40, op('+', 36, 39)), n(39, op(*, 37, 38)), n(38, a(6)), n(37, w ^ 4), n(36, a(2)), n(35, w ^ 2), n(34, op('+', 30, 33)), n(33, op(*, 31, 32)), n(32, a(4)), n(31, w ^ 4), n(30, a(0)), n(29, op('+', 13, 28)), n(28, op(*, 14, 27)), n(27, op('+', 19, 26)), n(26, op(*, 20, 25)), n(25, op('+', 21, 24)), n(24, op(*, 22, 23)), n(23, a(7)), n(22, w ^ 0), n(21, a(3)), n(20, w ^ 0), n(19, op('+', 15, 18)), n(18, op(*, 16, 17)), n(17, a(5)), n(16, w ^ 0), n(15, a(1)), n(14, w ^ 0), n(13, op('+', 5, 12)), n(12, op(*, 6, 11)), n(11, op('+', 7, 10)), n(10, op(*, 8, 9)), n(9, a(6)), n(8, w ^ 0), n(7, a(2)), n(6, w ^ 0), n(5, op('+', 1, 4)), n(4, op(*, 2, 3)), n(3, a(4)), n(2, w ^ 0), n(1, a(0))]).
+fft([0, 1, 2, 3, 4, 5, 6, 7], [n(232, op(+, 216, 231)), n(231, op(*, 217, 230)), n(230, op(+, 222, 229)), n(229, op(*, 223, 228)), n(228, op(+, 224, 227)), n(227, op(*, 225, 226)), n(226, a(7)), n(225, w ^ 4), n(224, a(3)), n(223, w ^ 6), n(222, op(+, 218, 221)), n(221, op(*, 219, 220)), n(220, a(5)), n(219, w ^ 4), n(218, a(1)), n(217, w ^ 7), n(216, op(+, 208, 215)), n(215, op(*, 209, 214)), n(214, op(+, 210, 213)), n(213, op(*, 211, 212)), n(212, a(6)), n(211, w ^ 4), n(210, a(2)), n(209, w ^ 6), n(208, op(+, 204, 207)), n(207, op(*, 205, 206)), n(206, a(4)), n(205, w ^ 4), n(204, a(0)), n(203, op(+, 187, 202)), n(202, op(*, 188, 201)), n(201, op(+, 193, 200)), n(200, op(*, 194, 199)), n(199, op(+, 195, 198)), n(198, op(*, 196, 197)), n(197, a(7)), n(196, w ^ 0), n(195, a(3)), n(194, w ^ 4), n(193, op(+, 189, 192)), n(192, op(*, 190, 191)), n(191, a(5)), n(190, w ^ 0), n(189, a(1)), n(188, w ^ 6), n(187, op(+, 179, 186)), n(186, op(*, 180, 185)), n(185, op(+, 181, 184)), n(184, op(*, 182, 183)), n(183, a(6)), n(182, w ^ 0), n(181, a(2)), n(180, w ^ 4), n(179, op(+, 175, 178)), n(178, op(*, 176, 177)), n(177, a(4)), n(176, w ^ 0), n(175, a(0)), n(174, op(+, 158, 173)), n(173, op(*, 159, 172)), n(172, op(+, 164, 171)), n(171, op(*, 165, 170)), n(170, op(+, 166, 169)), n(169, op(*, 167, 168)), n(168, a(7)), n(167, w ^ 4), n(166, a(3)), n(165, w ^ 2), n(164, op(+, 160, 163)), n(163, op(*, 161, 162)), n(162, a(5)), n(161, w ^ 4), n(160, a(1)), n(159, w ^ 5), n(158, op(+, 150, 157)), n(157, op(*, 151, 156)), n(156, op(+, 152, 155)), n(155, op(*, 153, 154)), n(154, a(6)), n(153, w ^ 4), n(152, a(2)), n(151, w ^ 2), n(150, op(+, 146, 149)), n(149, op(*, 147, 148)), n(148, a(4)), n(147, w ^ 4), n(146, a(0)), n(145, op(+, 129, 144)), n(144, op(*, 130, 143)), n(143, op(+, 135, 142)), n(142, op(*, 136, 141)), n(141, op(+, 137, 140)), n(140, op(*, 138, 139)), n(139, a(7)), n(138, w ^ 0), n(137, a(3)), n(136, w ^ 0), n(135, op(+, 131, 134)), n(134, op(*, 132, 133)), n(133, a(5)), n(132, w ^ 0), n(131, a(1)), n(130, w ^ 4), n(129, op(+, 121, 128)), n(128, op(*, 122, 127)), n(127, op(+, 123, 126)), n(126, op(*, 124, 125)), n(125, a(6)), n(124, w ^ 0), n(123, a(2)), n(122, w ^ 0), n(121, op(+, 117, 120)), n(120, op(*, 118, 119)), n(119, a(4)), n(118, w ^ 0), n(117, a(0)), n(116, op(+, 100, 115)), n(115, op(*, 101, 114)), n(114, op(+, 106, 113)), n(113, op(*, 107, 112)), n(112, op(+, 108, 111)), n(111, op(*, 109, 110)), n(110, a(7)), n(109, w ^ 4), n(108, a(3)), n(107, w ^ 6), n(106, op(+, 102, 105)), n(105, op(*, 103, 104)), n(104, a(5)), n(103, w ^ 4), n(102, a(1)), n(101, w ^ 3), n(100, op(+, 92, 99)), n(99, op(*, 93, 98)), n(98, op(+, 94, 97)), n(97, op(*, 95, 96)), n(96, a(6)), n(95, w ^ 4), n(94, a(2)), n(93, w ^ 6), n(92, op(+, 88, 91)), n(91, op(*, 89, 90)), n(90, a(4)), n(89, w ^ 4), n(88, a(0)), n(87, op(+, 71, 86)), n(86, op(*, 72, 85)), n(85, op(+, 77, 84)), n(84, op(*, 78, 83)), n(83, op(+, 79, 82)), n(82, op(*, 80, 81)), n(81, a(7)), n(80, w ^ 0), n(79, a(3)), n(78, w ^ 4), n(77, op(+, 73, 76)), n(76, op(*, 74, 75)), n(75, a(5)), n(74, w ^ 0), n(73, a(1)), n(72, w ^ 2), n(71, op(+, 63, 70)), n(70, op(*, 64, 69)), n(69, op(+, 65, 68)), n(68, op(*, 66, 67)), n(67, a(6)), n(66, w ^ 0), n(65, a(2)), n(64, w ^ 4), n(63, op(+, 59, 62)), n(62, op(*, 60, 61)), n(61, a(4)), n(60, w ^ 0), n(59, a(0)), n(58, op(+, 42, 57)), n(57, op(*, 43, 56)), n(56, op(+, 48, 55)), n(55, op(*, 49, 54)), n(54, op(+, 50, 53)), n(53, op(*, 51, 52)), n(52, a(7)), n(51, w ^ 4), n(50, a(3)), n(49, w ^ 2), n(48, op(+, 44, 47)), n(47, op(*, 45, 46)), n(46, a(5)), n(45, w ^ 4), n(44, a(1)), n(43, w ^ 1), n(42, op(+, 34, 41)), n(41, op(*, 35, 40)), n(40, op(+, 36, 39)), n(39, op(*, 37, 38)), n(38, a(6)), n(37, w ^ 4), n(36, a(2)), n(35, w ^ 2), n(34, op(+, 30, 33)), n(33, op(*, 31, 32)), n(32, a(4)), n(31, w ^ 4), n(30, a(0)), n(29, op(+, 13, 28)), n(28, op(*, 14, 27)), n(27, op(+, 19, 26)), n(26, op(*, 20, 25)), n(25, op(+, 21, 24)), n(24, op(*, 22, 23)), n(23, a(7)), n(22, w ^ 0), n(21, a(3)), n(20, w ^ 0), n(19, op(+, 15, 18)), n(18, op(*, 16, 17)), n(17, a(5)), n(16, w ^ 0), n(15, a(1)), n(14, w ^ 0), n(13, op(+, 5, 12)), n(12, op(*, 6, 11)), n(11, op(+, 7, 10)), n(10, op(*, 8, 9)), n(9, a(6)), n(8, w ^ 0), n(7, a(2)), n(6, w ^ 0), n(5, op(+, 1, 4)), n(4, op(*, 2, 3)), n(3, a(4)), n(2, w ^ 0), n(1, a(0))]).

package/package.json

@@ -3,7 +3,7 @@
   "publishConfig": {
     "access": "public"
   },
-  "version": "1.2.29",
+  "version": "1.2.31",
   "description": "EyeProlog turns facts and rules into answers and proofs.",
   "type": "module",
   "main": "./index.js",
@@ -50,10 +50,12 @@
     "test:eyeprolog": "node test/run-all.mjs",
     "test:conformance": "node test/run-conformance.mjs",
     "test:iso-strict": "node test/run-iso-strict.mjs",
-    "test:wg17-syntax": "node test/run-wg17-syntax.mjs",
+    "test:wg17": "node test/run-wg17.mjs",
     "test:examples": "node test/run-examples.mjs",
     "test:regression": "node test/run-regression.mjs",
     "test:playground": "node test/run-playground.mjs",
+    "wg17:upgrade": "node tools/upgrade-wg17.mjs",
+    "report:wg17": "node tools/report-wg17-syntax-coverage.mjs",
     "report:wg17-syntax": "node tools/report-wg17-syntax-coverage.mjs",
     "preversion": "npm test && node test/run-conformance-report.mjs conformance-report.md",
     "postversion": "git push origin HEAD --follow-tags"

package/src/io.js

@@ -1,6 +1,57 @@
 // Synchronous ISO stream state shared by a solver and all of its inner solvers.
 import { BufferCtor, fs } from './platform.js';
 
+const INVALID_UTF8_SENTINEL = '\udc00';
+
+export class InvalidCharacterEncodingError extends Error {
+  constructor() {
+    super('invalid character encoding');
+    this.name = 'InvalidCharacterEncodingError';
+  }
+}
+
+function decodeUtf8ForTextStream(buffer) {
+  const bytes = buffer;
+  let text = '';
+  for (let i = 0; i < bytes.length;) {
+    const first = bytes[i];
+    if (first <= 0x7f) {
+      text += String.fromCodePoint(first);
+      i++;
+      continue;
+    }
+
+    let width = 0;
+    let code = 0;
+    let minimum = 0;
+    if (first >= 0xc2 && first <= 0xdf) { width = 2; code = first & 0x1f; minimum = 0x80; }
+    else if (first >= 0xe0 && first <= 0xef) { width = 3; code = first & 0x0f; minimum = 0x800; }
+    else if (first >= 0xf0 && first <= 0xf4) { width = 4; code = first & 0x07; minimum = 0x10000; }
+
+    let valid = width !== 0 && i + width <= bytes.length;
+    if (valid) {
+      for (let j = 1; j < width; j++) {
+        const continuation = bytes[i + j];
+        if ((continuation & 0xc0) !== 0x80) { valid = false; break; }
+        code = (code << 6) | (continuation & 0x3f);
+      }
+      if (code < minimum || code > 0x10ffff || (code >= 0xd800 && code <= 0xdfff)) valid = false;
+    }
+
+    if (!valid) {
+      // A lone low surrogate cannot be produced by valid UTF-8. Keep it as a
+      // positional marker so open/4 succeeds and character input predicates
+      // can report representation_error(character) when the bad byte is read.
+      text += INVALID_UTF8_SENTINEL;
+      i++;
+      continue;
+    }
+    text += String.fromCodePoint(code);
+    i += width;
+  }
+  return text;
+}
+
 export class StreamManager {
   constructor(options = {}) {
     this.nextId = 2;
@@ -32,11 +83,17 @@ export class StreamManager {
     if (!fs) throw new Error('file streams are unavailable in this runtime');
     const type = options.type ?? 'text';
     let content = type === 'binary' ? [] : '';
-    if (mode === 'read') content = fs.readFileSync(path, type === 'binary' ? null : 'utf8');
-    else if (mode === 'append' && fs.existsSync(path)) content = fs.readFileSync(path, type === 'binary' ? null : 'utf8');
+    let strictUtf8 = false;
+    if (mode === 'read') {
+      const raw = fs.readFileSync(path);
+      if (type === 'binary') content = raw;
+      else { content = decodeUtf8ForTextStream(raw); strictUtf8 = true; }
+    } else if (mode === 'append' && fs.existsSync(path)) {
+      content = fs.readFileSync(path, type === 'binary' ? null : 'utf8');
+    }
     if (BufferCtor?.isBuffer(content)) content = [...content];
     return this.add({
-      id: this.nextId++, alias: options.alias ?? null, mode, type, content,
+      id: this.nextId++, alias: options.alias ?? null, mode, type, content, strictUtf8,
       position: mode === 'append' ? content.length : 0, path,
       reposition: options.reposition ?? false,
       eofAction: options.eof_action ?? 'error', standard: false,
@@ -52,8 +109,19 @@ export class StreamManager {
   }
   readUnit(stream, peek = false) {
     if (stream.position >= stream.content.length) return null;
-    const value = stream.type === 'binary' ? stream.content[stream.position] : String(stream.content)[stream.position];
-    if (!peek) stream.position++;
+    if (stream.type === 'binary') {
+      const value = stream.content[stream.position];
+      if (!peek) stream.position++;
+      stream.pastEnd = false;
+      return value;
+    }
+    const source = String(stream.content);
+    if (stream.strictUtf8 && source[stream.position] === INVALID_UTF8_SENTINEL) {
+      throw new InvalidCharacterEncodingError();
+    }
+    const codePoint = source.codePointAt(stream.position);
+    const value = String.fromCodePoint(codePoint);
+    if (!peek) stream.position += value.length;
     stream.pastEnd = false;
     return value;
   }

package/src/iso.js

@@ -172,6 +172,7 @@ export const isoBuiltins = {
 export const eyePrologLibraryBuiltins = {
   register(registry) {
     registry.add('eyeprolog__call_nth', 2, callNthBuiltin, { eyePrologLibrary: true });
+    registry.add('eyeprolog__countall', 2, countAllBuiltin, { eyePrologLibrary: true });
     registry.add('eyeprolog__freeze', 2, freezeBuiltin, { eyePrologLibrary: true });
   },
 };
@@ -1023,7 +1024,15 @@ function inputUnitBuiltin(name) {
       stream.pastEnd = false;
     }
     const peek = name.startsWith('peek');
-    const unit = solver.io.readUnit(stream, peek);
+    let unit;
+    try {
+      unit = solver.io.readUnit(stream, peek);
+    } catch (error) {
+      if (error?.name === 'InvalidCharacterEncodingError') {
+        throw new PrologError('representation_error(character)');
+      }
+      throw error;
+    }
     if (unit == null && !peek) stream.pastEnd = true;
     const result = unit == null ? (binary ? numberTerm(-1) : name.endsWith('code') ? numberTerm(-1) : atom('end_of_file'))
       : binary ? numberTerm(unit) : name.endsWith('code') ? numberTerm(unit.codePointAt(0)) : atom(unit);
@@ -1072,7 +1081,7 @@ function isTerminatingFullStop(source, index) {
   return true;
 }
 
-const termGraphicCharacters = new Set('#$&*+-./<=>@^~\\:');
+const termGraphicCharacters = new Set('#$&*+-./<=>?@^~\\:');
 function continuesGraphicToken(source, index) {
   return index > 0 && termGraphicCharacters.has(source[index - 1]);
 }
@@ -1272,9 +1281,9 @@ function* readTermBuiltin({ solver, goal, env }) {
   yield next;
 }
 function defaultTermWriteOptions(mode) {
-  if (mode === 'writeq') return { quoted: true, ignoreOps: false, numbervars: true, variableNames: new Map(), compact: true, operatorAtomsAsArgs: true };
-  if (mode === 'canonical') return { quoted: true, ignoreOps: true, numbervars: false, variableNames: new Map(), compact: true, operatorAtomsAsArgs: true };
-  return { quoted: false, ignoreOps: false, numbervars: true, variableNames: new Map(), compact: true, operatorAtomsAsArgs: true };
+  if (mode === 'writeq') return { quoted: true, ignoreOps: false, numbervars: true, variableNames: new Map(), compact: true, operatorAtomsAsArgs: true, doubleQuotes: null };
+  if (mode === 'canonical') return { quoted: true, ignoreOps: true, numbervars: false, variableNames: new Map(), compact: true, operatorAtomsAsArgs: true, doubleQuotes: null };
+  return { quoted: false, ignoreOps: false, numbervars: true, variableNames: new Map(), compact: true, operatorAtomsAsArgs: true, doubleQuotes: null };
 }
 
 function writeOptionBoolean(value, env, option) {
@@ -1323,6 +1332,7 @@ function termWriteOptions(term, env, mode = 'write') {
     if (option.name === 'quoted') result.quoted = writeOptionBoolean(option.args[0], env, option);
     else if (option.name === 'ignore_ops') result.ignoreOps = writeOptionBoolean(option.args[0], env, option);
     else if (option.name === 'numbervars') result.numbervars = writeOptionBoolean(option.args[0], env, option);
+    else if (option.name === 'double_quotes') result.doubleQuotes = writeOptionBoolean(option.args[0], env, option);
     else if (option.name === 'variable_names') result.variableNames = writeVariableNames(option.args[0], env, option);
     else throw new PrologError('domain_error(write_option)', option);
   }
@@ -1345,6 +1355,11 @@ function* writeTermBuiltin({ solver, goal, env }) {
   const stream = goal.arity === 2 ? solver.io.resolve(solver.io.currentOutput) : requireStream(solver, goal.args[0], env, 'write');
   if (stream.type !== 'text') throw new PrologError('permission_error(output, binary_stream)', streamHandle(stream.id));
   const options = termWriteOptions(goal.args[goal.arity - 1], env);
+  if (options.doubleQuotes === true) {
+    options.doubleQuotes = solver.prologFlags.get('double_quotes')?.value?.name ?? 'chars';
+  } else {
+    options.doubleQuotes = null;
+  }
   solver.io.writeUnit(stream, formatTermForWrite(goal.args[goal.arity - 2], env, {
     ...options,
     operators: solver.program.operators.values(),
@@ -1667,6 +1682,8 @@ function numberListText(list, env, kind, valueIsBound) {
     : String.fromCodePoint(Number(item.name))).join('');
 }
 
+const numberSyntaxError = new PrologError('syntax_error(number)');
+
 function numberListBuiltin(kind) {
   return function* ({ goal, env }) {
     const value = deref(goal.args[0], env);
@@ -1678,7 +1695,7 @@ function numberListBuiltin(kind) {
     if (value.type === NUMBER) {
       if (text != null) {
         const parsed = parseIsoNumber(text);
-        if (parsed == null) throw new PrologError('syntax_error(number)');
+        if (parsed == null) throw numberSyntaxError;
         if (sameNumber(value, parsed)) yield next;
         return;
       }
@@ -1688,7 +1705,7 @@ function numberListBuiltin(kind) {
       return;
     }
     const parsed = parseIsoNumber(text);
-    if (parsed == null) throw new PrologError('syntax_error(number)');
+    if (parsed == null) throw numberSyntaxError;
     if (unify(goal.args[0], parsed, next)) yield next;
   };
 }
@@ -1835,6 +1852,32 @@ function* callClosureBuiltin({ solver, goal, env }) {
   }
 }
 
+function* countAllBuiltin({ solver, goal, env }) {
+  const requested = deref(goal.args[1], env);
+  // Validate Count before inspecting or executing Goal. This preserves the
+  // expected error priority for e.g. countall(throw(x), -1).
+  if (requested.type !== VAR) {
+    if (requested.type !== NUMBER || !isDecimalInteger(requested.name)) {
+      throw new PrologError('type_error(integer)', requested);
+    }
+    if (BigInt(requested.name) < 0n) {
+      throw new PrologError('domain_error(not_less_than_zero)', requested);
+    }
+  }
+
+  const invoked = callable(goal.args[0], env);
+  const child = solver.cloneForInnerGoal();
+  let count = 0n;
+  try {
+    for (const _ of child.solve([invoked], env.clone(), 0)) count++;
+  } finally {
+    solver.absorbStatsFrom(child);
+  }
+
+  const next = env.clone();
+  if (unify(goal.args[1], numberTerm(count), next)) yield next;
+}
+
 function* callNthBuiltin({ solver, goal, env }) {
   const requestedTerm = deref(goal.args[1], env);
   // Zero is the one Nth value that fails before Goal is inspected.

package/src/lib/clpz.pl

@@ -8,21 +8,21 @@
 */
 
 :- module(clpz, [
-    '#>'/2,
-    '#<'/2,
-    '#>='/2,
-    '#=<'/2,
-    '#='/2,
-    '#\\='/2,
+    ('#>')/2,
+    ('#<')/2,
+    ('#>=')/2,
+    ('#=<')/2,
+    ('#=')/2,
+    ('#\\=')/2,
     (#\\)/1,
-    '#<==>'/2,
-    '#==>'/2,
-    '#<=='/2,
-    '#\\/'/2,
+    ('#<==>')/2,
+    ('#==>')/2,
+    ('#<==')/2,
+    ('#\\/')/2,
     (#\\)/2,
-    '#/\\'/2,
-    in/2,
-    ins/2,
+    ('#/\\')/2,
+    ('in')/2,
+    ('ins')/2,
     all_different/1,
     all_distinct/1,
     nvalue/2,

package/src/lib/iso_ext.pl

@@ -17,9 +17,7 @@
 % Trealla. These definitions use only EyeProlog's ISO profile; extensions that
 % require runtime cleanup, choice-point, alarm, or timeout hooks are omitted.
 
-countall(Goal, Count) :-
-    findall(1, Goal, Ones),
-    iso_ext__length(Ones, 0, Count).
+countall(Goal, Count) :- eyeprolog__countall(Goal, Count).
 
 forall(Condition, Action) :-
     findall(Action, Condition, Actions),

package/src/lib/lists.pl

@@ -66,7 +66,7 @@ max_list([X|Xs], Max) :- lists__max_list(Xs, X, Max).
 
 list_to_set(List, Set) :- lists__list_to_set(List, [], Set).
 
-countall(Goal, Count) :- findall(1, Goal, Ones), lists__length_count(Ones, 0, Count).
+countall(Goal, Count) :- eyeprolog__countall(Goal, Count).
 
 set_nth0(0, [_|Xs], X, [X|Xs]).
 set_nth0(N, [Y|Ys], X, [Y|Zs]) :-

package/src/lib/prologue.pl

@@ -178,9 +178,7 @@ foldl(Closure, [A|As], [B|Bs], [C|Cs], Acc0, Acc) :-
     call(Closure, A, B, C, Acc0, Acc1),
     foldl(Closure, As, Bs, Cs, Acc1, Acc).
 
-countall(Goal, Count) :-
-    findall(1, Goal, Ones),
-    length(Ones, Count).
+countall(Goal, Count) :- eyeprolog__countall(Goal, Count).
 
 prologue__integer_or_variable(X) :- var(X), !.
 prologue__integer_or_variable(X) :- prologue__integer(X).

package/src/parser.js

@@ -33,7 +33,7 @@ function isPlainAtomStartCode(code) {
   return code >= 97 && code <= 122;
 }
 
-const graphicAtomChars = '#$&*+-./<=>@^~\\:';
+const graphicAtomChars = '#$&*+-./<=>?@^~\\:';
 
 // ISO operator syntax is lowered to the same ordinary compound terms used by
 // canonical notation. Commas remain separators except inside parentheses.
@@ -650,7 +650,7 @@ class Parser {
         const postfix = postfixName == null ? null : this.postfixOperators.get(postfixName);
         if (!postfix || postfix.precedence < minPrecedence ||
             (strictPostfixPrecedence === postfix.precedence)) break;
-        if (this.strictIso && leftIsBareOperatorAtom) {
+        if (leftIsBareOperatorAtom) {
           throw new Error(`parse line ${this.token.line}: operator atom ${left.name} requires parentheses as an operand`);
         }
         const name = postfixName;
@@ -659,7 +659,7 @@ class Parser {
         strictPostfixPrecedence = postfix.strict ? postfix.precedence : null;
         continue;
       }
-      if (this.strictIso && leftIsBareOperatorAtom) {
+      if (leftIsBareOperatorAtom) {
         throw new Error(`parse line ${this.token.line}: operator atom ${left.name} requires parentheses as an operand`);
       }
       strictPostfixPrecedence = null;
@@ -682,7 +682,7 @@ class Parser {
         }
       }
     }
-    if (this.strictIso && leftIsBareOperatorAtom && left.type === ATOM && !allowOperatorAtom) {
+    if (leftIsBareOperatorAtom && left.type === ATOM && !allowOperatorAtom) {
       throw new Error(`parse line ${this.token.line}: operator atom ${left.name} requires parentheses as an operand`);
     }
     return left;
@@ -693,7 +693,7 @@ class Parser {
     // permits an operator atom directly as an `arg`; a leading `:-` cannot be
     // prefix operator notation at argument priority, so it denotes the atom.
     if (this.token.type === TOK.IF) {
-      if (this.strictIso && !allowOperatorAtom) {
+      if (!allowOperatorAtom) {
         throw new Error(`parse line ${this.token.line}: operator atom :- requires argument context or parentheses`);
       }
       this.advance();
@@ -732,7 +732,7 @@ class Parser {
       // the operator as an atom instead of reporting a misleading bad-term
       // error.
       if ([TOK.COMMA, TOK.RPAREN, TOK.RBRACKET, TOK.BAR, TOK.DOT].includes(this.token.type)) {
-        if (this.strictIso && !allowOperatorAtom && this.token.type !== TOK.DOT) {
+        if (!allowOperatorAtom && this.token.type !== TOK.DOT) {
           throw new Error(`parse line ${this.token.line}: operator atom ${op} requires argument context or parentheses`);
         }
         return atom(op);
@@ -788,11 +788,12 @@ class Parser {
     }
     if (this.token.type === TOK.ATOM) {
       const name = this.token.text;
+      const quoted = this.token.quoted === true;
       this.advance();
       if (this.token.type === TOK.LPAREN && this.token.precededByLayout !== true) {
         return this.parseFunctionalNotation(name);
       }
-      if (this.strictIso && !allowOperatorAtom &&
+      if (!quoted && !allowOperatorAtom &&
           (this.infixOperators.has(name) || this.prefixOperators.has(name) || this.postfixOperators.has(name))) {
         throw new Error(`parse line ${this.token.line}: operator atom ${name} requires argument context or parentheses`);
       }
@@ -1385,6 +1386,8 @@ export function parseProgramText(source, options = {}) {
   return parseClauses(source, options);
 }
 
+const invalidNumberTokenError = new Error('not exactly one number token');
+
 export function parseNumberTokenText(text) {
   const source = String(text ?? '');
   let position = 0;
@@ -1401,20 +1404,20 @@ export function parseNumberTokenText(text) {
     position += 2;
     let value = source[position] ?? '';
     if (!value || (value !== ' ' && isWhitespaceCode(value.charCodeAt(0)))) {
-      throw new Error('not exactly one number token');
+      throw invalidNumberTokenError;
     }
     position++;
     const firstCode = value.charCodeAt(0);
     if (firstCode >= 0xd800 && firstCode <= 0xdbff) {
       const secondCode = source.charCodeAt(position);
-      if (secondCode < 0xdc00 || secondCode > 0xdfff) throw new Error('not exactly one number token');
+      if (secondCode < 0xdc00 || secondCode > 0xdfff) throw invalidNumberTokenError;
       value += source[position++];
     } else if (firstCode >= 0xdc00 && firstCode <= 0xdfff) {
-      throw new Error('not exactly one number token');
+      throw invalidNumberTokenError;
     }
 
     if (value === "'") {
-      if (source[position] !== "'") throw new Error('not exactly one number token');
+      if (source[position] !== "'") throw invalidNumberTokenError;
       position++;
     } else if (value === '\\') {
       const escaped = source[position++] ?? '';
@@ -1424,25 +1427,25 @@ export function parseNumberTokenText(text) {
       } else if (escaped === 'x') {
         let digits = '';
         while (/^[0-9A-Fa-f]$/.test(source[position] ?? '')) digits += source[position++];
-        if (!digits || source[position++] !== '\\') throw new Error('not exactly one number token');
+        if (!digits || source[position++] !== '\\') throw invalidNumberTokenError;
         const code = Number.parseInt(digits, 16);
-        if (code > 0x10ffff || (code >= 0xd800 && code <= 0xdfff)) throw new Error('not exactly one number token');
+        if (code > 0x10ffff || (code >= 0xd800 && code <= 0xdfff)) throw invalidNumberTokenError;
         value = String.fromCodePoint(code);
       } else if (/^[0-7]$/.test(escaped)) {
         let digits = escaped;
         while (/^[0-7]$/.test(source[position] ?? '')) digits += source[position++];
-        if (source[position++] !== '\\') throw new Error('not exactly one number token');
+        if (source[position++] !== '\\') throw invalidNumberTokenError;
         const code = Number.parseInt(digits, 8);
-        if (code > 0x10ffff || (code >= 0xd800 && code <= 0xdfff)) throw new Error('not exactly one number token');
+        if (code > 0x10ffff || (code >= 0xd800 && code <= 0xdfff)) throw invalidNumberTokenError;
         value = String.fromCodePoint(code);
       } else if (escaped === '\\' || escaped === "'" || escaped === '"' || escaped === '`') {
         value = escaped;
       } else {
-        throw new Error('not exactly one number token');
+        throw invalidNumberTokenError;
       }
     }
 
-    if (position !== source.length) throw new Error('not exactly one number token');
+    if (position !== source.length) throw invalidNumberTokenError;
     const code = value.codePointAt(0);
     return numberTerm(String(negative ? -code : code));
   }
@@ -1454,7 +1457,7 @@ export function parseNumberTokenText(text) {
     position += 2;
     let digits = '';
     while (digitPattern.test(source[position] ?? '')) digits += source[position++];
-    if (!digits || position !== source.length) throw new Error('not exactly one number token');
+    if (!digits || position !== source.length) throw invalidNumberTokenError;
     let integer = 0n;
     for (const digit of digits) integer = integer * BigInt(radix) + BigInt(Number.parseInt(digit, radix));
     if (negative) integer = -integer;
@@ -1463,7 +1466,7 @@ export function parseNumberTokenText(text) {
 
   const digitsStart = position;
   while (isDigitCode(source.charCodeAt(position))) position++;
-  if (position === digitsStart) throw new Error('not exactly one number token');
+  if (position === digitsStart) throw invalidNumberTokenError;
   let hasFraction = false;
   if (source[position] === '.' && isDigitCode(source.charCodeAt(position + 1))) {
     hasFraction = true;
@@ -1475,9 +1478,9 @@ export function parseNumberTokenText(text) {
     if (source[position] === '+' || source[position] === '-') position++;
     const exponentStart = position;
     while (isDigitCode(source.charCodeAt(position))) position++;
-    if (position === exponentStart) throw new Error('not exactly one number token');
+    if (position === exponentStart) throw invalidNumberTokenError;
   }
-  if (position !== source.length) throw new Error('not exactly one number token');
+  if (position !== source.length) throw invalidNumberTokenError;
   if (/^-?\d+$/.test(source)) return numberTerm(BigInt(source).toString());
   if (Object.is(Number(source), -0)) return numberTerm('0.0');
   return numberTerm(source);

package/src/repl.js

@@ -614,6 +614,7 @@ function formatAnswer(engine, state, variables, env) {
       // current operator atoms in argument and list-element positions without
       // quotes, just as writeq/1 already prints them.
       operatorAtomsAsArgs: true,
+      doubleQuotes: state.solver.prologFlags.get('double_quotes')?.value?.name ?? 'chars',
     })}`);
   }
   return bindings.length === 0 ? 'true' : bindings.join(', ');

package/src/solver.js

@@ -446,6 +446,14 @@ export class Solver {
     }
   }
 
+  checkMemoryReservation(bytes) {
+    if (!Number.isFinite(this.maxMemoryBytes) || !Number.isFinite(bytes) || bytes <= 0) return;
+    const used = usedHeapSize();
+    if (used != null && bytes > Math.max(0, this.maxMemoryBytes - used)) {
+      throw new PrologError('resource_error(memory)');
+    }
+  }
+
   *solveUserGoal(goal, rest, env, depth) {
     this.stats.solve_one_goal_calls++;
     if (depth > this.maxDepth) {
@@ -764,6 +772,14 @@ function* fixedLengthSolutions(solver, list, length, env) {
     return;
   }
 
+  // A materialized list cell with its fresh variable occupies roughly 216
+  // bytes on current V8 builds. Reserve conservatively before constructing a
+  // huge list so a resource_error does not leave the heap at the soft limit
+  // and poison the next query.
+  const estimatedListCellBytes = 256n;
+  if (remaining > BigInt(Number.MAX_SAFE_INTEGER)) throw new PrologError('resource_error(memory)');
+  solver.checkMemoryReservation(Number(remaining * estimatedListCellBytes));
+
   const id = nextFreshId();
   let suffix = emptyList();
   for (let index = 0n; index < remaining; index++) {

package/src/standard-library.js

@@ -45,7 +45,7 @@ function libraryUrl(filename) {
 }
 
 export const eyePrologNativeLibraryIndicators = Object.freeze([
-  'call_nth/2', 'freeze/2',
+  'call_nth/2', 'freeze/2', 'countall/2',
   '#>/2', '#</2', '#>=/2', '#=</2', '#=/2', '#\\=/2', '#\\/1',
   '#<==>/2', '#==>/2', '#<==/2', '#\\//2', '#\\/2', '#/\\/2',
   'in/2', 'ins/2', 'all_different/1', 'all_distinct/1', 'nvalue/2', 'sum/3',
@@ -65,7 +65,7 @@ export const eyePrologPortableLibraryIndicators = Object.freeze([
   'matches/2', 'join/3', 'substring/4', 'member/2', 'select/3', 'last/2',
   'nth0/3', 'nth0/4', 'nth1/3', 'nth1/4', 'set_nth0/4', 'take/3', 'drop/3', 'slice/4', 'reverse/2',
   'length/2', 'sum_list/2', 'min_list/2', 'max_list/2', 'list_to_set/2',
-  'countall/2', 'succ/2', 'foldl/4', 'foldl/5', 'foldl/6',
+  'succ/2', 'foldl/4', 'foldl/5', 'foldl/6',
   'forall/2', 'cfor/3', 'findall/4', 'variant/2', 'uuid/3',
 ]);
 export const eyePrologLibraryIndicators = Object.freeze([

package/src/write.js

@@ -4,7 +4,7 @@ import {
   Env, deref, isCons, isEmptyList,
 } from './term.js';
 
-const graphicAtomCharacters = new Set('!#$&*+-/<=>@^~\\'.split(''));
+const graphicAtomCharacters = new Set('!#$&*+-/<=>?@^~\\'.split(''));
 const compactInfixOperators = new Set([':', '..']);
 
 function quotedControlEscape(ch) {
@@ -29,7 +29,6 @@ function atomNeedsQuotes(name) {
   if (name === '[]' || name === '{}') return false;
   if (name === '...') return false;
   if (name.startsWith('/*')) return true;
-  if (name === '\\+' || name === '+' || name === '-' || name === '\\') return true;
   if (/^[a-z][A-Za-z0-9_]*$/.test(name)) return false;
   for (const ch of name) if (!graphicAtomCharacters.has(ch)) return true;
   return false;
@@ -107,7 +106,7 @@ function writeNumberedVariable(index) {
 function operatorName(name) {
   if (name === '.' || name.startsWith('/*')) return quoteAtom(name);
   if (/^[a-z][A-Za-z0-9_]*$/.test(name)) return name;
-  if (/^[!#$&*+\-./<=>@^~\\;:]+$/.test(name)) return name;
+  if (/^[!#$&*+\-./<=>?@^~\\;:]+$/.test(name)) return name;
   return quoteAtom(name);
 }
 
@@ -178,6 +177,10 @@ function format(term, env, options, table, maxPriority = 1200, context = 'term')
     // without quoting. Keep lexical exceptions such as `|` quoted.
     if (options.operatorAtomsAsArgs && context === 'argument' && table.has(resolved.name)) return operatorName(resolved.name);
     if (!options.ignoreOps && context !== 'argument' && table.has(resolved.name)) {
+      // The predefined ?- atom is safe at the end of a written term and is a
+      // graphic atom in ISO syntax. Do not add the legacy parentheses that
+      // issue #35 reports for writeq(?-).
+      if (resolved.name === '?-') return operatorName(resolved.name);
       const definitions = table.get(resolved.name);
       const requiresParentheses = definitions.some(({ specifier }) =>
         ['fx', 'fy', 'xfx', 'xfy', 'yfx'].includes(specifier));