@tuprolog/arg2p 0.14.1 → 0.15.0

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 (23) hide show
  1. package/2p-core.js +102 -102
  2. package/2p-dsl-core.js +209 -209
  3. package/2p-dsl-core.js.map +1 -1
  4. package/2p-dsl-solve.js +15 -15
  5. package/2p-dsl-theory.js +17 -17
  6. package/2p-dsl-unify.js +11 -11
  7. package/2p-parser-core.js +30 -30
  8. package/2p-parser-js.js +1 -1
  9. package/2p-parser-theory.js +6 -6
  10. package/2p-solve-classic.js +51 -51
  11. package/2p-solve.js +128 -128
  12. package/2p-theory.js +60 -60
  13. package/2p-unify.js +21 -21
  14. package/2p-utils.js +43 -43
  15. package/arg2p-causality-solver.js +437 -153
  16. package/arg2p-causality-solver.js.map +1 -1
  17. package/arg2p-core.js +63 -63
  18. package/arg2p-core.js.map +1 -1
  19. package/arg2p.js +43 -43
  20. package/kotlin-kotlin-stdlib.js +255 -242
  21. package/kotlin-kotlin-stdlib.js.map +1 -1
  22. package/kt-math.js +72 -72
  23. package/package.json +1 -1
package/2p-core.js CHANGED
@@ -19,161 +19,161 @@
19
19
  'use strict';
20
20
  //region block: imports
21
21
  var imul = Math.imul;
22
- var protoOf = kotlin_kotlin.$_$.n6;
23
- var initMetadataForInterface = kotlin_kotlin.$_$.c6;
24
- var initMetadataForCompanion = kotlin_kotlin.$_$.b6;
25
- var emptyList = kotlin_kotlin.$_$.n2;
26
- var emptySequence = kotlin_kotlin.$_$.r7;
27
- var THROW_CCE = kotlin_kotlin.$_$.qa;
28
- var isInterface = kotlin_kotlin.$_$.h6;
22
+ var protoOf = kotlin_kotlin.$_$.o6;
23
+ var initMetadataForInterface = kotlin_kotlin.$_$.d6;
24
+ var initMetadataForCompanion = kotlin_kotlin.$_$.c6;
25
+ var emptyList = kotlin_kotlin.$_$.o2;
26
+ var emptySequence = kotlin_kotlin.$_$.s7;
27
+ var THROW_CCE = kotlin_kotlin.$_$.ra;
28
+ var isInterface = kotlin_kotlin.$_$.i6;
29
29
  var VOID = kotlin_kotlin.$_$.b;
30
- var toList = kotlin_kotlin.$_$.g4;
31
- var single = kotlin_kotlin.$_$.c4;
32
- var toList_0 = kotlin_kotlin.$_$.f4;
33
- var toList_1 = kotlin_kotlin.$_$.v8;
34
- var initMetadataForClass = kotlin_kotlin.$_$.a6;
30
+ var toList = kotlin_kotlin.$_$.h4;
31
+ var single = kotlin_kotlin.$_$.d4;
32
+ var toList_0 = kotlin_kotlin.$_$.g4;
33
+ var toList_1 = kotlin_kotlin.$_$.w8;
34
+ var initMetadataForClass = kotlin_kotlin.$_$.b6;
35
35
  var NoSuchElementException_init_$Create$ = kotlin_kotlin.$_$.w;
36
- var map = kotlin_kotlin.$_$.g8;
36
+ var map = kotlin_kotlin.$_$.h8;
37
37
  var UnsupportedOperationException_init_$Create$ = kotlin_kotlin.$_$.c1;
38
38
  var KtMap = kotlin_kotlin.$_$.q1;
39
- var ensureNotNull = kotlin_kotlin.$_$.ua;
40
- var listOf = kotlin_kotlin.$_$.e3;
39
+ var ensureNotNull = kotlin_kotlin.$_$.va;
40
+ var listOf = kotlin_kotlin.$_$.f3;
41
41
  var asIterable = kotlin_kotlin.$_$.v1;
42
42
  var any = kotlin_kotlin.$_$.u1;
43
- var toString = kotlin_kotlin.$_$.q6;
43
+ var toString = kotlin_kotlin.$_$.r6;
44
44
  var IllegalArgumentException_init_$Create$ = kotlin_kotlin.$_$.q;
