@tuprolog/arg2p 0.16.6 → 0.16.7

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.
package/2p-io-lib.js CHANGED
@@ -1,8 +1,8 @@
1
1
  (function (factory) {
2
2
  if (typeof define === 'function' && define.amd)
3
- define(['exports', './kotlin-kotlin-stdlib.js', './2p-parser-impl.js', './2p-solve.js', './2p-parser-core.js', './2p-core.js', './2p-parser-theory.js', './2p-theory.js', './okio-parent-okio.js', './okio-parent-okio-nodefilesystem.js'], factory);
3
+ define(['exports', './kotlin-kotlin-stdlib.js', './2p-parser-impl.js', './2p-solve.js', './2p-parser-core.js', './2p-core.js', './okio-parent-okio.js', './2p-parser-theory.js', './2p-theory.js', './okio-parent-okio-nodefilesystem.js'], factory);
4
4
  else if (typeof exports === 'object')
5
- factory(module.exports, require('./kotlin-kotlin-stdlib.js'), require('./2p-parser-impl.js'), require('./2p-solve.js'), require('./2p-parser-core.js'), require('./2p-core.js'), require('./2p-parser-theory.js'), require('./2p-theory.js'), require('./okio-parent-okio.js'), require('./okio-parent-okio-nodefilesystem.js'));
5
+ factory(module.exports, require('./kotlin-kotlin-stdlib.js'), require('./2p-parser-impl.js'), require('./2p-solve.js'), require('./2p-parser-core.js'), require('./2p-core.js'), require('./okio-parent-okio.js'), require('./2p-parser-theory.js'), require('./2p-theory.js'), require('./okio-parent-okio-nodefilesystem.js'));
6
6
  else {
7
7
  if (typeof globalThis['kotlin-kotlin-stdlib'] === 'undefined') {
8
8
  throw new Error("Error loading module '2p-io-lib'. Its dependency 'kotlin-kotlin-stdlib' was not found. Please, check whether 'kotlin-kotlin-stdlib' is loaded prior to '2p-io-lib'.");
@@ -19,115 +19,115 @@
19
19
  if (typeof globalThis['2p-core'] === 'undefined') {
20
20
  throw new Error("Error loading module '2p-io-lib'. Its dependency '2p-core' was not found. Please, check whether '2p-core' is loaded prior to '2p-io-lib'.");
21
21
  }
22
+ if (typeof globalThis['okio-parent-okio'] === 'undefined') {
23
+ throw new Error("Error loading module '2p-io-lib'. Its dependency 'okio-parent-okio' was not found. Please, check whether 'okio-parent-okio' is loaded prior to '2p-io-lib'.");
24
+ }
22
25
  if (typeof globalThis['2p-parser-theory'] === 'undefined') {
23
26
  throw new Error("Error loading module '2p-io-lib'. Its dependency '2p-parser-theory' was not found. Please, check whether '2p-parser-theory' is loaded prior to '2p-io-lib'.");
24
27
  }
25
28
  if (typeof globalThis['2p-theory'] === 'undefined') {
26
29
  throw new Error("Error loading module '2p-io-lib'. Its dependency '2p-theory' was not found. Please, check whether '2p-theory' is loaded prior to '2p-io-lib'.");
27
30
  }
28
- if (typeof globalThis['okio-parent-okio'] === 'undefined') {
29
- throw new Error("Error loading module '2p-io-lib'. Its dependency 'okio-parent-okio' was not found. Please, check whether 'okio-parent-okio' is loaded prior to '2p-io-lib'.");
30
- }
31
31
  if (typeof globalThis['okio-parent-okio-nodefilesystem'] === 'undefined') {
32
32
  throw new Error("Error loading module '2p-io-lib'. Its dependency 'okio-parent-okio-nodefilesystem' was not found. Please, check whether 'okio-parent-okio-nodefilesystem' is loaded prior to '2p-io-lib'.");
33
33
  }
34
- globalThis['2p-io-lib'] = factory(typeof globalThis['2p-io-lib'] === 'undefined' ? {} : globalThis['2p-io-lib'], globalThis['kotlin-kotlin-stdlib'], globalThis['2p-parser-impl'], globalThis['2p-solve'], globalThis['2p-parser-core'], globalThis['2p-core'], globalThis['2p-parser-theory'], globalThis['2p-theory'], globalThis['okio-parent-okio'], globalThis['okio-parent-okio-nodefilesystem']);
34
+ globalThis['2p-io-lib'] = factory(typeof globalThis['2p-io-lib'] === 'undefined' ? {} : globalThis['2p-io-lib'], globalThis['kotlin-kotlin-stdlib'], globalThis['2p-parser-impl'], globalThis['2p-solve'], globalThis['2p-parser-core'], globalThis['2p-core'], globalThis['okio-parent-okio'], globalThis['2p-parser-theory'], globalThis['2p-theory'], globalThis['okio-parent-okio-nodefilesystem']);
35
35
  }
36
- }(function (_, kotlin_kotlin, kotlin_it_unibo_tuprolog_parser_impl, kotlin_it_unibo_tuprolog_solve, kotlin_it_unibo_tuprolog_parser_core, kotlin_it_unibo_tuprolog_core, kotlin_it_unibo_tuprolog_parser_theory, kotlin_it_unibo_tuprolog_theory, kotlin_com_squareup_okio_okio, kotlin_com_squareup_okio_okio_nodefilesystem) {
36
+ }(function (_, kotlin_kotlin, kotlin_it_unibo_tuprolog_parser_impl, kotlin_it_unibo_tuprolog_solve, kotlin_it_unibo_tuprolog_parser_core, kotlin_it_unibo_tuprolog_core, kotlin_com_squareup_okio_okio, kotlin_it_unibo_tuprolog_parser_theory, kotlin_it_unibo_tuprolog_theory, kotlin_com_squareup_okio_okio_nodefilesystem) {
37
37
  'use strict';
38
38
  //region block: imports
39
39
  var VOID = kotlin_kotlin.$_$.b;
40
40
  var buildParserFor = kotlin_it_unibo_tuprolog_parser_impl.$_$.v;
41
- var Companion_instance = kotlin_it_unibo_tuprolog_solve.$_$.o;
41
+ var Companion_instance = kotlin_it_unibo_tuprolog_solve.$_$.p;
42
42
  var Unit_instance = kotlin_kotlin.$_$.q;
43
- var protoOf = kotlin_kotlin.$_$.r7;
44
- var equals = kotlin_kotlin.$_$.x6;
45
- var FunctionAdapter = kotlin_kotlin.$_$.m6;
46
- var isInterface = kotlin_kotlin.$_$.l7;
43
+ var protoOf = kotlin_kotlin.$_$.s7;
44
+ var equals = kotlin_kotlin.$_$.y6;
45
+ var FunctionAdapter = kotlin_kotlin.$_$.n6;
46
+ var isInterface = kotlin_kotlin.$_$.m7;
47
47
  var TextChunkSource = kotlin_it_unibo_tuprolog_parser_impl.$_$.t;
48
- var hashCode = kotlin_kotlin.$_$.d7;
49
- var initMetadataForClass = kotlin_kotlin.$_$.e7;
50
- var CoroutineImpl = kotlin_kotlin.$_$.s5;
51
- var THROW_CCE = kotlin_kotlin.$_$.ec;
52
- var SequenceScope = kotlin_kotlin.$_$.n8;
53
- var get_COROUTINE_SUSPENDED = kotlin_kotlin.$_$.r5;
48
+ var hashCode = kotlin_kotlin.$_$.e7;
49
+ var initMetadataForClass = kotlin_kotlin.$_$.f7;
50
+ var CoroutineImpl = kotlin_kotlin.$_$.t5;
51
+ var THROW_CCE = kotlin_kotlin.$_$.gc;
52
+ var SequenceScope = kotlin_kotlin.$_$.o8;
53
+ var get_COROUTINE_SUSPENDED = kotlin_kotlin.$_$.s5;
54
54
  var toParseException = kotlin_it_unibo_tuprolog_parser_core.$_$.j;
55
55
  var PrologSyntaxException = kotlin_it_unibo_tuprolog_parser_impl.$_$.j;
56
- var initMetadataForLambda = kotlin_kotlin.$_$.h7;
57
- var constructCallableReference = kotlin_kotlin.$_$.v6;
56
+ var initMetadataForLambda = kotlin_kotlin.$_$.i7;
57
+ var constructCallableReference = kotlin_kotlin.$_$.w6;
58
58
  var toOperatorTable = kotlin_it_unibo_tuprolog_parser_core.$_$.i;
59
59
  var Companion_instance_0 = kotlin_it_unibo_tuprolog_core.$_$.t;
60
60
  var PrologTermParserVisitor = kotlin_it_unibo_tuprolog_parser_core.$_$.b;
61
- var sequence = kotlin_kotlin.$_$.t9;
61
+ var sequence = kotlin_kotlin.$_$.u9;
62
62
  var LinkedHashMap_init_$Create$ = kotlin_kotlin.$_$.v;
63
- var AbstractLibrary = kotlin_it_unibo_tuprolog_solve.$_$.l2;
64
- var Companion_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.h1;
63
+ var AbstractLibrary = kotlin_it_unibo_tuprolog_solve.$_$.n2;
64
+ var Companion_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.i1;
65
65
  var listOf = kotlin_kotlin.$_$.x3;
66
66
  var collectionSizeOrDefault = kotlin_kotlin.$_$.q2;
67
67
  var ArrayList_init_$Create$ = kotlin_kotlin.$_$.s;
68
- var to = kotlin_kotlin.$_$.rc;
69
- var initMetadataForObject = kotlin_kotlin.$_$.i7;
68
+ var to = kotlin_kotlin.$_$.uc;
69
+ var initMetadataForObject = kotlin_kotlin.$_$.j7;
70
70
  var Companion_instance_1 = kotlin_kotlin.$_$.o;
71
71
  var asSequence = kotlin_kotlin.$_$.n2;
72
- var map = kotlin_kotlin.$_$.l9;
72
+ var map = kotlin_kotlin.$_$.m9;
73
73
  var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_core.$_$.k;
74
- var toSet = kotlin_kotlin.$_$.ca;
75
- var initMetadataForCompanion = kotlin_kotlin.$_$.f7;
76
- var THROW_IAE = kotlin_kotlin.$_$.fc;
77
- var enumEntries = kotlin_kotlin.$_$.t5;
78
- var Enum = kotlin_kotlin.$_$.ub;
79
- var toString = kotlin_kotlin.$_$.u7;
74
+ var toSet = kotlin_kotlin.$_$.da;
75
+ var initMetadataForCompanion = kotlin_kotlin.$_$.g7;
76
+ var THROW_IAE = kotlin_kotlin.$_$.hc;
77
+ var enumEntries = kotlin_kotlin.$_$.u5;
78
+ var Enum = kotlin_kotlin.$_$.wb;
79
+ var toString = kotlin_kotlin.$_$.v7;
80
80
  var IllegalArgumentException_init_$Create$ = kotlin_kotlin.$_$.i1;
81
- var startsWith = kotlin_kotlin.$_$.cb;
82
- var initMetadataForInterface = kotlin_kotlin.$_$.g7;
83
- var AbstractOutputChannel = kotlin_it_unibo_tuprolog_solve.$_$.e2;
84
- var AbstractInputChannel = kotlin_it_unibo_tuprolog_solve.$_$.d2;
81
+ var startsWith = kotlin_kotlin.$_$.db;
82
+ var initMetadataForInterface = kotlin_kotlin.$_$.h7;
83
+ var AbstractOutputChannel = kotlin_it_unibo_tuprolog_solve.$_$.g2;
84
+ var AbstractInputChannel = kotlin_it_unibo_tuprolog_solve.$_$.f2;
85
85
  var ArrayDeque_init_$Create$ = kotlin_kotlin.$_$.r;
86
86
  var _Char___init__impl__6a9atx = kotlin_kotlin.$_$.c;
87
87
  var Char__toInt_impl_vasixd = kotlin_kotlin.$_$.g;
88
- var numberToChar = kotlin_kotlin.$_$.o7;
89
- var Char = kotlin_kotlin.$_$.rb;
88
+ var numberToChar = kotlin_kotlin.$_$.p7;
89
+ var Char = kotlin_kotlin.$_$.tb;
90
90
  var toString_0 = kotlin_kotlin.$_$.h;
91
91
  var TuPrologException_init_$Init$ = kotlin_it_unibo_tuprolog_core.$_$.h1;
92
- var objectCreate = kotlin_kotlin.$_$.q7;
93
- var captureStack = kotlin_kotlin.$_$.o6;
92
+ var objectCreate = kotlin_kotlin.$_$.r7;
93
+ var captureStack = kotlin_kotlin.$_$.p6;
94
94
  var TuPrologException_init_$Init$_0 = kotlin_it_unibo_tuprolog_core.$_$.i1;
95
95
  var TuPrologException = kotlin_it_unibo_tuprolog_core.$_$.l1;
96
- var Companion_instance_2 = kotlin_it_unibo_tuprolog_solve.$_$.a1;
97
- var Companion_instance_3 = kotlin_it_unibo_tuprolog_solve.$_$.b1;
98
- var Expected_URL_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.m;
99
- var Predicative = kotlin_it_unibo_tuprolog_solve.$_$.q2;
100
- var Predicative_0 = kotlin_it_unibo_tuprolog_solve.$_$.w2;
101
- var NonBacktrackable = kotlin_it_unibo_tuprolog_solve.$_$.n2;
102
- var Companion_getInstance_1 = kotlin_it_unibo_tuprolog_solve.$_$.j1;
103
- var InputChannel = kotlin_it_unibo_tuprolog_solve.$_$.f2;
104
- var OutputChannel = kotlin_it_unibo_tuprolog_solve.$_$.g2;
105
- var NonBacktrackable_0 = kotlin_it_unibo_tuprolog_solve.$_$.v2;
96
+ var Companion_instance_2 = kotlin_it_unibo_tuprolog_solve.$_$.b1;
97
+ var Companion_instance_3 = kotlin_it_unibo_tuprolog_solve.$_$.c1;
98
+ var Expected_URL_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.n;
99
+ var Predicative = kotlin_it_unibo_tuprolog_solve.$_$.s2;
100
+ var Predicative_0 = kotlin_it_unibo_tuprolog_solve.$_$.x2;
101
+ var NonBacktrackable = kotlin_it_unibo_tuprolog_solve.$_$.p2;
102
+ var Companion_getInstance_1 = kotlin_it_unibo_tuprolog_solve.$_$.k1;
103
+ var InputChannel = kotlin_it_unibo_tuprolog_solve.$_$.h2;
104
+ var OutputChannel = kotlin_it_unibo_tuprolog_solve.$_$.i2;
105
+ var NonBacktrackable_0 = kotlin_it_unibo_tuprolog_solve.$_$.w2;
106
106
  var IllegalStateException_init_$Create$ = kotlin_kotlin.$_$.l1;
107
- var IllegalStateException = kotlin_kotlin.$_$.xb;
107
+ var IllegalStateException = kotlin_kotlin.$_$.zb;
108
108
  var Atom = kotlin_it_unibo_tuprolog_core.$_$.o1;
109
- var KProperty1 = kotlin_kotlin.$_$.m8;
110
- var getPropertyCallableRef = kotlin_kotlin.$_$.b7;
111
- var sequenceOf = kotlin_kotlin.$_$.r9;
112
- var flatMap = kotlin_kotlin.$_$.c9;
109
+ var KProperty1 = kotlin_kotlin.$_$.n8;
110
+ var getPropertyCallableRef = kotlin_kotlin.$_$.c7;
111
+ var sequenceOf = kotlin_kotlin.$_$.s9;
112
+ var flatMap = kotlin_kotlin.$_$.d9;
113
113
  var Companion_getInstance_2 = kotlin_it_unibo_tuprolog_core.$_$.u;
114
114
  var Companion_getInstance_3 = kotlin_it_unibo_tuprolog_core.$_$.b1;
115
115
  var Companion_getInstance_4 = kotlin_it_unibo_tuprolog_core.$_$.z;
116
116
  var Companion_instance_4 = kotlin_it_unibo_tuprolog_core.$_$.p;
117
- var filter = kotlin_kotlin.$_$.z8;
118
- var Sequence = kotlin_kotlin.$_$.o8;
119
- var firstOrNull = kotlin_kotlin.$_$.a9;
117
+ var filter = kotlin_kotlin.$_$.a9;
118
+ var Sequence = kotlin_kotlin.$_$.p8;
119
+ var firstOrNull = kotlin_kotlin.$_$.b9;
120
120
  var Companion_getInstance_5 = kotlin_it_unibo_tuprolog_core.$_$.v;
121
121
  var ArrayList_init_$Create$_0 = kotlin_kotlin.$_$.t;
122
122
  var asSequence_0 = kotlin_kotlin.$_$.m2;
123
123
  var addAll = kotlin_kotlin.$_$.f2;
124
- var toList = kotlin_kotlin.$_$.d5;
124
+ var toList = kotlin_kotlin.$_$.e5;
125
125
  var Struct = kotlin_it_unibo_tuprolog_core.$_$.b2;
126
- var Companion_instance_5 = kotlin_it_unibo_tuprolog_solve.$_$.q;
127
- var filterNot = kotlin_kotlin.$_$.y8;
126
+ var Companion_instance_5 = kotlin_it_unibo_tuprolog_solve.$_$.r;
127
+ var filterNot = kotlin_kotlin.$_$.z8;
128
128
  var Truth = kotlin_it_unibo_tuprolog_core.$_$.b3;
129
- var lazy = kotlin_kotlin.$_$.mc;
130
- var Companion_instance_6 = kotlin_it_unibo_tuprolog_solve.$_$.t;
129
+ var lazy = kotlin_kotlin.$_$.pc;
130
+ var Companion_instance_6 = kotlin_it_unibo_tuprolog_solve.$_$.u;
131
131
  var Expected_STREAM_PROPERTY_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.e;
132
132
  var Expected_WRITE_OPTION_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.g;
133
133
  var Expected_READ_OPTION_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.b;
@@ -141,44 +141,47 @@
141
141
  var VarFormat_UNDERSCORE_getInstance = kotlin_it_unibo_tuprolog_core.$_$.f;
142
142
  var Expected_SOURCE_SINK_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.c;
143
143
  var Expected_IO_MODE_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.a;
144
- var Companion_instance_8 = kotlin_it_unibo_tuprolog_solve.$_$.v;
144
+ var Companion_instance_8 = kotlin_it_unibo_tuprolog_solve.$_$.w;
145
145
  var Expected_STREAM_OR_ALIAS_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.d;
146
- var Expected_IN_CHARACTER_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.k;
147
- var Companion_instance_9 = kotlin_it_unibo_tuprolog_solve.$_$.y;
148
- var Limit_CHARACTER_CODE_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.h;
146
+ var Expected_IN_CHARACTER_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.l;
147
+ var Companion_instance_9 = kotlin_it_unibo_tuprolog_solve.$_$.z;
148
+ var Limit_CHARACTER_CODE_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.i;
149
149
  var Companion_getInstance_6 = kotlin_it_unibo_tuprolog_core.$_$.o;
150
150
  var Integer = kotlin_it_unibo_tuprolog_core.$_$.v1;
151
151
  var KtMap = kotlin_kotlin.$_$.c2;
152
152
  var Expected_STREAM_TYPE_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.f;
153
153
  var format = kotlin_it_unibo_tuprolog_core.$_$.e3;
154
- var charCodeAt = kotlin_kotlin.$_$.r6;
154
+ var charCodeAt = kotlin_kotlin.$_$.s6;
155
155
  var emptyList = kotlin_kotlin.$_$.e3;
156
156
  var get_lastIndex = kotlin_kotlin.$_$.r3;
157
- var toList_0 = kotlin_kotlin.$_$.aa;
157
+ var toList_0 = kotlin_kotlin.$_$.ba;
158
158
  var last = kotlin_kotlin.$_$.t3;
159
- var Companion_instance_10 = kotlin_it_unibo_tuprolog_solve.$_$.z;
159
+ var Companion_instance_10 = kotlin_it_unibo_tuprolog_solve.$_$.a1;
160
160
  var ParseException = kotlin_it_unibo_tuprolog_parser_core.$_$.a;
161
161
  var emptySet = kotlin_kotlin.$_$.g3;
162
- var noWhenBranchMatchedException = kotlin_kotlin.$_$.nc;
163
- var NonBacktrackable_1 = kotlin_it_unibo_tuprolog_solve.$_$.u2;
164
- var NonBacktrackable_2 = kotlin_it_unibo_tuprolog_solve.$_$.s2;
162
+ var noWhenBranchMatchedException = kotlin_kotlin.$_$.qc;
163
+ var ObjectType_SOURCE_SINK_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.h;
164
+ var ExistenceError_init_$Create$ = kotlin_it_unibo_tuprolog_solve.$_$.b2;
165
+ var FileNotFoundException = kotlin_com_squareup_okio_okio.$_$.d;
166
+ var NonBacktrackable_1 = kotlin_it_unibo_tuprolog_solve.$_$.v2;
167
+ var NonBacktrackable_2 = kotlin_it_unibo_tuprolog_solve.$_$.t2;
165
168
  var Companion_instance_11 = kotlin_it_unibo_tuprolog_parser_theory.$_$.a;
166
169
  var Companion_instance_12 = kotlin_it_unibo_tuprolog_theory.$_$.b;
167
170
  var Companion_instance_13 = kotlin_it_unibo_tuprolog_theory.$_$.a;
168
- var charSequenceLength = kotlin_kotlin.$_$.t6;
169
- var titlecase = kotlin_kotlin.$_$.hb;
170
- var isLowerCase = kotlin_kotlin.$_$.pa;
171
- var substring = kotlin_kotlin.$_$.fb;
172
- var BinaryRelation = kotlin_it_unibo_tuprolog_solve.$_$.p2;
173
- var distinct = kotlin_kotlin.$_$.u8;
174
- var removeSuffix = kotlin_kotlin.$_$.va;
175
- var toIntOrNull = kotlin_kotlin.$_$.kb;
176
- var removePrefix = kotlin_kotlin.$_$.ta;
171
+ var charSequenceLength = kotlin_kotlin.$_$.u6;
172
+ var titlecase = kotlin_kotlin.$_$.jb;
173
+ var isLowerCase = kotlin_kotlin.$_$.qa;
174
+ var substring = kotlin_kotlin.$_$.hb;
175
+ var BinaryRelation = kotlin_it_unibo_tuprolog_solve.$_$.r2;
176
+ var distinct = kotlin_kotlin.$_$.v8;
177
+ var removeSuffix = kotlin_kotlin.$_$.wa;
178
+ var toIntOrNull = kotlin_kotlin.$_$.mb;
179
+ var removePrefix = kotlin_kotlin.$_$.ua;
177
180
  var buffer = kotlin_com_squareup_okio_okio.$_$.g;
178
- var addSuppressed = kotlin_kotlin.$_$.ic;
181
+ var addSuppressed = kotlin_kotlin.$_$.kc;
179
182
  var IOException = kotlin_com_squareup_okio_okio.$_$.f;
180
- var getStringHashCode = kotlin_kotlin.$_$.c7;
181
- var KProperty0 = kotlin_kotlin.$_$.l8;
183
+ var getStringHashCode = kotlin_kotlin.$_$.d7;
184
+ var KProperty0 = kotlin_kotlin.$_$.m8;
182
185
  var Info_getInstance = kotlin_it_unibo_tuprolog_core.$_$.d1;
183
186
  var Platform_BROWSER_getInstance = kotlin_it_unibo_tuprolog_core.$_$.g;
184
187
  var Companion_getInstance_7 = kotlin_com_squareup_okio_okio.$_$.a;
@@ -421,7 +424,7 @@
421
424
  function Iterator$hasNext$ref(p0) {
422
425
  return constructCallableReference(function () {
423
426
  return p0.hasNext_bitz1p_k$();
424
- }, 0, 0, 119, 'hasNext', [p0]);
427
+ }, 0, 0, 113, 'hasNext', [p0]);
425
428
  }
426
429
  var properties_initialized_ChannelUtils_kt_an3chc;
427
430
  function _init_properties_ChannelUtils_kt__fqios2() {
@@ -434,7 +437,11 @@
434
437
  function IOLib() {
435
438
  IOLib_instance = this;
436
439
  AbstractLibrary.call(this);
440
+ this.help_1 = "`library('prolog.io')`\n\nProvides the ISO Prolog stream-based input/output predicates. Streams are opened on files or URLs via `open/3,4` and are denoted by aliases (e.g. `user_input`, `user_output`) or by `$stream(Direction, Id)` terms; `close/1`, `current_input/1`, `current_output/1`, `set_input/1`, `set_output/1`, `stream_property/2`, `at_end_of_stream/0,1` and `flush_output/1` manage them. Only text streams are supported, and writing is only possible to local files on the JVM.\n\nCharacter-level I/O is offered by `get_char/1,2`, `get_code/1,2`, `peek_char/1,2`, `peek_code/1,2`, `put_char/1,2`, `put_code/1,2` and `nl/1`, while term-level I/O is offered by `read/1,2`, `read_term/2,3`, `write/2`, `writeq/1,2`, `write_canonical/1,2` and `write_term/2,3`; the variants without a stream argument use the current input or output stream. The tuProlog-specific `consult/1` adds the clauses of a theory loaded from a file or URL to the knowledge base, whereas `set_theory/1` replaces the knowledge base with a theory given as source text.\n\nThe byte-oriented predicates (`get_byte/1,2`, `peek_byte/1,2`, `put_byte/1,2`), the character conversion predicates (`char_conversion/2`, `current_char_conversion/2`) and `close/2` are registered for ISO conformance, but are not supported: calling them always raises a system error.";
437
441
  }
442
+ protoOf(IOLib).get_help_won7nu_k$ = function () {
443
+ return this.help_1;
444
+ };
438
445
  protoOf(IOLib).get_alias_iooo4n_k$ = function () {
439
446
  return 'prolog.io';
440
447
  };
@@ -467,7 +474,7 @@
467
474
  function Atom$Companion$of$ref(p0) {
468
475
  return constructCallableReference(function (p0_0) {
469
476
  return p0.of(p0_0);
470
- }, 1, 0, 120, 'of', [p0]);
477
+ }, 1, 0, 114, 'of', [p0]);
471
478
  }
472
479
  var static_init_called;
473
480
  function static_init() {
@@ -770,7 +777,11 @@
770
777
  function AtEndOfStream0() {
771
778
  AtEndOfStream0_instance = this;
772
779
  Predicative.call(this, 'at_end_of_stream');
780
+ this.help_1 = '`at_end_of_stream`\n\nSucceeds iff the current input stream (standard input, unless changed via `set_input/1`) is closed or has no more characters to read, and fails otherwise. It is deterministic and raises no errors.\n\n**Examples**\n\n```prolog\n% with `foo.` still to be read from standard input\n?- at_end_of_stream.\nno.\n\n% once standard input has been exhausted\n?- at_end_of_stream.\nyes.\n```';
773
781
  }
782
+ protoOf(AtEndOfStream0).get_help_won7nu_k$ = function () {
783
+ return this.help_1;
784
+ };
774
785
  protoOf(AtEndOfStream0).compute_yf4j3j_k$ = function (_this__u8e3s4) {
775
786
  // Inline function 'kotlin.let' call
776
787
  var it = IOPrimitiveUtils_getInstance().get_currentInputChannel_31908p_k$(_this__u8e3s4);
@@ -788,7 +799,11 @@
788
799
  function AtEndOfStream1() {
789
800
  AtEndOfStream1_instance = this;
790
801
  Predicative_0.call(this, 'at_end_of_stream');
802
+ this.help_1 = '`at_end_of_stream(+Stream)`\n\nSucceeds iff the input stream `Stream` is closed or has no more characters to read, and fails otherwise. `Stream` must be an alias (e.g. `user_input`) or a `$stream(in, Id)` term denoting an open stream: an unbound `Stream` raises an instantiation error, an unknown one an existence error, and an output stream a domain error (`stream_type`), where ISO prescribes a permission error.\n\n**Examples**\n\n```prolog\n?- at_end_of_stream(user_output).\nthrows error(domain_error(stream_type, user_output), _).\n\n?- at_end_of_stream(S).\nthrows error(instantiation_error, _).\n\n?- at_end_of_stream(no_such_stream).\nthrows error(existence_error(source_sink, no_such_stream), _).\n```';
791
803
  }
804
+ protoOf(AtEndOfStream1).get_help_won7nu_k$ = function () {
805
+ return this.help_1;
806
+ };
792
807
  protoOf(AtEndOfStream1).compute_2uabro_k$ = function (_this__u8e3s4, first) {
793
808
  // Inline function 'kotlin.let' call
794
809
  var it = IOPrimitiveUtils_getInstance().ensuringArgumentIsInputChannel_w9cvb1_k$(_this__u8e3s4, 0);
@@ -806,7 +821,11 @@
806
821
  function CharConversion() {
807
822
  CharConversion_instance = this;
808
823
  NonBacktrackable.call(this, 'char_conversion');
824
+ this.help_1 = '`char_conversion(+InChar, +OutChar)`\n\nRegistered for ISO conformance only: the current implementation does not support a character conversion table, so every call raises a system error regardless of its arguments.\n\n**Examples**\n\n```prolog\n?- char_conversion(a, b).\nthrows error(system_error, _).\n```';
809
825
  }
826
+ protoOf(CharConversion).get_help_won7nu_k$ = function () {
827
+ return this.help_1;
828
+ };
810
829
  protoOf(CharConversion).computeOne_sdv9lb_k$ = function (_this__u8e3s4, first, second) {
811
830
  return Companion_getInstance_1().notSupported$default_bmg7vb_k$(_this__u8e3s4);
812
831
  };
@@ -836,7 +855,11 @@
836
855
  function Close1() {
837
856
  Close1_instance = this;
838
857
  NonBacktrackable_0.call(this, 'close');
858
+ this.help_1 = '`close(+Stream)`\n\nCloses the stream `Stream`, given as an alias or a `$stream(Direction, Id)` term, and unregisters every alias it was reachable through, succeeding deterministically. It raises an instantiation error if `Stream` is unbound, an existence error if it does not denote an open stream, and a domain error (`stream_or_alias`) if it is a compound term other than a stream term. It fails, instead of raising an error, if the underlying channel has been closed.\n\n**Examples**\n\n```prolog\n?- close(S).\nthrows error(instantiation_error, _).\n\n?- close(no_such_stream).\nthrows error(existence_error(source_sink, no_such_stream), _).\n\n?- close(foo(bar)).\nthrows error(domain_error(stream_or_alias, foo(bar)), _).\n```';
839
859
  }
860
+ protoOf(Close1).get_help_won7nu_k$ = function () {
861
+ return this.help_1;
862
+ };
840
863
  protoOf(Close1).computeOne_6dkmes_k$ = function (_this__u8e3s4, first) {
841
864
  var channel = IOPrimitiveUtils_getInstance().ensuringArgumentIsChannel_ed79nb_k$(_this__u8e3s4, 0);
842
865
  try {
@@ -873,7 +896,11 @@
873
896
  function Close2() {
874
897
  Close2_instance = this;
875
898
  NonBacktrackable.call(this, 'close');
899
+ this.help_1 = '`close(+Stream, +Options)`\n\nRegistered for ISO conformance only: the current implementation does not support close options such as `force(true)`, so every call raises a system error regardless of its arguments; use `close/1` instead.\n\n**Examples**\n\n```prolog\n?- close(user_output, [force(true)]).\nthrows error(system_error, _).\n```';
876
900
  }
901
+ protoOf(Close2).get_help_won7nu_k$ = function () {
902
+ return this.help_1;
903
+ };
877
904
  protoOf(Close2).computeOne_sdv9lb_k$ = function (_this__u8e3s4, first, second) {
878
905
  return Companion_getInstance_1().notSupported$default_bmg7vb_k$(_this__u8e3s4);
879
906
  };
@@ -889,7 +916,11 @@
889
916
  function Consult() {
890
917
  Consult_instance = this;
891
918
  NonBacktrackable_0.call(this, 'consult');
919
+ this.help_1 = "`consult(+Source)`\n\nLoads the Prolog theory found at `Source`, an atom holding either a URL (e.g. `'https://example.com/theory.pl'`) or a plain absolute or relative file path, parsing it with the current operators. This tuProlog-specific predicate adds the loaded clauses to the knowledge base without removing any existing clause (so consulting the same source twice duplicates its clauses), with clauses of predicates declared dynamic going to the dynamic knowledge base and all others to the static one; operators and flags set by the theory's directives take effect as well. It raises an instantiation error if `Source` is unbound, a type error (`atom`) if it is not an atom, a type error (`url`) if it is not a valid URL or path, a system error if the resource cannot be read, and a syntax error if its content is not a well-formed theory.\n\n**Examples**\n\n```prolog\n% with /path/to/family.pl containing `parent(tom, bob).`\n?- consult('/path/to/family.pl'), parent(tom, X).\nX = bob.\n\n?- consult(F).\nthrows error(instantiation_error, _).\n\n?- consult(42).\nthrows error(type_error(atom, 42), _).\n\n?- consult('/no/such/theory.pl').\nthrows error(system_error, _).\n```";
892
920
  }
921
+ protoOf(Consult).get_help_won7nu_k$ = function () {
922
+ return this.help_1;
923
+ };
893
924
  protoOf(Consult).computeOne_6dkmes_k$ = function (_this__u8e3s4, first) {
894
925
  Companion_getInstance_1().ensuringArgumentIsInstantiated_dpjvac_k$(_this__u8e3s4, 0);
895
926
  Companion_getInstance_1().ensuringArgumentIsAtom_5kuj97_k$(_this__u8e3s4, 0);
@@ -924,7 +955,11 @@
924
955
  function CurrentCharConversion() {
925
956
  CurrentCharConversion_instance = this;
926
957
  NonBacktrackable.call(this, 'current_char_conversion');
958
+ this.help_1 = '`current_char_conversion(?InChar, ?OutChar)`\n\nRegistered for ISO conformance only: since character conversion is not supported (see `char_conversion/2`), the current implementation raises a system error on every call regardless of its arguments.\n\n**Examples**\n\n```prolog\n?- current_char_conversion(X, Y).\nthrows error(system_error, _).\n```';
927
959
  }
960
+ protoOf(CurrentCharConversion).get_help_won7nu_k$ = function () {
961
+ return this.help_1;
962
+ };
928
963
  protoOf(CurrentCharConversion).computeOne_sdv9lb_k$ = function (_this__u8e3s4, first, second) {
929
964
  return Companion_getInstance_1().notSupported$default_bmg7vb_k$(_this__u8e3s4);
930
965
  };
@@ -940,7 +975,11 @@
940
975
  function CurrentInput() {
941
976
  CurrentInput_instance = this;
942
977
  NonBacktrackable_0.call(this, 'current_input');
978
+ this.help_1 = '`current_input(?Stream)`\n\nUnifies `Stream` with the `$stream(in, Id)` term of the current input stream (standard input, unless changed via `set_input/1`); if `Stream` is already a stream term, it succeeds iff that term denotes the current input stream. It is deterministic. It raises an existence error if `Stream` is a stream term denoting no open stream, and a domain error (`stream_or_alias`) if it is bound to anything else, aliases included.\n\n**Examples**\n\n```prolog\n?- current_input(S), stream_property(S, alias(user_input)).\nyes.\n\n?- current_input(user_input).\nthrows error(domain_error(stream_or_alias, user_input), _).\n```';
943
979
  }
980
+ protoOf(CurrentInput).get_help_won7nu_k$ = function () {
981
+ return this.help_1;
982
+ };
944
983
  protoOf(CurrentInput).computeOne_6dkmes_k$ = function (_this__u8e3s4, first) {
945
984
  var channel = IOPrimitiveUtils_getInstance().ensuringArgumentIsVarOrStream_l86imo_k$(_this__u8e3s4, 0);
946
985
  // Inline function 'kotlin.let' call
@@ -961,7 +1000,11 @@
961
1000
  function CurrentOutput() {
962
1001
  CurrentOutput_instance = this;
963
1002
  NonBacktrackable_0.call(this, 'current_output');
1003
+ this.help_1 = '`current_output(?Stream)`\n\nUnifies `Stream` with the `$stream(out, Id)` term of the current output stream (standard output, unless changed via `set_output/1`); if `Stream` is already a stream term, it succeeds iff that term denotes the current output stream. It is deterministic. It raises an existence error if `Stream` is a stream term denoting no open stream, and a domain error (`stream_or_alias`) if it is bound to anything else, aliases included.\n\n**Examples**\n\n```prolog\n?- current_output(S), stream_property(S, alias(user_output)).\nyes.\n\n?- current_output(S), write(S, hello).\n% prints: hello\nyes.\n\n?- current_output(user_output).\nthrows error(domain_error(stream_or_alias, user_output), _).\n```';
964
1004
  }
1005
+ protoOf(CurrentOutput).get_help_won7nu_k$ = function () {
1006
+ return this.help_1;
1007
+ };
965
1008
  protoOf(CurrentOutput).computeOne_6dkmes_k$ = function (_this__u8e3s4, first) {
966
1009
  var channel = IOPrimitiveUtils_getInstance().ensuringArgumentIsVarOrStream_l86imo_k$(_this__u8e3s4, 0);
967
1010
  // Inline function 'kotlin.let' call
@@ -982,7 +1025,11 @@
982
1025
  function FlushOutput() {
983
1026
  FlushOutput_instance = this;
984
1027
  NonBacktrackable_0.call(this, 'flush_output');
1028
+ this.help_1 = '`flush_output(+Stream)`\n\nForces any buffered output of the output stream `Stream` to be written to its destination, succeeding deterministically. `Stream` must be an alias (e.g. `user_output`) or a `$stream(out, Id)` term denoting an open stream: an unbound `Stream` raises an instantiation error, an unknown one an existence error, and an input stream a domain error (`stream_type`), where ISO prescribes a permission error. It fails, instead of raising an error, if the underlying channel has been closed.\n\n**Examples**\n\n```prolog\n?- write(user_output, hello), flush_output(user_output).\n% prints: hello\nyes.\n\n?- flush_output(user_input).\nthrows error(domain_error(stream_type, user_input), _).\n```';
985
1029
  }
1030
+ protoOf(FlushOutput).get_help_won7nu_k$ = function () {
1031
+ return this.help_1;
1032
+ };
986
1033
  protoOf(FlushOutput).computeOne_6dkmes_k$ = function (_this__u8e3s4, first) {
987
1034
  var channel = IOPrimitiveUtils_getInstance().ensuringArgumentIsOutputChannel_kmdrtk_k$(_this__u8e3s4, 0);
988
1035
  var tmp;
@@ -1013,7 +1060,11 @@
1013
1060
  function GetByte1() {
1014
1061
  GetByte1_instance = this;
1015
1062
  NonBacktrackable_0.call(this, 'get_byte');
1063
+ this.help_1 = '`get_byte(?Byte)`\n\nRegistered for ISO conformance only: the current implementation supports text streams exclusively, so every call raises a system error regardless of its arguments; use `get_code/1` instead.\n\n**Examples**\n\n```prolog\n?- get_byte(B).\nthrows error(system_error, _).\n```';
1016
1064
  }
1065
+ protoOf(GetByte1).get_help_won7nu_k$ = function () {
1066
+ return this.help_1;
1067
+ };
1017
1068
  protoOf(GetByte1).computeOne_6dkmes_k$ = function (_this__u8e3s4, first) {
1018
1069
  return Companion_getInstance_1().notSupported$default_bmg7vb_k$(_this__u8e3s4);
1019
1070
  };
@@ -1029,7 +1080,11 @@
1029
1080
  function GetByte2() {
1030
1081
  GetByte2_instance = this;
1031
1082
  NonBacktrackable.call(this, 'get_byte');
1083
+ this.help_1 = '`get_byte(+Stream, ?Byte)`\n\nRegistered for ISO conformance only: the current implementation supports text streams exclusively, so every call raises a system error regardless of its arguments; use `get_code/2` instead.\n\n**Examples**\n\n```prolog\n?- get_byte(user_input, B).\nthrows error(system_error, _).\n```';
1032
1084
  }
1085
+ protoOf(GetByte2).get_help_won7nu_k$ = function () {
1086
+ return this.help_1;
1087
+ };
1033
1088
  protoOf(GetByte2).computeOne_sdv9lb_k$ = function (_this__u8e3s4, first, second) {
1034
1089
  return Companion_getInstance_1().notSupported$default_bmg7vb_k$(_this__u8e3s4);
1035
1090
  };
@@ -1045,7 +1100,11 @@
1045
1100
  function GetChar1() {
1046
1101
  GetChar1_instance = this;
1047
1102
  NonBacktrackable_0.call(this, 'get_char');
1103
+ this.help_1 = '`get_char(?Char)`\n\nReads and consumes the next character from the current input stream (standard input, unless changed via `set_input/1`) and unifies it with `Char`, which becomes `end_of_file` at the end of the stream. It is deterministic. `Char` must be unbound, `end_of_file`, or a one-character atom, otherwise a type error (`in_character`) is raised. It fails, instead of raising an error, if the underlying channel has been closed.\n\n**Examples**\n\n```prolog\n?- get_char(ab).\nthrows error(type_error(in_character, ab), _).\n\n?- get_char(1).\nthrows error(type_error(in_character, 1), _).\n```';
1048
1104
  }
1105
+ protoOf(GetChar1).get_help_won7nu_k$ = function () {
1106
+ return this.help_1;
1107
+ };
1049
1108
  protoOf(GetChar1).computeOne_6dkmes_k$ = function (_this__u8e3s4, first) {
1050
1109
  IOPrimitiveUtils_getInstance().ensuringArgumentIsVarOrChar_zdzofu_k$(_this__u8e3s4, 0);
1051
1110
  return IOPrimitiveUtils_getInstance().readCharAndReply_szx3md_k$(_this__u8e3s4, IOPrimitiveUtils_getInstance().get_currentInputChannel_31908p_k$(_this__u8e3s4), first);
@@ -1062,7 +1121,11 @@
1062
1121
  function GetChar2() {
1063
1122
  GetChar2_instance = this;
1064
1123
  NonBacktrackable.call(this, 'get_char');
1124
+ this.help_1 = '`get_char(+Stream, ?Char)`\n\nReads and consumes the next character from the input stream `Stream` and unifies it with `Char`, which becomes `end_of_file` at the end of the stream. `Stream` must be an alias (e.g. `user_input`) or a `$stream(in, Id)` term denoting an open stream: an unbound `Stream` raises an instantiation error, an unknown one an existence error, and an output stream a domain error (`stream_type`), where ISO prescribes a permission error. `Char` must be unbound, `end_of_file`, or a one-character atom, otherwise a type error (`in_character`) is raised. It fails, instead of raising an error, if the underlying channel has been closed.\n\n**Examples**\n\n```prolog\n?- get_char(user_input, ab).\nthrows error(type_error(in_character, ab), _).\n\n?- get_char(S, C).\nthrows error(instantiation_error, _).\n\n?- get_char(user_output, C).\nthrows error(domain_error(stream_type, user_output), _).\n```';
1065
1125
  }
1126
+ protoOf(GetChar2).get_help_won7nu_k$ = function () {
1127
+ return this.help_1;
1128
+ };
1066
1129
  protoOf(GetChar2).computeOne_sdv9lb_k$ = function (_this__u8e3s4, first, second) {
1067
1130
  var channel = IOPrimitiveUtils_getInstance().ensuringArgumentIsInputChannel_w9cvb1_k$(_this__u8e3s4, 0);
1068
1131
  IOPrimitiveUtils_getInstance().ensuringArgumentIsVarOrChar_zdzofu_k$(_this__u8e3s4, 1);
@@ -1080,7 +1143,11 @@
1080
1143
  function GetCode1() {
1081
1144
  GetCode1_instance = this;
1082
1145
  NonBacktrackable_0.call(this, 'get_code');
1146
+ this.help_1 = '`get_code(?Code)`\n\nReads and consumes the next character from the current input stream (standard input, unless changed via `set_input/1`) and unifies its code with `Code`, which becomes `-1` at the end of the stream. It is deterministic. `Code` must be unbound or an integer (type error otherwise) within the character-code range or `-1` (representation error otherwise). It fails, instead of raising an error, if the underlying channel has been closed.\n\n**Examples**\n\n```prolog\n?- get_code(a).\nthrows error(type_error(integer, a), _).\n\n?- get_code(-2).\nthrows error(representation_error(character_code), _).\n```';
1083
1147
  }
1148
+ protoOf(GetCode1).get_help_won7nu_k$ = function () {
1149
+ return this.help_1;
1150
+ };
1084
1151
  protoOf(GetCode1).computeOne_6dkmes_k$ = function (_this__u8e3s4, first) {
1085
1152
  IOPrimitiveUtils_getInstance().ensuringArgumentIsVarOrCharCode_tmh0sz_k$(_this__u8e3s4, 0);
1086
1153
  return IOPrimitiveUtils_getInstance().readCodeAndReply_m7r1zg_k$(_this__u8e3s4, IOPrimitiveUtils_getInstance().get_currentInputChannel_31908p_k$(_this__u8e3s4), first);
@@ -1097,7 +1164,11 @@
1097
1164
  function GetCode2() {
1098
1165
  GetCode2_instance = this;
1099
1166
  NonBacktrackable.call(this, 'get_code');
1167
+ this.help_1 = '`get_code(+Stream, ?Code)`\n\nReads and consumes the next character from the input stream `Stream` and unifies its code with `Code`, which becomes `-1` at the end of the stream. `Stream` must be an alias (e.g. `user_input`) or a `$stream(in, Id)` term denoting an open stream: an unbound `Stream` raises an instantiation error, an unknown one an existence error, and an output stream a domain error (`stream_type`), where ISO prescribes a permission error. `Code` must be unbound or an integer (type error otherwise) within the character-code range or `-1` (representation error otherwise). It fails, instead of raising an error, if the underlying channel has been closed.\n\n**Examples**\n\n```prolog\n?- get_code(user_input, a).\nthrows error(type_error(integer, a), _).\n\n?- get_code(S, C).\nthrows error(instantiation_error, _).\n\n?- get_code(user_output, C).\nthrows error(domain_error(stream_type, user_output), _).\n```';
1100
1168
  }
1169
+ protoOf(GetCode2).get_help_won7nu_k$ = function () {
1170
+ return this.help_1;
1171
+ };
1101
1172
  protoOf(GetCode2).computeOne_sdv9lb_k$ = function (_this__u8e3s4, first, second) {
1102
1173
  var channel = IOPrimitiveUtils_getInstance().ensuringArgumentIsInputChannel_w9cvb1_k$(_this__u8e3s4, 0);
1103
1174
  IOPrimitiveUtils_getInstance().ensuringArgumentIsVarOrCharCode_tmh0sz_k$(_this__u8e3s4, 1);
@@ -1119,7 +1190,7 @@
1119
1190
  return constructCallableReference(function (p0_0) {
1120
1191
  var tmp0 = p0;
1121
1192
  return alias(tmp0, p0_0);
1122
- }, 1, 0, 121, 'alias', [p0]);
1193
+ }, 1, 0, 115, 'alias', [p0]);
1123
1194
  }
1124
1195
  function IOPrimitiveUtils$propertiesOf$slambda$lambda_0(it) {
1125
1196
  return it === '$current';
@@ -1495,7 +1566,7 @@
1495
1566
  function IOPrimitiveUtils$_get_INPUT_STREAM_TERM_PATTERN_$ref_59oxnp() {
1496
1567
  return constructCallableReference(function (p0) {
1497
1568
  return _get_INPUT_STREAM_TERM_PATTERN__5fd8p6(p0);
1498
- }, 1, 0, 122);
1569
+ }, 1, 0, 116);
1499
1570
  }
1500
1571
  function IOPrimitiveUtils$OUTPUT_STREAM_TERM_PATTERN$delegate$lambda() {
1501
1572
  return Companion_instance_5.streamTerm();
@@ -1503,7 +1574,7 @@
1503
1574
  function IOPrimitiveUtils$_get_OUTPUT_STREAM_TERM_PATTERN_$ref_kcdkmo() {
1504
1575
  return constructCallableReference(function (p0) {
1505
1576
  return _get_OUTPUT_STREAM_TERM_PATTERN__4vocxf(p0);
1506
- }, 1, 0, 123);
1577
+ }, 1, 0, 117);
1507
1578
  }
1508
1579
  function IOPrimitiveUtils$PROPERTY_TYPE_PATTERN$delegate$lambda() {
1509
1580
  return Companion_getInstance_2().of('type', [Companion_getInstance_3().anonymous()]);
@@ -1511,7 +1582,7 @@
1511
1582
  function IOPrimitiveUtils$_get_PROPERTY_TYPE_PATTERN_$ref_qcyh3d() {
1512
1583
  return constructCallableReference(function (p0) {
1513
1584
  return _get_PROPERTY_TYPE_PATTERN__5nq864(p0);
1514
- }, 1, 0, 124);
1585
+ }, 1, 0, 118);
1515
1586
  }
1516
1587
  function IOPrimitiveUtils$PROPERTY_REPOSITION_PATTERN$delegate$lambda() {
1517
1588
  return Companion_getInstance_2().of('reposition', [Companion_getInstance_3().anonymous()]);
@@ -1519,7 +1590,7 @@
1519
1590
  function IOPrimitiveUtils$_get_PROPERTY_REPOSITION_PATTERN_$ref_uil93p() {
1520
1591
  return constructCallableReference(function (p0) {
1521
1592
  return _get_PROPERTY_REPOSITION_PATTERN__lznuii(p0);
1522
- }, 1, 0, 125);
1593
+ }, 1, 0, 119);
1523
1594
  }
1524
1595
  function IOPrimitiveUtils$PROPERTY_EOF_ACTION_PATTERN$delegate$lambda() {
1525
1596
  return Companion_getInstance_2().of('eof_action', [Companion_getInstance_3().anonymous()]);
@@ -1527,7 +1598,7 @@
1527
1598
  function IOPrimitiveUtils$_get_PROPERTY_EOF_ACTION_PATTERN_$ref_bt8ai0() {
1528
1599
  return constructCallableReference(function (p0) {
1529
1600
  return _get_PROPERTY_EOF_ACTION_PATTERN__8k2shv(p0);
1530
- }, 1, 0, 126);
1601
+ }, 1, 0, 120);
1531
1602
  }
1532
1603
  function IOPrimitiveUtils$PROPERTY_ALIAS_PATTERN$delegate$lambda() {
1533
1604
  return alias(IOPrimitiveUtils_getInstance());
@@ -1535,7 +1606,7 @@
1535
1606
  function IOPrimitiveUtils$_get_PROPERTY_ALIAS_PATTERN_$ref_qs5lfb() {
1536
1607
  return constructCallableReference(function (p0) {
1537
1608
  return _get_PROPERTY_ALIAS_PATTERN__wipd2s(p0);
1538
- }, 1, 0, 127);
1609
+ }, 1, 0, 121);
1539
1610
  }
1540
1611
  function IOPrimitiveUtils$PROPERTY_INPUT$delegate$lambda() {
1541
1612
  return Companion_getInstance_0().of('input');
@@ -1543,7 +1614,7 @@
1543
1614
  function IOPrimitiveUtils$_get_PROPERTY_INPUT_$ref_hltzoy() {
1544
1615
  return constructCallableReference(function (p0) {
1545
1616
  return _get_PROPERTY_INPUT__z2zr91(p0);
1546
- }, 1, 0, 128);
1617
+ }, 1, 0, 122);
1547
1618
  }
1548
1619
  function IOPrimitiveUtils$PROPERTY_OUTPUT$delegate$lambda() {
1549
1620
  return Companion_getInstance_0().of('output');
@@ -1551,7 +1622,7 @@
1551
1622
  function IOPrimitiveUtils$_get_PROPERTY_OUTPUT_$ref_9ccgyp() {
1552
1623
  return constructCallableReference(function (p0) {
1553
1624
  return _get_PROPERTY_OUTPUT__1pem9m(p0);
1554
- }, 1, 0, 129);
1625
+ }, 1, 0, 123);
1555
1626
  }
1556
1627
  function IOPrimitiveUtils$PROPERTY_TYPE_TEXT$delegate$lambda() {
1557
1628
  return Companion_getInstance_2().of('type', [Companion_getInstance_0().of('text')]);
@@ -1559,7 +1630,7 @@
1559
1630
  function IOPrimitiveUtils$_get_PROPERTY_TYPE_TEXT_$ref_47hbty() {
1560
1631
  return constructCallableReference(function (p0) {
1561
1632
  return _get_PROPERTY_TYPE_TEXT__9rpcwt(p0);
1562
- }, 1, 0, 130);
1633
+ }, 1, 0, 124);
1563
1634
  }
1564
1635
  function IOPrimitiveUtils$PROPERTY_REPOSITION_FALSE$delegate$lambda() {
1565
1636
  return Companion_getInstance_2().of('reposition', [Companion_getInstance_4().FALSE_1]);
@@ -1567,7 +1638,7 @@
1567
1638
  function IOPrimitiveUtils$_get_PROPERTY_REPOSITION_FALSE_$ref_jx0m6() {
1568
1639
  return constructCallableReference(function (p0) {
1569
1640
  return _get_PROPERTY_REPOSITION_FALSE__i73t3b(p0);
1570
- }, 1, 0, 131);
1641
+ }, 1, 0, 125);
1571
1642
  }
1572
1643
  function IOPrimitiveUtils$PROPERTY_EOF_ACTION_EOF_CODE$delegate$lambda() {
1573
1644
  return Companion_getInstance_2().of('eof_action', [Companion_getInstance_0().of('eof_code')]);
@@ -1575,7 +1646,7 @@
1575
1646
  function IOPrimitiveUtils$_get_PROPERTY_EOF_ACTION_EOF_CODE_$ref_1cwy66() {
1576
1647
  return constructCallableReference(function (p0) {
1577
1648
  return _get_PROPERTY_EOF_ACTION_EOF_CODE__he3pvl(p0);
1578
- }, 1, 0, 132);
1649
+ }, 1, 0, 126);
1579
1650
  }
1580
1651
  function IOPrimitiveUtils$OPTION_QUOTED_PATTERN$delegate$lambda() {
1581
1652
  return quoted(IOPrimitiveUtils_getInstance());
@@ -1583,7 +1654,7 @@
1583
1654
  function IOPrimitiveUtils$_get_OPTION_QUOTED_PATTERN_$ref_nxjfbr() {
1584
1655
  return constructCallableReference(function (p0) {
1585
1656
  return _get_OPTION_QUOTED_PATTERN__n2ri42(p0);
1586
- }, 1, 0, 133);
1657
+ }, 1, 0, 127);
1587
1658
  }
