eyeprolog 1.5.68 → 1.5.69

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 (2) hide show
  1. package/package.json +1 -1
  2. package/test/regression/cases-regression.mjs +5 -1
package/package.json CHANGED
@@ -3,7 +3,7 @@
3
3
  "publishConfig": {
4
4
  "access": "public"
5
5
  },
6
- "version": "1.5.68",
6
+ "version": "1.5.69",
7
7
  "description": "EyeProlog turns facts and rules into answers and proofs.",
8
8
  "type": "module",
9
9
  "main": "./index.js",
package/test/regression/cases-regression.mjs CHANGED
@@ -114,8 +114,12 @@ export function regressionCases() {
114
114
  {
115
115
  name: 'REPL prints the complete 8192-cell timed comparison answer (issue #105)',
116
116
  run: () => {
117
+ // Keep the large variable-list answer that overflowed REPL printing,
118
+ // but prepend the differing elements to avoid expensive append/3 setup.
119
+ // The adjacent cases cover long shared-prefix comparison and append/3
120
+ // backtracking separately.
117
121
  const result = runCli([], { input:
118
- 'length(_,I),I=13,N is 2^I,length(P,N),append(P,[1],L1),append(P,[2],L2),' +
122
+ 'length(_,I),I=13,N is 2^I,length(P,N),L1=[1|P],L2=[2|P],' +
119
123
  'time(compare(R,L1,L2)),time(compare_si(S,L1,L2)).\n.\nhalt.\n',
120
124
  timeout: 60000,
121
125
  });