45
45
  var Unit_instance = kotlin_kotlin.$_$.l1;
46
- var asIterable_0 = kotlin_kotlin.$_$.l7;
46
+ var asIterable_0 = kotlin_kotlin.$_$.m7;
47
47
  var arrayConcat = kotlin_kotlin.$_$.a;
48
- var until = kotlin_kotlin.$_$.d7;
48
+ var until = kotlin_kotlin.$_$.e7;
49
49
  var collectionSizeOrDefault = kotlin_kotlin.$_$.c2;
50
50
  var ArrayList_init_$Create$ = kotlin_kotlin.$_$.c;
51
51
  var Companion_getInstance = kotlin_io_github_gciatto_kt_math.$_$.e;
52
- var fromInt = kotlin_kotlin.$_$.a5;
52
+ var fromInt = kotlin_kotlin.$_$.b5;
53
53
  var Companion_getInstance_0 = kotlin_io_github_gciatto_kt_math.$_$.d;
54
54
  var cursor = kotlin_it_unibo_tuprolog_utils.$_$.w;
55
55
  var KtList = kotlin_kotlin.$_$.o1;
56
56
  var cursor_0 = kotlin_it_unibo_tuprolog_utils.$_$.x;
57
57
  var cursor_1 = kotlin_it_unibo_tuprolog_utils.$_$.y;
58
- var toString_0 = kotlin_kotlin.$_$.bb;
58
+ var toString_0 = kotlin_kotlin.$_$.cb;
59
59
  var asReversed = kotlin_kotlin.$_$.x1;
60
- var last = kotlin_kotlin.$_$.a3;
61
- var count = kotlin_kotlin.$_$.o7;
62
- var NumberFormatException = kotlin_kotlin.$_$.na;
63
- var contains = kotlin_kotlin.$_$.d9;
60
+ var last = kotlin_kotlin.$_$.b3;
61
+ var count = kotlin_kotlin.$_$.p7;
62
+ var NumberFormatException = kotlin_kotlin.$_$.oa;
63
+ var contains = kotlin_kotlin.$_$.e9;
64
64
  var LinkedHashMap_init_$Create$ = kotlin_kotlin.$_$.f;
65
- var toCharArray = kotlin_kotlin.$_$.w9;
65
+ var toCharArray = kotlin_kotlin.$_$.x9;
66
66
  var asSequence = kotlin_kotlin.$_$.y1;
67
- var emptyMap = kotlin_kotlin.$_$.o2;
68
- var first = kotlin_kotlin.$_$.r2;
69
- var get_lastIndex = kotlin_kotlin.$_$.y2;
70
- var slice = kotlin_kotlin.$_$.e4;
71
- var listOfNotNull = kotlin_kotlin.$_$.c3;
72
- var plus = kotlin_kotlin.$_$.x3;
73
- var equals = kotlin_kotlin.$_$.u5;
74
- var flatMap = kotlin_kotlin.$_$.x7;
67
+ var emptyMap = kotlin_kotlin.$_$.p2;
68
+ var first = kotlin_kotlin.$_$.s2;
69
+ var get_lastIndex = kotlin_kotlin.$_$.z2;
70
+ var slice = kotlin_kotlin.$_$.f4;
71
+ var listOfNotNull = kotlin_kotlin.$_$.d3;
72
+ var plus = kotlin_kotlin.$_$.y3;
73
+ var equals = kotlin_kotlin.$_$.v5;
74
+ var flatMap = kotlin_kotlin.$_$.y7;
75
75
  var asSequence_0 = kotlin_kotlin.$_$.a2;
76
- var to = kotlin_kotlin.$_$.cb;
77
- var mapOf = kotlin_kotlin.$_$.g3;
78
- var sequenceOf = kotlin_kotlin.$_$.m8;
76
+ var to = kotlin_kotlin.$_$.db;
77
+ var mapOf = kotlin_kotlin.$_$.h3;
78
+ var sequenceOf = kotlin_kotlin.$_$.n8;
79
79
  var IllegalStateException_init_$Create$ = kotlin_kotlin.$_$.t;