1588
1659
  function IOPrimitiveUtils$OPTION_NUMBER_VARS_PATTERN$delegate$lambda() {
1589
1660
  return numberVars(IOPrimitiveUtils_getInstance());
@@ -1591,7 +1662,7 @@
1591
1662
  function IOPrimitiveUtils$_get_OPTION_NUMBER_VARS_PATTERN_$ref_pdk9ph() {
1592
1663
  return constructCallableReference(function (p0) {
1593
1664
  return _get_OPTION_NUMBER_VARS_PATTERN__p98ste(p0);
1594
- }, 1, 0, 134);
1665
+ }, 1, 0, 128);
1595
1666
  }
1596
1667
  function IOPrimitiveUtils$OPTION_IGNORE_OPS_PATTERN$delegate$lambda() {
1597
1668
  return ignoreOps(IOPrimitiveUtils_getInstance());
@@ -1599,7 +1670,7 @@
1599
1670
  function IOPrimitiveUtils$_get_OPTION_IGNORE_OPS_PATTERN_$ref_vvsa9g() {
1600
1671
  return constructCallableReference(function (p0) {
1601
1672
  return _get_OPTION_IGNORE_OPS_PATTERN__cpse4v(p0);
1602
- }, 1, 0, 135);
1673
+ }, 1, 0, 129);
1603
1674
  }