80
- var getKClass = kotlin_kotlin.$_$.f7;
80
+ var getKClass = kotlin_kotlin.$_$.g7;
81
81
  var ClassCastException_init_$Create$ = kotlin_kotlin.$_$.o;
82
82
  var Taggable = kotlin_it_unibo_tuprolog_utils.$_$.o;
83
83
  var Castable = kotlin_it_unibo_tuprolog_utils.$_$.f;
84
84
  var ArrayList_init_$Create$_0 = kotlin_kotlin.$_$.d;
85
- var firstOrNull = kotlin_kotlin.$_$.q2;
86
- var CoroutineImpl = kotlin_kotlin.$_$.r4;
87
- var SequenceScope = kotlin_kotlin.$_$.i7;
88
- var get_COROUTINE_SUSPENDED = kotlin_kotlin.$_$.q4;
89
- var initMetadataForLambda = kotlin_kotlin.$_$.d6;
90
- var none = kotlin_kotlin.$_$.i8;
91
- var mapCapacity = kotlin_kotlin.$_$.f3;
85
+ var firstOrNull = kotlin_kotlin.$_$.r2;
86
+ var CoroutineImpl = kotlin_kotlin.$_$.s4;
87
+ var SequenceScope = kotlin_kotlin.$_$.j7;
88
+ var get_COROUTINE_SUSPENDED = kotlin_kotlin.$_$.r4;
89
+ var initMetadataForLambda = kotlin_kotlin.$_$.e6;
90
+ var none = kotlin_kotlin.$_$.j8;
91
+ var mapCapacity = kotlin_kotlin.$_$.g3;
92
92
  var LinkedHashMap_init_$Create$_0 = kotlin_kotlin.$_$.e;
93
- var mutableSetOf = kotlin_kotlin.$_$.q3;
94
- var getValue = kotlin_kotlin.$_$.u2;
93
+ var mutableSetOf = kotlin_kotlin.$_$.r3;
94
+ var getValue = kotlin_kotlin.$_$.v2;
95
95
  var contains_0 = kotlin_kotlin.$_$.d2;
96
- var sequence = kotlin_kotlin.$_$.o8;
97
- var lastOrNull = kotlin_kotlin.$_$.d8;
98
- var getKClassFromExpression = kotlin_kotlin.$_$.e7;
99
- var hashCode = kotlin_kotlin.$_$.z5;
100
- var toMap = kotlin_kotlin.$_$.j4;
101
- var plus_0 = kotlin_kotlin.$_$.s3;
102
- var minus = kotlin_kotlin.$_$.k3;
103
- var listOf_0 = kotlin_kotlin.$_$.d3;
96
+ var sequence = kotlin_kotlin.$_$.p8;
97
+ var lastOrNull = kotlin_kotlin.$_$.e8;
98
+ var getKClassFromExpression = kotlin_kotlin.$_$.f7;
99
+ var hashCode = kotlin_kotlin.$_$.a6;
100
+ var toMap = kotlin_kotlin.$_$.k4;
101
+ var plus_0 = kotlin_kotlin.$_$.t3;
102
+ var minus = kotlin_kotlin.$_$.l3;
103
+ var listOf_0 = kotlin_kotlin.$_$.e3;
104
104
  var getTag = kotlin_it_unibo_tuprolog_utils.$_$.n;
105
105
  var containsTag = kotlin_it_unibo_tuprolog_utils.$_$.m;
106
106
  var castTo = kotlin_it_unibo_tuprolog_utils.$_$.e;
107
- var Comparable = kotlin_kotlin.$_$.fa;
108
- var Comparator = kotlin_kotlin.$_$.ga;
109
- var initMetadataForObject = kotlin_kotlin.$_$.e6;
110
- var compareTo = kotlin_kotlin.$_$.s5;
111
- var Enum = kotlin_kotlin.$_$.ha;
112
- var noWhenBranchMatchedException = kotlin_kotlin.$_$.xa;
107
+ var Comparable = kotlin_kotlin.$_$.ga;
108
+ var Comparator = kotlin_kotlin.$_$.ha;
109
+ var initMetadataForObject = kotlin_kotlin.$_$.f6;
110
+ var compareTo = kotlin_kotlin.$_$.t5;
111
+ var Enum = kotlin_kotlin.$_$.ia;
112
+ var noWhenBranchMatchedException = kotlin_kotlin.$_$.ya;
113
113
  var Regex_init_$Create$ = kotlin_kotlin.$_$.i;
114
114
  var toString_1 = kotlin_kotlin.$_$.h1;
115
115
  var _Char___init__impl__6a9atx = kotlin_kotlin.$_$.d1;
116
- var mutableListOf = kotlin_kotlin.$_$.o3;
117
- var sequenceOf_0 = kotlin_kotlin.$_$.n8;
118
- var objectCreate = kotlin_kotlin.$_$.m6;
119
- var captureStack = kotlin_kotlin.$_$.m5;
116
+ var mutableListOf = kotlin_kotlin.$_$.p3;
117
+ var sequenceOf_0 = kotlin_kotlin.$_$.o8;
118
+ var objectCreate = kotlin_kotlin.$_$.n6;
119
+ var captureStack = kotlin_kotlin.$_$.n5;
120
120
  var RuntimeException_init_$Init$ = kotlin_kotlin.$_$.b1;
121
121
  var RuntimeException_init_$Init$_0 = kotlin_kotlin.$_$.a1;
122
- var RuntimeException = kotlin_kotlin.$_$.pa;
122
+ var RuntimeException = kotlin_kotlin.$_$.qa;
123
123
  var Iterable = kotlin_kotlin.$_$.n1;
124
- var lazy = kotlin_kotlin.$_$.wa;
125
- var KProperty1 = kotlin_kotlin.$_$.h7;
126
- var getPropertyCallableRef = kotlin_kotlin.$_$.x5;
127
- var get_lastIndex_0 = kotlin_kotlin.$_$.z2;
128
- var sliceArray = kotlin_kotlin.$_$.d4;
129
- var asSequence_1 = kotlin_kotlin.$_$.m7;
130
- var last_0 = kotlin_kotlin.$_$.e8;
131
- var take = kotlin_kotlin.$_$.s8;
132
- var joinToString = kotlin_kotlin.$_$.c8;
124
+ var lazy = kotlin_kotlin.$_$.xa;
125
+ var KProperty1 = kotlin_kotlin.$_$.i7;
126
+ var getPropertyCallableRef = kotlin_kotlin.$_$.y5;
127
+ var get_lastIndex_0 = kotlin_kotlin.$_$.a3;
128
+ var sliceArray = kotlin_kotlin.$_$.e4;
129
+ var asSequence_1 = kotlin_kotlin.$_$.n7;
130
+ var last_0 = kotlin_kotlin.$_$.f8;
131
+ var take = kotlin_kotlin.$_$.t8;
132
+ var joinToString = kotlin_kotlin.$_$.d8;
133
133
  var setTags = kotlin_it_unibo_tuprolog_utils.$_$.m1;
134
- var getStringHashCode = kotlin_kotlin.$_$.y5;
134
+ var getStringHashCode = kotlin_kotlin.$_$.z5;
135
135
  var forceCast = kotlin_it_unibo_tuprolog_utils.$_$.d1;
136
136
  var itemWiseHashCode = kotlin_it_unibo_tuprolog_utils.$_$.h1;
137
- var joinToString_0 = kotlin_kotlin.$_$.w2;
138
- var plus_1 = kotlin_kotlin.$_$.y3;
139
- var get_indices = kotlin_kotlin.$_$.v2;
137
+ var joinToString_0 = kotlin_kotlin.$_$.x2;
138
+ var plus_1 = kotlin_kotlin.$_$.z3;
139
+ var get_indices = kotlin_kotlin.$_$.w2;
140
140
  var IndexOutOfBoundsException_init_$Create$ = kotlin_kotlin.$_$.v;
141
141
  var copyToArray = kotlin_kotlin.$_$.k2;
142
- var numberToChar = kotlin_kotlin.$_$.k6;
143
- var mutableMapOf = kotlin_kotlin.$_$.p3;
144
- var drop = kotlin_kotlin.$_$.q7;
145
- var first_0 = kotlin_kotlin.$_$.w7;
142
+ var numberToChar = kotlin_kotlin.$_$.l6;
143
+ var mutableMapOf = kotlin_kotlin.$_$.q3;
144
+ var drop = kotlin_kotlin.$_$.r7;
145
+ var first_0 = kotlin_kotlin.$_$.x7;
146
146
  var insertAt = kotlin_it_unibo_tuprolog_utils.$_$.e1;