1604
1675
  function IOPrimitiveUtils$INFO_VARIABLES_PATTERN$delegate$lambda() {
1605
1676
  return variables(IOPrimitiveUtils_getInstance());
@@ -1607,7 +1678,7 @@
1607
1678
  function IOPrimitiveUtils$_get_INFO_VARIABLES_PATTERN_$ref_ih2rd5() {
1608
1679
  return constructCallableReference(function (p0) {
1609
1680
  return _get_INFO_VARIABLES_PATTERN__bhp1h0(p0);
1610
- }, 1, 0, 136);
1681
+ }, 1, 0, 130);
1611
1682
  }
1612
1683
  function IOPrimitiveUtils$INFO_VARIABLE_NAMES_PATTERN$delegate$lambda() {
1613
1684
  return variableNames(IOPrimitiveUtils_getInstance());
@@ -1615,7 +1686,7 @@
1615
1686
  function IOPrimitiveUtils$_get_INFO_VARIABLE_NAMES_PATTERN_$ref_lzmk91() {
1616
1687
  return constructCallableReference(function (p0) {
1617
1688
  return _get_INFO_VARIABLE_NAMES_PATTERN__j3oaom(p0);
1618
- }, 1, 0, 137);
1689
+ }, 1, 0, 131);
1619
1690
  }