147
- var plus_2 = kotlin_kotlin.$_$.k8;
147
+ var plus_2 = kotlin_kotlin.$_$.l8;
148
148
  var dropLast = kotlin_it_unibo_tuprolog_utils.$_$.c1;
149
- var iterator = kotlin_kotlin.$_$.b8;
149
+ var iterator = kotlin_kotlin.$_$.c8;
150
150
  var dequeOf = kotlin_it_unibo_tuprolog_utils.$_$.z;
151
151
  var itemWiseHashCode_0 = kotlin_it_unibo_tuprolog_utils.$_$.j1;
152
152
  var itemWiseEquals = kotlin_it_unibo_tuprolog_utils.$_$.f1;
153
- var toMap_0 = kotlin_kotlin.$_$.h4;
153
+ var toMap_0 = kotlin_kotlin.$_$.i4;
154
154
  var synchronizedOnSelf = kotlin_it_unibo_tuprolog_utils.$_$.n1;
155
- var mapOf_0 = kotlin_kotlin.$_$.h3;
156
- var emptySet = kotlin_kotlin.$_$.p2;
155
+ var mapOf_0 = kotlin_kotlin.$_$.i3;
156
+ var emptySet = kotlin_kotlin.$_$.q2;
157
157
  var asSequence_2 = kotlin_kotlin.$_$.z1;
158
- var filter = kotlin_kotlin.$_$.u7;
159
- var firstOrNull_0 = kotlin_kotlin.$_$.v7;
160
- var Pair = kotlin_kotlin.$_$.oa;
161
- var setOf = kotlin_kotlin.$_$.b4;
162
- var setOf_0 = kotlin_kotlin.$_$.a4;
163
- var defineProp = kotlin_kotlin.$_$.t5;
158
+ var filter = kotlin_kotlin.$_$.v7;
159
+ var firstOrNull_0 = kotlin_kotlin.$_$.w7;
160
+ var Pair = kotlin_kotlin.$_$.pa;
161
+ var setOf = kotlin_kotlin.$_$.c4;
162
+ var setOf_0 = kotlin_kotlin.$_$.b4;
163
+ var defineProp = kotlin_kotlin.$_$.u5;
164
164
  var synchronizedOn = kotlin_it_unibo_tuprolog_utils.$_$.o1;
165
- var add = kotlin_kotlin.$_$.v4;
166
- var IllegalStateException = kotlin_kotlin.$_$.ja;
167
- var IllegalArgumentException = kotlin_kotlin.$_$.ia;
165
+ var add = kotlin_kotlin.$_$.w4;
166
+ var IllegalStateException = kotlin_kotlin.$_$.ka;
167
+ var IllegalArgumentException = kotlin_kotlin.$_$.ja;
168
168
  var asSequence_3 = kotlin_kotlin.$_$.b2;
169
- var toSet = kotlin_kotlin.$_$.x8;
170
- var toHashSet = kotlin_kotlin.$_$.u8;
171
- var minus_0 = kotlin_kotlin.$_$.n3;
172
- var minus_1 = kotlin_kotlin.$_$.m3;
169
+ var toSet = kotlin_kotlin.$_$.y8;
170
+ var toHashSet = kotlin_kotlin.$_$.v8;
171
+ var minus_0 = kotlin_kotlin.$_$.o3;
172
+ var minus_1 = kotlin_kotlin.$_$.n3;
173
173
  var KtSet = kotlin_kotlin.$_$.r1;
174
- var plus_3 = kotlin_kotlin.$_$.t3;
174
+ var plus_3 = kotlin_kotlin.$_$.u3;
175
175
  var IllegalArgumentException_init_$Create$_0 = kotlin_kotlin.$_$.r;
176
- var THROW_IAE = kotlin_kotlin.$_$.ra;
176
+ var THROW_IAE = kotlin_kotlin.$_$.sa;
177
177
  //endregion
178
178
  //region block: pre-declaration
179
179
  function apply(substitution, substitutions) {