1620
1691
  function IOPrimitiveUtils$INFO_SINGLETONS_PATTERN$delegate$lambda() {
1621
1692
  return singletons(IOPrimitiveUtils_getInstance());
@@ -1623,25 +1694,25 @@
1623
1694
  function IOPrimitiveUtils$_get_INFO_SINGLETONS_PATTERN_$ref_8msi4i() {
1624
1695
  return constructCallableReference(function (p0) {
1625
1696
  return _get_INFO_SINGLETONS_PATTERN__y21s87(p0);
1626
- }, 1, 0, 138);
1697
+ }, 1, 0, 132);
1627
1698
  }
1628
1699
  function IOPrimitiveUtils$quoted$ref(p0) {
1629
1700
  return constructCallableReference(function (p0_0) {
1630
1701
  var tmp0 = p0;
1631
1702
  return quoted(tmp0, p0_0);
1632
- }, 1, 0, 139, 'quoted', [p0]);
1703
+ }, 1, 0, 133, 'quoted', [p0]);
1633
1704
  }
1634
1705
  function IOPrimitiveUtils$ignoreOps$ref(p0) {
1635
1706
  return constructCallableReference(function (p0_0) {
1636
1707
  var tmp0 = p0;
1637
1708
  return ignoreOps(tmp0, p0_0);
1638
- }, 1, 0, 140, 'ignoreOps', [p0]);
1709
+ }, 1, 0, 134, 'ignoreOps', [p0]);
1639
1710
  }
1640
1711
  function IOPrimitiveUtils$numberVars$ref(p0) {
1641
1712
  return constructCallableReference(function (p0_0) {
1642
1713
  var tmp0 = p0;
1643
1714
  return numberVars(tmp0, p0_0);
1644
- }, 1, 0, 141, 'numberVars', [p0]);
1715
+ }, 1, 0, 135, 'numberVars', [p0]);
1645
1716
  }
1646
1717
  function IOPrimitiveUtils$_get_validOptionsPattern_$lambda_r088xw(it) {
1647
1718
  return map(sequenceOf([true, false]), it);
@@ -2443,19 +2514,38 @@
2443
2514
  var tmp0_safe_receiver = tmp$ret$0;
2444
2515
  var alias = tmp0_safe_receiver == null ? null : _get_alias__jw26bj(this, tmp0_safe_receiver);
2445
2516
  var tmp_3;
2446
- switch (mode.ordinal_1) {
2447
- case 0:
2448
- tmp_3 = replyOpeningStream_0(this, _this__u8e3s4, openInputChannel(url), third, alias);
2449
- break;
2450
- case 1:
2451
- tmp_3 = replyOpeningStream(this, _this__u8e3s4, openOutputChannel(url, false), third, alias);
2452
- break;
2453
- case 2:
2454
- tmp_3 = replyOpeningStream(this, _this__u8e3s4, openOutputChannel(url, true), third, alias);
2455
- break;
2456
- default:
2457
- noWhenBranchMatchedException();
2458
- break;
2517
+ try {
2518
+ var tmp_4;
2519
+ switch (mode.ordinal_1) {
2520
+ case 0:
2521
+ tmp_4 = replyOpeningStream_0(this, _this__u8e3s4, openInputChannel(url), third, alias);
2522
+ break;
2523
+ case 1:
2524
+ tmp_4 = replyOpeningStream(this, _this__u8e3s4, openOutputChannel(url, false), third, alias);
2525
+ break;
2526
+ case 2:
2527
+ tmp_4 = replyOpeningStream(this, _this__u8e3s4, openOutputChannel(url, true), third, alias);
2528
+ break;
2529
+ default:
2530
+ noWhenBranchMatchedException();
2531
+ break;
2532
+ }
2533
+ tmp_3 = tmp_4;
2534
+ } catch ($p) {
2535
+ var tmp_5;
2536
+ if ($p instanceof IOException_0) {
2537
+ var e = $p;
2538
+ var tmp_6;
2539
+ var tmp_7 = e.cause;
2540
+ if (tmp_7 instanceof FileNotFoundException) {
2541
+ tmp_6 = ExistenceError_init_$Create$(e.message, e, _this__u8e3s4.context, ObjectType_SOURCE_SINK_getInstance(), _this__u8e3s4.arguments.get_c1px32_k$(0));
2542
+ } else {
2543
+ tmp_6 = e.toLogicError_33irru_k$(_this__u8e3s4.context);
2544
+ }
2545
+ throw tmp_6;
2546
+ } else {
2547
+ throw $p;
2548
+ }
2459
2549
  }
2460
2550
  return tmp_3;
2461
2551
  };
@@ -2468,7 +2558,11 @@
2468
2558
  function Nl1() {
2469
2559
  Nl1_instance = this;
2470
2560
  NonBacktrackable_0.call(this, 'nl');
2561
+ this.help_1 = '`nl(+Stream)`\n\nWrites a newline character to the output stream `Stream`, succeeding deterministically (`nl/0`, writing to the current output, is provided by `prolog.lang`). `Stream` must be an alias (e.g. `user_output`) or a `$stream(out, Id)` term denoting an open stream: an unbound `Stream` raises an instantiation error, an unknown one an existence error, and an input stream a domain error (`stream_type`), where ISO prescribes a permission error. It fails, instead of raising an error, if the underlying channel has been closed.\n\n**Examples**\n\n```prolog\n?- write(user_output, hello), nl(user_output).\n% prints: hello, then a newline\nyes.\n\n?- nl(user_input).\nthrows error(domain_error(stream_type, user_input), _).\n\n?- nl(S).\nthrows error(instantiation_error, _).\n```';
2471
2562
  }
2563
+ protoOf(Nl1).get_help_won7nu_k$ = function () {
2564
+ return this.help_1;
2565
+ };
2472
2566
  protoOf(Nl1).computeOne_6dkmes_k$ = function (_this__u8e3s4, first) {
2473
2567
  var channel = IOPrimitiveUtils_getInstance().ensuringArgumentIsOutputChannel_kmdrtk_k$(_this__u8e3s4, 0);
2474
2568
  var tmp;
@@ -2499,7 +2593,11 @@
2499
2593
  function Open3() {
2500
2594
  Open3_instance = this;
2501
2595
  NonBacktrackable_1.call(this, 'open');
2596
+ this.help_1 = "`open(+SourceSink, +Mode, -Stream)`\n\nOpens `SourceSink`, an atom holding a URL or a plain file path, in `Mode` (`read`, `write` or `append`), registers the new stream under an auto-generated alias, and unifies `Stream` with its `$stream(Direction, Id)` term; it behaves as `open/4` with an empty options list. Any URL readable by the platform (e.g. files or `http(s)`) can be opened for reading, but the current implementation can only write or append to local files on the JVM, and never on JS. It raises an instantiation error if `SourceSink` or `Mode` is unbound, a domain error (`source_sink`) if `SourceSink` is not a valid URL or path, a type or domain error (`io_mode`) if `Mode` is not one of the allowed atoms, a type error (`variable`) if `Stream` is bound (ISO prescribes an uninstantiation error), an existence error (`source_sink`) if the resource does not exist, and a system error if it cannot be opened for any other reason.\n\n**Examples**\n\n```prolog\n% with /path/to/data.pl containing `hello(world).`\n?- open('/path/to/data.pl', read, S), read(S, T), close(S).\nT = hello(world).\n\n?- open(F, read, S).\nthrows error(instantiation_error, _).\n\n?- open('/path/to/data.pl', update, S).\nthrows error(domain_error(io_mode, update), _).\n\n?- open('/path/to/data.pl', read, foo).\nthrows error(type_error(variable, foo), _).\n```";
2502
2597
  }
2598
+ protoOf(Open3).get_help_won7nu_k$ = function () {
2599
+ return this.help_1;
2600
+ };
2503
2601
  protoOf(Open3).computeOne_oq9h0q_k$ = function (_this__u8e3s4, first, second, third) {
2504
2602
  return IOPrimitiveUtils_getInstance().open_28mql5_k$(_this__u8e3s4, third);
2505
2603
  };
@@ -2515,7 +2613,11 @@
2515
2613
  function Open4() {
2516
2614
  Open4_instance = this;
2517
2615
  NonBacktrackable_2.call(this, 'open');
2616
+ this.help_1 = "`open(+SourceSink, +Mode, -Stream, +Options)`\n\nLike `open/3`, opens `SourceSink` (a URL or file path atom) in `Mode` (`read`, `write` or `append`) and unifies `Stream` with the new `$stream(Direction, Id)` term, but also takes a list of `Options`. In the current implementation only `alias(Name)` has an effect, registering the stream under `Name` instead of an auto-generated alias; `input`, `output`, `type(text)`, `eof_action(eof_code)` and `reposition(false)` are accepted and ignored, other values of `type/1`, `eof_action/1` and `reposition/1` (e.g. `type(binary)`) raise a system error, and any other element raises a domain error (`stream_property`). `Options` must be a list (type error otherwise, even when unbound), and all other arguments are checked and raise errors exactly as for `open/3`.\n\n**Examples**\n\n```prolog\n?- open('/path/to/out.txt', write, _, [alias(out)]), write(out, hello), close(out).\nyes.\n\n?- open('/path/to/out.txt', write, S, [type(binary)]).\nthrows error(system_error, _).\n\n?- open('/path/to/out.txt', write, S, [foo]).\nthrows error(domain_error(stream_property, foo), _).\n```";
2518
2617
  }
2618
+ protoOf(Open4).get_help_won7nu_k$ = function () {
2619
+ return this.help_1;
2620
+ };
2519
2621
  protoOf(Open4).computeOne_q4u7r9_k$ = function (_this__u8e3s4, first, second, third, fourth) {
2520
2622
  return IOPrimitiveUtils_getInstance().open_28mql5_k$(_this__u8e3s4, third);
2521
2623
  };
@@ -2531,7 +2633,11 @@
2531
2633
  function PeekByte1() {
2532
2634
  PeekByte1_instance = this;
2533
2635
  NonBacktrackable_0.call(this, 'peek_byte');
2636
+ this.help_1 = '`peek_byte(?Byte)`\n\nRegistered for ISO conformance only: the current implementation supports text streams exclusively, so every call raises a system error regardless of its arguments; use `peek_code/1` instead.\n\n**Examples**\n\n```prolog\n?- peek_byte(B).\nthrows error(system_error, _).\n```';
2534
2637
  }
2638
+ protoOf(PeekByte1).get_help_won7nu_k$ = function () {
2639
+ return this.help_1;
2640
+ };
2535
2641
  protoOf(PeekByte1).computeOne_6dkmes_k$ = function (_this__u8e3s4, first) {
2536
2642
  return Companion_getInstance_1().notSupported$default_bmg7vb_k$(_this__u8e3s4);
2537
2643
  };
@@ -2547,7 +2653,11 @@
2547
2653
  function PeekByte2() {
2548
2654
  PeekByte2_instance = this;
2549
2655
  NonBacktrackable.call(this, 'peek_byte');
2656
+ this.help_1 = '`peek_byte(+Stream, ?Byte)`\n\nRegistered for ISO conformance only: the current implementation supports text streams exclusively, so every call raises a system error regardless of its arguments; use `peek_code/2` instead.\n\n**Examples**\n\n```prolog\n?- peek_byte(user_input, B).\nthrows error(system_error, _).\n```';
2550
2657
  }
2658
+ protoOf(PeekByte2).get_help_won7nu_k$ = function () {
2659
+ return this.help_1;
2660
+ };
2551
2661
  protoOf(PeekByte2).computeOne_sdv9lb_k$ = function (_this__u8e3s4, first, second) {
2552
2662
  return Companion_getInstance_1().notSupported$default_bmg7vb_k$(_this__u8e3s4);
2553
2663
  };
@@ -2563,7 +2673,11 @@
2563
2673
  function PeekChar1() {
2564
2674
  PeekChar1_instance = this;
2565
2675
  NonBacktrackable_0.call(this, 'peek_char');
2676
+ this.help_1 = '`peek_char(?Char)`\n\nUnifies `Char` with the next character of the current input stream (standard input, unless changed via `set_input/1`) without consuming it, or with `end_of_file` at the end of the stream. It is deterministic. `Char` must be unbound, `end_of_file`, or a one-character atom, otherwise a type error (`in_character`) is raised. It fails, instead of raising an error, if the underlying channel has been closed.\n\n**Examples**\n\n```prolog\n?- peek_char(ab).\nthrows error(type_error(in_character, ab), _).\n```';
2566
2677
  }
2678
+ protoOf(PeekChar1).get_help_won7nu_k$ = function () {
2679
+ return this.help_1;
2680
+ };
2567
2681
  protoOf(PeekChar1).computeOne_6dkmes_k$ = function (_this__u8e3s4, first) {
2568
2682
  IOPrimitiveUtils_getInstance().ensuringArgumentIsVarOrChar_zdzofu_k$(_this__u8e3s4, 0);
2569
2683
  return IOPrimitiveUtils_getInstance().peekCharAndReply_r80pc6_k$(_this__u8e3s4, IOPrimitiveUtils_getInstance().get_currentInputChannel_31908p_k$(_this__u8e3s4), first);
@@ -2580,7 +2694,11 @@
2580
2694
  function PeekChar2() {
2581
2695
  PeekChar2_instance = this;
2582
2696
  NonBacktrackable.call(this, 'peek_char');
2697
+ this.help_1 = '`peek_char(+Stream, ?Char)`\n\nUnifies `Char` with the next character of the input stream `Stream` without consuming it, or with `end_of_file` at the end of the stream. `Stream` must be an alias (e.g. `user_input`) or a `$stream(in, Id)` term denoting an open stream: an unbound `Stream` raises an instantiation error, an unknown one an existence error, and an output stream a domain error (`stream_type`), where ISO prescribes a permission error. `Char` must be unbound, `end_of_file`, or a one-character atom, otherwise a type error (`in_character`) is raised. It fails, instead of raising an error, if the underlying channel has been closed.\n\n**Examples**\n\n```prolog\n?- peek_char(user_input, ab).\nthrows error(type_error(in_character, ab), _).\n\n?- peek_char(S, C).\nthrows error(instantiation_error, _).\n\n?- peek_char(user_output, C).\nthrows error(domain_error(stream_type, user_output), _).\n```';
2583
2698
  }
2699
+ protoOf(PeekChar2).get_help_won7nu_k$ = function () {
2700
+ return this.help_1;
2701
+ };
2584
2702
  protoOf(PeekChar2).computeOne_sdv9lb_k$ = function (_this__u8e3s4, first, second) {
2585
2703
  var channel = IOPrimitiveUtils_getInstance().ensuringArgumentIsInputChannel_w9cvb1_k$(_this__u8e3s4, 0);
2586
2704
  IOPrimitiveUtils_getInstance().ensuringArgumentIsVarOrChar_zdzofu_k$(_this__u8e3s4, 1);
@@ -2598,7 +2716,11 @@
2598
2716
  function PeekCode1() {
2599
2717
  PeekCode1_instance = this;
2600
2718
  NonBacktrackable_0.call(this, 'peek_code');
2719
+ this.help_1 = '`peek_code(?Code)`\n\nUnifies `Code` with the code of the next character of the current input stream (standard input, unless changed via `set_input/1`) without consuming it, or with `-1` at the end of the stream. It is deterministic. `Code` must be unbound or an integer (type error otherwise) within the character-code range or `-1` (representation error otherwise). It fails, instead of raising an error, if the underlying channel has been closed.\n\n**Examples**\n\n```prolog\n?- peek_code(a).\nthrows error(type_error(integer, a), _).\n\n?- peek_code(-2).\nthrows error(representation_error(character_code), _).\n```';
2601
2720
  }
2721
+ protoOf(PeekCode1).get_help_won7nu_k$ = function () {
2722
+ return this.help_1;
2723
+ };
2602
2724
  protoOf(PeekCode1).computeOne_6dkmes_k$ = function (_this__u8e3s4, first) {
2603
2725
  IOPrimitiveUtils_getInstance().ensuringArgumentIsVarOrCharCode_tmh0sz_k$(_this__u8e3s4, 0);
2604
2726
  return IOPrimitiveUtils_getInstance().peekCodeAndReply_y06qz3_k$(_this__u8e3s4, IOPrimitiveUtils_getInstance().get_currentInputChannel_31908p_k$(_this__u8e3s4), first);
@@ -2615,7 +2737,11 @@
2615
2737
  function PeekCode2() {
2616
2738
  PeekCode2_instance = this;
2617
2739
  NonBacktrackable.call(this, 'peek_code');
2740
+ this.help_1 = '`peek_code(+Stream, ?Code)`\n\nUnifies `Code` with the code of the next character of the input stream `Stream` without consuming it, or with `-1` at the end of the stream. `Stream` must be an alias (e.g. `user_input`) or a `$stream(in, Id)` term denoting an open stream: an unbound `Stream` raises an instantiation error, an unknown one an existence error, and an output stream a domain error (`stream_type`), where ISO prescribes a permission error. `Code` must be unbound or an integer (type error otherwise) within the character-code range or `-1` (representation error otherwise). It fails, instead of raising an error, if the underlying channel has been closed.\n\n**Examples**\n\n```prolog\n?- peek_code(user_input, a).\nthrows error(type_error(integer, a), _).\n\n?- peek_code(S, C).\nthrows error(instantiation_error, _).\n\n?- peek_code(user_output, C).\nthrows error(domain_error(stream_type, user_output), _).\n```';
2618
2741
  }
2742
+ protoOf(PeekCode2).get_help_won7nu_k$ = function () {
2743
+ return this.help_1;
2744
+ };
2619
2745
  protoOf(PeekCode2).computeOne_sdv9lb_k$ = function (_this__u8e3s4, first, second) {
2620
2746
  var channel = IOPrimitiveUtils_getInstance().ensuringArgumentIsInputChannel_w9cvb1_k$(_this__u8e3s4, 0);
2621
2747
  IOPrimitiveUtils_getInstance().ensuringArgumentIsVarOrCharCode_tmh0sz_k$(_this__u8e3s4, 1);
@@ -2633,7 +2759,11 @@
2633
2759
  function PutByte1() {
2634
2760
  PutByte1_instance = this;
2635
2761
  NonBacktrackable_0.call(this, 'put_byte');
2762
+ this.help_1 = '`put_byte(+Byte)`\n\nRegistered for ISO conformance only: the current implementation supports text streams exclusively, so every call raises a system error regardless of its arguments; use `put_code/1` instead.\n\n**Examples**\n\n```prolog\n?- put_byte(65).\nthrows error(system_error, _).\n```';
2636
2763
  }
2764
+ protoOf(PutByte1).get_help_won7nu_k$ = function () {
2765
+ return this.help_1;
2766
+ };
2637
2767
  protoOf(PutByte1).computeOne_6dkmes_k$ = function (_this__u8e3s4, first) {
2638
2768
  return Companion_getInstance_1().notSupported$default_bmg7vb_k$(_this__u8e3s4);
2639
2769
  };
@@ -2649,7 +2779,11 @@
2649
2779
  function PutByte2() {
2650
2780
  PutByte2_instance = this;
2651
2781
  NonBacktrackable.call(this, 'put_byte');
2782
+ this.help_1 = '`put_byte(+Stream, +Byte)`\n\nRegistered for ISO conformance only: the current implementation supports text streams exclusively, so every call raises a system error regardless of its arguments; use `put_code/2` instead.\n\n**Examples**\n\n```prolog\n?- put_byte(user_output, 65).\nthrows error(system_error, _).\n```';
2652
2783
  }
2784
+ protoOf(PutByte2).get_help_won7nu_k$ = function () {
2785
+ return this.help_1;
2786
+ };
2653
2787
  protoOf(PutByte2).computeOne_sdv9lb_k$ = function (_this__u8e3s4, first, second) {
2654
2788
  return Companion_getInstance_1().notSupported$default_bmg7vb_k$(_this__u8e3s4);
2655
2789
  };
@@ -2665,7 +2799,11 @@
2665
2799
  function PutChar1() {
2666
2800
  PutChar1_instance = this;
2667
2801
  NonBacktrackable_0.call(this, 'put_char');
2802
+ this.help_1 = '`put_char(+Char)`\n\nWrites the character `Char` to the current output stream (standard output, unless changed via `set_output/1`), succeeding deterministically. `Char` must be a one-character atom, otherwise a type error (`character`) is raised; the current implementation raises that type error even when `Char` is unbound, where ISO prescribes an instantiation error. It fails, instead of raising an error, if the underlying channel has been closed.\n\n**Examples**\n\n```prolog\n?- put_char(a).\n% prints: a\nyes.\n\n?- put_char(ab).\nthrows error(type_error(character, ab), _).\n\n?- put_char(C).\nthrows error(type_error(character, _), _).\n```';
2668
2803
  }
2804
+ protoOf(PutChar1).get_help_won7nu_k$ = function () {
2805
+ return this.help_1;
2806
+ };
2669
2807
  protoOf(PutChar1).computeOne_6dkmes_k$ = function (_this__u8e3s4, first) {
2670
2808
  Companion_getInstance_1().ensuringArgumentIsChar_t2ym2o_k$(_this__u8e3s4, 0);
2671
2809
  var tmp = IOPrimitiveUtils_getInstance();
@@ -2684,7 +2822,11 @@
2684
2822
  function PutChar2() {
2685
2823
  PutChar2_instance = this;
2686
2824
  NonBacktrackable.call(this, 'put_char');
2825
+ this.help_1 = '`put_char(+Stream, +Char)`\n\nWrites the character `Char` to the output stream `Stream`, succeeding deterministically. `Stream` must be an alias (e.g. `user_output`) or a `$stream(out, Id)` term denoting an open stream: an unbound `Stream` raises an instantiation error, an unknown one an existence error, and an input stream a domain error (`stream_type`), where ISO prescribes a permission error. `Char` must be a one-character atom, otherwise (even when unbound) a type error (`character`) is raised. It fails, instead of raising an error, if the underlying channel has been closed.\n\n**Examples**\n\n```prolog\n?- put_char(user_output, a).\n% prints: a\nyes.\n\n?- put_char(user_output, ab).\nthrows error(type_error(character, ab), _).\n\n?- put_char(user_input, a).\nthrows error(domain_error(stream_type, user_input), _).\n```';
2687
2826
  }
2827
+ protoOf(PutChar2).get_help_won7nu_k$ = function () {
2828
+ return this.help_1;
2829
+ };
2688
2830
  protoOf(PutChar2).computeOne_sdv9lb_k$ = function (_this__u8e3s4, first, second) {
2689
2831
  var channel = IOPrimitiveUtils_getInstance().ensuringArgumentIsOutputChannel_kmdrtk_k$(_this__u8e3s4, 0);
2690
2832
  Companion_getInstance_1().ensuringArgumentIsChar_t2ym2o_k$(_this__u8e3s4, 1);
@@ -2703,7 +2845,11 @@
2703
2845
  function PutCode1() {
2704
2846
  PutCode1_instance = this;
2705
2847
  NonBacktrackable_0.call(this, 'put_code');
2848
+ this.help_1 = '`put_code(+Code)`\n\nWrites the character whose code is `Code` to the current output stream (standard output, unless changed via `set_output/1`), succeeding deterministically. `Code` must be an integer, otherwise (even when unbound, where ISO prescribes an instantiation error) a type error (`integer`) is raised, and a valid character code, otherwise a representation error (`character_code`) is raised. It fails, instead of raising an error, if the underlying channel has been closed.\n\n**Examples**\n\n```prolog\n?- put_code(97).\n% prints: a\nyes.\n\n?- put_code(a).\nthrows error(type_error(integer, a), _).\n\n?- put_code(-1).\nthrows error(representation_error(character_code), _).\n```';
2706
2849
  }
2850
+ protoOf(PutCode1).get_help_won7nu_k$ = function () {
2851
+ return this.help_1;
2852
+ };
2707
2853
  protoOf(PutCode1).computeOne_6dkmes_k$ = function (_this__u8e3s4, first) {
2708
2854
  Companion_getInstance_1().ensuringArgumentIsCharCode_64rreb_k$(_this__u8e3s4, 0);
2709
2855
  var tmp = IOPrimitiveUtils_getInstance();
@@ -2722,7 +2868,11 @@
2722
2868
  function PutCode2() {
2723
2869
  PutCode2_instance = this;
2724
2870
  NonBacktrackable.call(this, 'put_code');
2871
+ this.help_1 = '`put_code(+Stream, +Code)`\n\nWrites the character whose code is `Code` to the output stream `Stream`, succeeding deterministically. `Stream` must be an alias (e.g. `user_output`) or a `$stream(out, Id)` term denoting an open stream: an unbound `Stream` raises an instantiation error, an unknown one an existence error, and an input stream a domain error (`stream_type`), where ISO prescribes a permission error. `Code` must be an integer (type error otherwise, even when unbound) and a valid character code (representation error otherwise). It fails, instead of raising an error, if the underlying channel has been closed.\n\n**Examples**\n\n```prolog\n?- put_code(user_output, 97).\n% prints: a\nyes.\n\n?- put_code(user_output, C).\nthrows error(type_error(integer, _), _).\n\n?- put_code(user_input, 97).\nthrows error(domain_error(stream_type, user_input), _).\n```';
2725
2872
  }
2873
+ protoOf(PutCode2).get_help_won7nu_k$ = function () {
2874
+ return this.help_1;
2875
+ };
2726
2876
  protoOf(PutCode2).computeOne_sdv9lb_k$ = function (_this__u8e3s4, first, second) {
2727
2877
  var channel = IOPrimitiveUtils_getInstance().ensuringArgumentIsOutputChannel_kmdrtk_k$(_this__u8e3s4, 0);
2728
2878
  Companion_getInstance_1().ensuringArgumentIsCharCode_64rreb_k$(_this__u8e3s4, 1);
@@ -2741,7 +2891,11 @@
2741
2891
  function Read1() {
2742
2892
  Read1_instance = this;
2743
2893
  NonBacktrackable_0.call(this, 'read');
2894
+ this.help_1 = '`read(?Term)`\n\nReads the next term, terminated by a full stop, from the current input stream (standard input, unless changed via `set_input/1`) and unifies it with `Term`, using the current operators. It is deterministic. Deviating from ISO, the current implementation fails, instead of unifying `Term` with `end_of_file`, when no more terms are available; it raises a syntax error if the next term is malformed and a system error if the channel is closed or cannot be read term by term.\n\n**Examples**\n\n```prolog\n% with `foo(X, bar).` to be read from standard input\n?- read(T).\nT = foo(_, bar).\n\n% once standard input has been exhausted\n?- read(T).\nno.\n```';
2744
2895
  }
2896
+ protoOf(Read1).get_help_won7nu_k$ = function () {
2897
+ return this.help_1;
2898
+ };
2745
2899
  protoOf(Read1).computeOne_6dkmes_k$ = function (_this__u8e3s4, first) {
2746
2900
  return IOPrimitiveUtils_getInstance().readTermAndReply$default_yi3mi7_k$(_this__u8e3s4, IOPrimitiveUtils_getInstance().get_currentInputChannel_31908p_k$(_this__u8e3s4), first);
2747
2901
  };
@@ -2757,7 +2911,11 @@
2757
2911
  function Read2() {
2758
2912
  Read2_instance = this;
2759
2913
  NonBacktrackable.call(this, 'read');
2914
+ this.help_1 = '`read(+Stream, ?Term)`\n\nReads the next term, terminated by a full stop, from the input stream `Stream` and unifies it with `Term`, using the current operators. `Stream` must be an alias (e.g. `user_input`) or a `$stream(in, Id)` term denoting an open stream: an unbound `Stream` raises an instantiation error, an unknown one an existence error, and an output stream a domain error (`stream_type`), where ISO prescribes a permission error. Deviating from ISO, the current implementation fails, instead of unifying `Term` with `end_of_file`, when no more terms are available; it raises a syntax error if the next term is malformed and a system error if the channel is closed or cannot be read term by term.\n\n**Examples**\n\n```prolog\n?- read(S, T).\nthrows error(instantiation_error, _).\n\n?- read(user_output, T).\nthrows error(domain_error(stream_type, user_output), _).\n\n?- read(no_such_stream, T).\nthrows error(existence_error(source_sink, no_such_stream), _).\n```';
2760
2915
  }
2916
+ protoOf(Read2).get_help_won7nu_k$ = function () {
2917
+ return this.help_1;
2918
+ };
2761
2919
  protoOf(Read2).computeOne_sdv9lb_k$ = function (_this__u8e3s4, first, second) {
2762
2920
  var channel = IOPrimitiveUtils_getInstance().ensuringArgumentIsInputChannel_w9cvb1_k$(_this__u8e3s4, 0);
2763
2921
  return IOPrimitiveUtils_getInstance().readTermAndReply$default_yi3mi7_k$(_this__u8e3s4, channel, second);
@@ -2774,7 +2932,11 @@
2774
2932
  function ReadTerm2() {
2775
2933
  ReadTerm2_instance = this;
2776
2934
  NonBacktrackable.call(this, 'read_term');
2935
+ this.help_1 = "`read_term(?Term, ?Options)`\n\nReads the next term from the current input stream (standard input, unless changed via `set_input/1`) like `read/1`, and unifies the elements of the `Options` list with information about the term's variables. Each element of `Options` may be `variables(Vars)` (the variables of the term, in order of appearance), `variable_names(Names)` (a list of `'Name' = Var` pairs) or `singletons(Names)` (the same, for variables occurring once); other elements raise a domain error (`read_option`). Deviating from ISO, an unbound `Options` is not an error: it is unified with `[variables(Vars), variable_names(Names), singletons(Singletons)]`. Deviating from ISO, the current implementation fails, instead of unifying `Term` with `end_of_file`, when no more terms are available; it raises a syntax error if the next term is malformed and a system error if the channel is closed or cannot be read term by term.\n\n**Examples**\n\n```prolog\n?- read_term(T, [foo]).\nthrows error(domain_error(read_option, foo), _).\n\n?- read_term(T, foo).\nthrows error(type_error(list, foo), _).\n```";
2777
2936
  }
2937
+ protoOf(ReadTerm2).get_help_won7nu_k$ = function () {
2938
+ return this.help_1;
2939
+ };
2778
2940
  protoOf(ReadTerm2).computeOne_sdv9lb_k$ = function (_this__u8e3s4, first, second) {
2779
2941
  return IOPrimitiveUtils_getInstance().readTermAndReply_11biz4_k$(_this__u8e3s4, IOPrimitiveUtils_getInstance().get_currentInputChannel_31908p_k$(_this__u8e3s4), first, true);
2780
2942
  };
@@ -2790,7 +2952,11 @@
2790
2952
  function ReadTerm3() {
2791
2953
  ReadTerm3_instance = this;
2792
2954
  NonBacktrackable_1.call(this, 'read_term');
2955
+ this.help_1 = "`read_term(+Stream, ?Term, ?Options)`\n\nReads the next term from the input stream `Stream` like `read/2`, and unifies the elements of the `Options` list with information about the term's variables. `Stream` must be an alias (e.g. `user_input`) or a `$stream(in, Id)` term denoting an open stream: an unbound `Stream` raises an instantiation error, an unknown one an existence error, and an output stream a domain error (`stream_type`), where ISO prescribes a permission error. Each element of `Options` may be `variables(Vars)` (the variables of the term, in order of appearance), `variable_names(Names)` (a list of `'Name' = Var` pairs) or `singletons(Names)` (the same, for variables occurring once); other elements raise a domain error (`read_option`). Deviating from ISO, an unbound `Options` is not an error: it is unified with `[variables(Vars), variable_names(Names), singletons(Singletons)]`. Deviating from ISO, the current implementation fails, instead of unifying `Term` with `end_of_file`, when no more terms are available; it raises a syntax error if the next term is malformed and a system error if the channel is closed or cannot be read term by term.\n\n**Examples**\n\n```prolog\n?- read_term(user_input, T, [foo]).\nthrows error(domain_error(read_option, foo), _).\n\n?- read_term(S, T, []).\nthrows error(instantiation_error, _).\n\n?- read_term(user_output, T, []).\nthrows error(domain_error(stream_type, user_output), _).\n```";
2793
2956
  }
2957
+ protoOf(ReadTerm3).get_help_won7nu_k$ = function () {
2958
+ return this.help_1;
2959
+ };
2794
2960
  protoOf(ReadTerm3).computeOne_oq9h0q_k$ = function (_this__u8e3s4, first, second, third) {
2795
2961
  var channel = IOPrimitiveUtils_getInstance().ensuringArgumentIsInputChannel_w9cvb1_k$(_this__u8e3s4, 0);
2796
2962
  return IOPrimitiveUtils_getInstance().readTermAndReply_11biz4_k$(_this__u8e3s4, channel, second, true);
@@ -2813,7 +2979,11 @@
2813
2979
  function SetInput() {
2814
2980
  SetInput_instance = this;
2815
2981
  NonBacktrackable_0.call(this, 'set_input');
2982
+ this.help_1 = '`set_input(+Stream)`\n\nMakes the input stream `Stream` the current input stream, i.e. the one used by the predicates without an explicit stream argument (e.g. `get_char/1`, `read/1`), succeeding deterministically. `Stream` must be an alias (e.g. `user_input`) or a `$stream(in, Id)` term denoting an open stream: an unbound `Stream` raises an instantiation error, an unknown one an existence error, and an output stream a domain error (`stream_type`), where ISO prescribes a permission error.\n\n**Examples**\n\n```prolog\n?- set_input(user_input), current_input(S), stream_property(S, alias(user_input)).\nyes.\n\n?- set_input(user_output).\nthrows error(domain_error(stream_type, user_output), _).\n\n?- set_input(S).\nthrows error(instantiation_error, _).\n```';
2816
2983
  }
2984
+ protoOf(SetInput).get_help_won7nu_k$ = function () {
2985
+ return this.help_1;
2986
+ };
2817
2987
  protoOf(SetInput).computeOne_6dkmes_k$ = function (_this__u8e3s4, first) {
2818
2988
  var channel = IOPrimitiveUtils_getInstance().ensuringArgumentIsInputChannel_w9cvb1_k$(_this__u8e3s4, 0);
2819
2989
  return _this__u8e3s4.replySuccessBuildingSideEffects(VOID, VOID, SetInput$computeOne$lambda(_this__u8e3s4, channel));
@@ -2836,7 +3006,11 @@
2836
3006
  function SetOutput() {
2837
3007
  SetOutput_instance = this;
2838
3008
  NonBacktrackable_0.call(this, 'set_output');
3009
+ this.help_1 = '`set_output(+Stream)`\n\nMakes the output stream `Stream` the current output stream, i.e. the one used by the predicates without an explicit stream argument (e.g. `put_char/1`, `write/1`), succeeding deterministically. `Stream` must be an alias (e.g. `user_output`) or a `$stream(out, Id)` term denoting an open stream: an unbound `Stream` raises an instantiation error, an unknown one an existence error, and an input stream a domain error (`stream_type`), where ISO prescribes a permission error.\n\n**Examples**\n\n```prolog\n?- set_output(user_output), put_char(a).\n% prints: a\nyes.\n\n?- set_output(user_input).\nthrows error(domain_error(stream_type, user_input), _).\n\n?- set_output(S).\nthrows error(instantiation_error, _).\n```';
2839
3010
  }
3011
+ protoOf(SetOutput).get_help_won7nu_k$ = function () {
3012
+ return this.help_1;
3013
+ };
2840
3014
  protoOf(SetOutput).computeOne_6dkmes_k$ = function (_this__u8e3s4, first) {
2841
3015
  var channel = IOPrimitiveUtils_getInstance().ensuringArgumentIsOutputChannel_kmdrtk_k$(_this__u8e3s4, 0);
2842
3016
  return _this__u8e3s4.replySuccessBuildingSideEffects(VOID, VOID, SetOutput$computeOne$lambda(_this__u8e3s4, channel));
@@ -2867,7 +3041,11 @@
2867
3041
  function SetTheory() {
2868
3042
  SetTheory_instance = this;
2869
3043
  NonBacktrackable_0.call(this, 'set_theory');
3044
+ this.help_1 = "`set_theory(+Text)`\n\nParses the atom `Text` as Prolog source code, using the current operators, and makes the resulting theory the new knowledge base: both the static and the dynamic knowledge bases are replaced (clauses of predicates declared dynamic go to the dynamic one), and operators and flags set by its directives take effect. This predicate is tuProlog-specific; see `consult/1` to add clauses loaded from a file or URL instead. It raises a type error (`atom`) if `Text` is not an atom (including when it is unbound, where an instantiation error would be customary) and a syntax error if `Text` is not a well-formed theory.\n\n**Examples**\n\n```prolog\n?- set_theory('parent(tom, bob). parent(bob, ann).'), parent(bob, X).\nX = ann.\n\n?- set_theory(42).\nthrows error(type_error(atom, 42), _).\n\n?- set_theory('foo(.').\nthrows error(syntax_error, _).\n```";
2870
3045
  }
3046
+ protoOf(SetTheory).get_help_won7nu_k$ = function () {
3047
+ return this.help_1;
3048
+ };
2871
3049
  protoOf(SetTheory).computeOne_6dkmes_k$ = function (_this__u8e3s4, first) {
2872
3050
  Companion_getInstance_1().ensuringArgumentIsAtom_5kuj97_k$(_this__u8e3s4, 0);
2873
3051
  return this.setTheory_ratc22_k$(_this__u8e3s4, first.castTo_8vzplt_k$().get_value_j01efc_k$(), false);
@@ -2958,7 +3136,11 @@
2958
3136
  function StreamProperty() {
2959
3137
  StreamProperty_instance = this;
2960
3138
  BinaryRelation.call(this, 'stream_property');
3139
+ this.help_1 = '`stream_property(?Stream, ?Property)`\n\nEnumerates, on backtracking, every open stream `Stream` (as a `$stream(Direction, Id)` term) together with each `Property` holding for it; the current implementation reports `input` or `output`, one `alias(Name)` per alias of the stream, and `type(text)`. If `Stream` is bound it must be a stream term (aliases are not accepted), otherwise a domain error (`stream_or_alias`) is raised, or an existence error if it denotes no open stream. If `Property` is bound it must be `input`, `output` or `alias(Name)`, otherwise a domain error (`stream_property`) is raised, so the reported `type(text)` property cannot be queried directly.\n\n**Examples**\n\n```prolog\n?- stream_property(S, alias(user_output)), stream_property(S, output).\nyes.\n\n?- stream_property(S, type(text)).\nthrows error(domain_error(stream_property, type(text)), _).\n\n?- stream_property(user_output, P).\nthrows error(domain_error(stream_or_alias, user_output), _).\n```';
2961
3140
  }
3141
+ protoOf(StreamProperty).get_help_won7nu_k$ = function () {
3142
+ return this.help_1;
3143
+ };
2962
3144
  protoOf(StreamProperty).computeAll_3ok8b8_k$ = function (_this__u8e3s4, first, second) {
2963
3145
  IOPrimitiveUtils_getInstance().ensuringArgumentIsVarOrStream_l86imo_k$(_this__u8e3s4, 0);
2964
3146
  IOPrimitiveUtils_getInstance().ensuringArgumentIsStreamProperty_6yg2an_k$(_this__u8e3s4, 1);
@@ -2982,7 +3164,11 @@
2982
3164
  function Write2() {
2983
3165
  Write2_instance = this;
2984
3166
  NonBacktrackable.call(this, 'write');
3167
+ this.help_1 = "`write(+Stream, @Term)`\n\nWrites `Term` to the output stream `Stream` as `write/1` does: unquoted, using the current operators, and writing `'$VAR'(N)` terms as variable letters. It succeeds deterministically. `Stream` must be an alias (e.g. `user_output`) or a `$stream(out, Id)` term denoting an open stream: an unbound `Stream` raises an instantiation error, an unknown one an existence error, and an input stream a domain error (`stream_type`), where ISO prescribes a permission error. It fails, instead of raising an error, if the underlying channel has been closed.\n\n**Examples**\n\n```prolog\n?- write(user_output, 'hello world').\n% prints: hello world\nyes.\n\n?- write(user_output, f('A', 1 + 2, '$VAR'(27))).\n% prints: f(A, 1 + 2, B1)\nyes.\n\n?- write(user_input, hello).\nthrows error(domain_error(stream_type, user_input), _).\n```";
2985
3168
  }
3169
+ protoOf(Write2).get_help_won7nu_k$ = function () {
3170
+ return this.help_1;
3171
+ };
2986
3172
  protoOf(Write2).computeOne_sdv9lb_k$ = function (_this__u8e3s4, first, second) {
2987
3173
  var channel = IOPrimitiveUtils_getInstance().ensuringArgumentIsOutputChannel_kmdrtk_k$(_this__u8e3s4, 0);
2988
3174
  return IOPrimitiveUtils_getInstance().writeTermAndReply_wyva0k_k$(_this__u8e3s4, channel, second, Companion_instance_7.default(_this__u8e3s4.context.get_operators_z0nmfu_k$()));
@@ -2999,7 +3185,11 @@
2999
3185
  function WriteCanonical1() {
3000
3186
  WriteCanonical1_instance = this;
3001
3187
  NonBacktrackable_0.call(this, 'write_canonical');
3188
+ this.help_1 = "`write_canonical(@Term)`\n\nWrites `Term` to the current output stream (standard output, unless changed via `set_output/1`) in canonical form: atoms and functors are quoted where needed, operators are written in functional notation, and `'$VAR'(N)` terms are written as-is. It succeeds deterministically. It fails, instead of raising an error, if the underlying channel has been closed.\n\n**Examples**\n\n```prolog\n?- write_canonical(f('A', 1 + 2, '$VAR'(27))).\n% prints: f('A', '+'(1, 2), '$VAR'(27))\nyes.\n```";
3002
3189
  }
3190
+ protoOf(WriteCanonical1).get_help_won7nu_k$ = function () {
3191
+ return this.help_1;
3192
+ };
3003
3193
  protoOf(WriteCanonical1).computeOne_6dkmes_k$ = function (_this__u8e3s4, first) {
3004
3194
  return IOPrimitiveUtils_getInstance().writeTermAndReply_wyva0k_k$(_this__u8e3s4, IOPrimitiveUtils_getInstance().get_currentOutputChannel_jl8tcy_k$(_this__u8e3s4), first, Companion_instance_7.canonical());
3005
3195
  };
@@ -3015,7 +3205,11 @@
3015
3205
  function WriteCanonical2() {
3016
3206
  WriteCanonical2_instance = this;
3017
3207
  NonBacktrackable.call(this, 'write_canonical');
3208
+ this.help_1 = "`write_canonical(+Stream, @Term)`\n\nWrites `Term` to the output stream `Stream` in canonical form: atoms and functors are quoted where needed, operators are written in functional notation, and `'$VAR'(N)` terms are written as-is. It succeeds deterministically. `Stream` must be an alias (e.g. `user_output`) or a `$stream(out, Id)` term denoting an open stream: an unbound `Stream` raises an instantiation error, an unknown one an existence error, and an input stream a domain error (`stream_type`), where ISO prescribes a permission error. It fails, instead of raising an error, if the underlying channel has been closed.\n\n**Examples**\n\n```prolog\n?- write_canonical(user_output, f('A', 1 + 2)).\n% prints: f('A', '+'(1, 2))\nyes.\n\n?- write_canonical(user_input, a).\nthrows error(domain_error(stream_type, user_input), _).\n```";
3018
3209
  }
3210
+ protoOf(WriteCanonical2).get_help_won7nu_k$ = function () {
3211
+ return this.help_1;
3212
+ };
3019
3213
  protoOf(WriteCanonical2).computeOne_sdv9lb_k$ = function (_this__u8e3s4, first, second) {
3020
3214
  var channel = IOPrimitiveUtils_getInstance().ensuringArgumentIsOutputChannel_kmdrtk_k$(_this__u8e3s4, 0);
3021
3215
  return IOPrimitiveUtils_getInstance().writeTermAndReply_wyva0k_k$(_this__u8e3s4, channel, second, Companion_instance_7.canonical());
@@ -3032,7 +3226,11 @@
3032
3226
  function WriteEq1() {
3033
3227
  WriteEq1_instance = this;
3034
3228
  NonBacktrackable_0.call(this, 'writeq');
3229
+ this.help_1 = "`writeq(@Term)`\n\nWrites `Term` to the current output stream (standard output, unless changed via `set_output/1`) so that it can be read back: atoms and functors are quoted where needed, operators are written in operator notation, and `'$VAR'(N)` terms are written as variable letters. It succeeds deterministically. The current implementation formats operators according to the default operator table rather than the current one. It fails, instead of raising an error, if the underlying channel has been closed.\n\n**Examples**\n\n```prolog\n?- writeq(f('A', 'hello world', 1 + 2, '$VAR'(27))).\n% prints: f('A', 'hello world', 1 + 2, B1)\nyes.\n```";
3035
3230
  }
3231
+ protoOf(WriteEq1).get_help_won7nu_k$ = function () {
3232
+ return this.help_1;
3233
+ };
3036
3234
  protoOf(WriteEq1).computeOne_6dkmes_k$ = function (_this__u8e3s4, first) {
3037
3235
  return IOPrimitiveUtils_getInstance().writeTermAndReply_wyva0k_k$(_this__u8e3s4, IOPrimitiveUtils_getInstance().get_currentOutputChannel_jl8tcy_k$(_this__u8e3s4), first, Companion_instance_7.readable());
3038
3236
  };
@@ -3048,7 +3246,11 @@
3048
3246
  function WriteEq2() {
3049
3247
  WriteEq2_instance = this;
3050
3248
  NonBacktrackable.call(this, 'writeq');
3249
+ this.help_1 = "`writeq(+Stream, @Term)`\n\nWrites `Term` to the output stream `Stream` so that it can be read back, quoting atoms and functors where needed and writing `'$VAR'(N)` terms as variable letters; the current implementation formats operators according to the default operator table rather than the current one. It succeeds deterministically. `Stream` must be an alias (e.g. `user_output`) or a `$stream(out, Id)` term denoting an open stream: an unbound `Stream` raises an instantiation error, an unknown one an existence error, and an input stream a domain error (`stream_type`), where ISO prescribes a permission error. It fails, instead of raising an error, if the underlying channel has been closed.\n\n**Examples**\n\n```prolog\n?- writeq(user_output, f('A', 1 + 2)).\n% prints: f('A', 1 + 2)\nyes.\n\n?- writeq(user_input, a).\nthrows error(domain_error(stream_type, user_input), _).\n```";
3051
3250
  }
3251
+ protoOf(WriteEq2).get_help_won7nu_k$ = function () {
3252
+ return this.help_1;
3253
+ };
3052
3254
  protoOf(WriteEq2).computeOne_sdv9lb_k$ = function (_this__u8e3s4, first, second) {
3053
3255
  var channel = IOPrimitiveUtils_getInstance().ensuringArgumentIsOutputChannel_kmdrtk_k$(_this__u8e3s4, 0);
3054
3256
  return IOPrimitiveUtils_getInstance().writeTermAndReply_wyva0k_k$(_this__u8e3s4, channel, second, Companion_instance_7.readable());
@@ -3065,7 +3267,11 @@
3065
3267
  function WriteTerm2() {
3066
3268
  WriteTerm2_instance = this;
3067
3269
  NonBacktrackable.call(this, 'write_term');
3270
+ this.help_1 = "`write_term(@Term, +Options)`\n\nWrites `Term` to the current output stream (standard output, unless changed via `set_output/1`), formatted according to `Options` and the current operators, succeeding deterministically. `Options` must be a list (an unbound `Options` raises a type error (`list`) rather than ISO's instantiation error) whose elements are `quoted(Bool)` (quote atoms and functors where needed), `ignore_ops(Bool)` (write operators in canonical functional notation) and `numbervars(Bool)` (write `'$VAR'(N)` terms as variable letters), with `Bool` being `true` or `false`; missing options default to `false`, and any other element raises a domain error (`write_option`). It fails, instead of raising an error, if the underlying channel has been closed.\n\n**Examples**\n\n```prolog\n?- write_term(f('A', 1 + 2), [quoted(true), ignore_ops(true)]).\n% prints: f('A', '+'(1, 2))\nyes.\n\n?- write_term(f('A', 1 + 2), []).\n% prints: f(A, 1 + 2)\nyes.\n\n?- write_term(a, [foo]).\nthrows error(domain_error(write_option, foo), _).\n\n?- write_term(a, Options).\nthrows error(type_error(list, _), _).\n```";
3068
3271
  }
3272
+ protoOf(WriteTerm2).get_help_won7nu_k$ = function () {
3273
+ return this.help_1;
3274
+ };
3069
3275
  protoOf(WriteTerm2).computeOne_sdv9lb_k$ = function (_this__u8e3s4, first, second) {
3070
3276
  var formatter = IOPrimitiveUtils_getInstance().ensuringArgumentIsFormatter_5l8dg0_k$(_this__u8e3s4, 1);
3071
3277
  return IOPrimitiveUtils_getInstance().writeTermAndReply_wyva0k_k$(_this__u8e3s4, IOPrimitiveUtils_getInstance().get_currentOutputChannel_jl8tcy_k$(_this__u8e3s4), first, formatter);
@@ -3082,7 +3288,11 @@
3082
3288
  function WriteTerm3() {
3083
3289
  WriteTerm3_instance = this;
3084
3290
  NonBacktrackable_1.call(this, 'write_term');
3291
+ this.help_1 = "`write_term(+Stream, @Term, +Options)`\n\nWrites `Term` to the output stream `Stream`, formatted according to `Options` and the current operators, succeeding deterministically. `Stream` must be an alias (e.g. `user_output`) or a `$stream(out, Id)` term denoting an open stream: an unbound `Stream` raises an instantiation error, an unknown one an existence error, and an input stream a domain error (`stream_type`), where ISO prescribes a permission error. `Options` must be a list (an unbound `Options` raises a type error (`list`) rather than ISO's instantiation error) whose elements are `quoted(Bool)` (quote atoms and functors where needed), `ignore_ops(Bool)` (write operators in canonical functional notation) and `numbervars(Bool)` (write `'$VAR'(N)` terms as variable letters), with `Bool` being `true` or `false`; missing options default to `false`, and any other element raises a domain error (`write_option`). It fails, instead of raising an error, if the underlying channel has been closed.\n\n**Examples**\n\n```prolog\n?- write_term(user_output, '$VAR'(27), [numbervars(true)]).\n% prints: B1\nyes.\n\n?- write_term(user_output, a, [quoted(maybe)]).\nthrows error(domain_error(write_option, quoted(maybe)), _).\n\n?- write_term(user_input, a, []).\nthrows error(domain_error(stream_type, user_input), _).\n```";
3085
3292
  }
3293
+ protoOf(WriteTerm3).get_help_won7nu_k$ = function () {
3294
+ return this.help_1;
3295
+ };
3086
3296
  protoOf(WriteTerm3).computeOne_oq9h0q_k$ = function (_this__u8e3s4, first, second, third) {
3087
3297
  var channel = IOPrimitiveUtils_getInstance().ensuringArgumentIsOutputChannel_kmdrtk_k$(_this__u8e3s4, 0);
3088
3298
  var formatter = IOPrimitiveUtils_getInstance().ensuringArgumentIsFormatter_5l8dg0_k$(_this__u8e3s4, 2);
@@ -3359,7 +3569,7 @@
3359
3569
  function _get_REQUEST_$ref_g5y4c1() {
3360
3570
  return constructCallableReference(function () {
3361
3571
  return get_REQUEST();
3362
- }, 0, 0, 142);
3572
+ }, 0, 0, 136);
3363
3573
  }
3364
3574
  var properties_initialized_RemoteAndBrowserIO_kt_w2uybl;
3365
3575
  function _init_properties_RemoteAndBrowserIO_kt__6j78jn() {
@@ -3459,7 +3669,7 @@
3459
3669
  function _get_FILE_URL_TO_PATH_$ref_kwvzgc() {
3460
3670
  return constructCallableReference(function () {
3461
3671
  return get_FILE_URL_TO_PATH();
3462
- }, 0, 0, 143);
3672
+ }, 0, 0, 137);
3463
3673
  }
3464
3674
  function openInputChannel$lambda($this_openInputChannel) {
3465
3675
  return function () {