@tuprolog/arg2p-core 0.7.1 → 0.7.2

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 (20) hide show
  1. package/2p-core.js +175 -174
  2. package/2p-core.js.map +1 -1
  3. package/2p-parser-core.js +1007 -5
  4. package/2p-parser-core.js.map +1 -1
  5. package/2p-parser-js.js +30 -5
  6. package/2p-parser-js.js.map +1 -1
  7. package/2p-parser-theory.js +146 -5
  8. package/2p-parser-theory.js.map +1 -1
  9. package/2p-solve-classic.js +855 -855
  10. package/2p-solve.js +3368 -3075
  11. package/2p-solve.js.map +1 -1
  12. package/2p-theory.js +65 -65
  13. package/2p-unify.js +25 -25
  14. package/2p-utils.js +36 -36
  15. package/arg2p-core.js +908 -4
  16. package/arg2p-core.js.map +1 -1
  17. package/kotlin-kotlin-stdlib-js-ir.js +372 -199
  18. package/kotlin-kotlin-stdlib-js-ir.js.map +1 -1
  19. package/kt-math.js +66 -66
  20. package/package.json +1 -1
package/2p-theory.js CHANGED
@@ -22,99 +22,99 @@
22
22
  'use strict';
23
23
  //region block: imports
24
24
  var imul = Math.imul;
25
- var protoOf = kotlin_kotlin.$_$.o5;
26
- var asIterable = kotlin_kotlin.$_$.l6;
27
- var any = kotlin_kotlin.$_$.k6;
28
- var asSequence = kotlin_kotlin.$_$.a2;
25
+ var protoOf = kotlin_kotlin.$_$.q5;
26
+ var asIterable = kotlin_kotlin.$_$.n6;
27
+ var any = kotlin_kotlin.$_$.m6;
28
+ var asSequence = kotlin_kotlin.$_$.b2;
29
29
  var Unit_getInstance = kotlin_kotlin.$_$.o1;
30
30
  var getKClassFromExpression = kotlin_kotlin.$_$.b;
31
- var joinToString = kotlin_kotlin.$_$.r2;
32
- var classMeta = kotlin_kotlin.$_$.s4;
33
- var VOID = kotlin_kotlin.$_$.n9;
34
- var setMetadataFor = kotlin_kotlin.$_$.p5;
35
- var toList = kotlin_kotlin.$_$.r7;
36
- var none = kotlin_kotlin.$_$.h7;
37
- var emptyList = kotlin_kotlin.$_$.j2;
31
+ var joinToString = kotlin_kotlin.$_$.t2;
32
+ var classMeta = kotlin_kotlin.$_$.u4;
33
+ var VOID = kotlin_kotlin.$_$.s9;
34
+ var setMetadataFor = kotlin_kotlin.$_$.r5;
35
+ var toList = kotlin_kotlin.$_$.t7;
36
+ var none = kotlin_kotlin.$_$.j7;
37
+ var emptyList = kotlin_kotlin.$_$.l2;
38
38
  var asIterable_0 = kotlin_kotlin.$_$.w1;
39
39
  var ArrayList_init_$Create$ = kotlin_kotlin.$_$.d;
40
- var Companion_getInstance = kotlin_it_unibo_tuprolog_core.$_$.p;
40
+ var Companion_getInstance = kotlin_it_unibo_tuprolog_core.$_$.q;
41
41
  var itemWiseEquals = kotlin_it_unibo_tuprolog_utils.$_$.a1;
42
42
  var getKClass = kotlin_kotlin.$_$.c;
43
43
  var itemWiseHashCode = kotlin_it_unibo_tuprolog_utils.$_$.b1;
44
44
  var itemWiseHashCode_0 = kotlin_it_unibo_tuprolog_utils.$_$.c1;
45
- var objectMeta = kotlin_kotlin.$_$.n5;
46
- var interfaceMeta = kotlin_kotlin.$_$.a5;
47
- var first = kotlin_kotlin.$_$.n2;
48
- var hashCode = kotlin_kotlin.$_$.z4;
49
- var THROW_CCE = kotlin_kotlin.$_$.b9;
50
- var equals = kotlin_kotlin.$_$.v4;
51
- var defineProp = kotlin_kotlin.$_$.u4;
52
- var objectCreate = kotlin_kotlin.$_$.m5;
53
- var toString = kotlin_kotlin.$_$.t5;
45
+ var objectMeta = kotlin_kotlin.$_$.p5;
46
+ var interfaceMeta = kotlin_kotlin.$_$.c5;
47
+ var first = kotlin_kotlin.$_$.p2;
48
+ var hashCode = kotlin_kotlin.$_$.b5;
49
+ var THROW_CCE = kotlin_kotlin.$_$.f9;
50
+ var equals = kotlin_kotlin.$_$.x4;
51
+ var defineProp = kotlin_kotlin.$_$.w4;
52
+ var objectCreate = kotlin_kotlin.$_$.o5;
53
+ var toString = kotlin_kotlin.$_$.v5;
54
54
  var IllegalArgumentException_init_$Create$ = kotlin_kotlin.$_$.q;
55
- var asReversed = kotlin_kotlin.$_$.x1;
56
- var isInterface = kotlin_kotlin.$_$.d5;
57
- var lazy = kotlin_kotlin.$_$.g9;
58
- var KProperty1 = kotlin_kotlin.$_$.h6;
59
- var getPropertyCallableRef = kotlin_kotlin.$_$.x4;
60
- var CoroutineImpl = kotlin_kotlin.$_$.k4;
61
- var SequenceScope = kotlin_kotlin.$_$.i6;
62
- var get_COROUTINE_SUSPENDED = kotlin_kotlin.$_$.j4;
63
- var sequence = kotlin_kotlin.$_$.l7;
64
- var listOf = kotlin_kotlin.$_$.z2;
55
+ var asReversed = kotlin_kotlin.$_$.y1;
56
+ var isInterface = kotlin_kotlin.$_$.f5;
57
+ var lazy = kotlin_kotlin.$_$.k9;
58
+ var KProperty1 = kotlin_kotlin.$_$.j6;
59
+ var getPropertyCallableRef = kotlin_kotlin.$_$.z4;
60
+ var CoroutineImpl = kotlin_kotlin.$_$.m4;
61
+ var SequenceScope = kotlin_kotlin.$_$.k6;
62
+ var get_COROUTINE_SUSPENDED = kotlin_kotlin.$_$.l4;
63
+ var sequence = kotlin_kotlin.$_$.n7;
64
+ var listOf = kotlin_kotlin.$_$.b3;
65
65
  var mergeSequences = kotlin_it_unibo_tuprolog_utils.$_$.e1;
66
- var sequenceOf = kotlin_kotlin.$_$.k7;
67
- var flatten = kotlin_kotlin.$_$.y6;
66
+ var sequenceOf = kotlin_kotlin.$_$.m7;
67
+ var flatten = kotlin_kotlin.$_$.a7;
68
68
  var compareTo = kotlin_it_unibo_tuprolog_utils.$_$.g;
69
69
  var LongIndexed = kotlin_it_unibo_tuprolog_utils.$_$.h;
70
70
  var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_utils.$_$.d;
71
- var copyToArray = kotlin_kotlin.$_$.h2;
72
- var plus = kotlin_kotlin.$_$.r3;
71
+ var copyToArray = kotlin_kotlin.$_$.j2;
72
+ var plus = kotlin_kotlin.$_$.t3;
73
73
  var ArrayList_init_$Create$_0 = kotlin_kotlin.$_$.e;
74
- var minOrNull = kotlin_kotlin.$_$.d3;
75
- var ensureNotNull = kotlin_kotlin.$_$.e9;
74
+ var minOrNull = kotlin_kotlin.$_$.f3;
75
+ var ensureNotNull = kotlin_kotlin.$_$.i9;
76
76
  var LinkedHashMap_init_$Create$ = kotlin_kotlin.$_$.g;
77
- var map = kotlin_kotlin.$_$.f7;
78
- var sum = kotlin_kotlin.$_$.m7;
77
+ var map = kotlin_kotlin.$_$.h7;
78
+ var sum = kotlin_kotlin.$_$.o7;
79
79
  var Collection = kotlin_kotlin.$_$.p1;
80
80
  var dequeOf = kotlin_it_unibo_tuprolog_utils.$_$.v;
81
81
  var addFirst = kotlin_it_unibo_tuprolog_utils.$_$.n;
82
- var filter = kotlin_kotlin.$_$.u6;
83
- var emptySequence = kotlin_kotlin.$_$.r6;
82
+ var filter = kotlin_kotlin.$_$.w6;
83
+ var emptySequence = kotlin_kotlin.$_$.t6;
84
84
  var buffered = kotlin_it_unibo_tuprolog_utils.$_$.o;
85
- var collectionSizeOrDefault = kotlin_kotlin.$_$.c2;
85
+ var collectionSizeOrDefault = kotlin_kotlin.$_$.d2;
86
86
  var dequeOf_0 = kotlin_it_unibo_tuprolog_utils.$_$.t;
87
87
  var Companion_getInstance_1 = kotlin_it_unibo_tuprolog_utils.$_$.b;
88
- var firstOrNull = kotlin_kotlin.$_$.v6;
89
- var NotImplementedError = kotlin_kotlin.$_$.w8;
90
- var take = kotlin_kotlin.$_$.o7;
88
+ var firstOrNull = kotlin_kotlin.$_$.x6;
89
+ var NotImplementedError = kotlin_kotlin.$_$.a9;
90
+ var take = kotlin_kotlin.$_$.q7;
91
91
  var IllegalStateException_init_$Create$ = kotlin_kotlin.$_$.t;
92
- var Long = kotlin_kotlin.$_$.v8;
92
+ var Long = kotlin_kotlin.$_$.z8;
93
93
  var UnsupportedOperationException_init_$Create$ = kotlin_kotlin.$_$.b1;
94
- var Companion_getInstance_2 = kotlin_it_unibo_tuprolog_core.$_$.o;
95
- var Companion_getInstance_3 = kotlin_it_unibo_tuprolog_core.$_$.u;
96
- var Companion_getInstance_4 = kotlin_it_unibo_tuprolog_core.$_$.q;
97
- var numberRangeToNumber = kotlin_kotlin.$_$.i5;
98
- var plus_0 = kotlin_kotlin.$_$.j7;
94
+ var Companion_getInstance_2 = kotlin_it_unibo_tuprolog_core.$_$.p;
95
+ var Companion_getInstance_3 = kotlin_it_unibo_tuprolog_core.$_$.v;
96
+ var Companion_getInstance_4 = kotlin_it_unibo_tuprolog_core.$_$.r;
97
+ var numberRangeToNumber = kotlin_kotlin.$_$.k5;
98
+ var plus_0 = kotlin_kotlin.$_$.l7;
99
99
  var getTag = kotlin_it_unibo_tuprolog_utils.$_$.k;
100
100
  var containsTag = kotlin_it_unibo_tuprolog_utils.$_$.j;
101
- var Companion_getInstance_5 = kotlin_it_unibo_tuprolog_core.$_$.i;
102
- var first_0 = kotlin_kotlin.$_$.o2;
101
+ var Companion_getInstance_5 = kotlin_it_unibo_tuprolog_core.$_$.j;
102
+ var first_0 = kotlin_kotlin.$_$.q2;
103
103
  var Companion_getInstance_6 = kotlin_it_unibo_tuprolog_unify.$_$.a;
104
- var filterNotNull = kotlin_kotlin.$_$.s6;
104
+ var filterNotNull = kotlin_kotlin.$_$.u6;
105
105
  var Taggable = kotlin_it_unibo_tuprolog_utils.$_$.l;
106
- var filterNot = kotlin_kotlin.$_$.t6;
107
- var asSequence_0 = kotlin_kotlin.$_$.b2;
108
- var toLong = kotlin_kotlin.$_$.r5;
109
- var emptyMap = kotlin_kotlin.$_$.k2;
110
- var toList_0 = kotlin_kotlin.$_$.z3;
111
- var listOf_0 = kotlin_kotlin.$_$.y2;
112
- var none_0 = kotlin_kotlin.$_$.m3;
106
+ var filterNot = kotlin_kotlin.$_$.v6;
107
+ var asSequence_0 = kotlin_kotlin.$_$.c2;
108
+ var toLong = kotlin_kotlin.$_$.t5;
109
+ var emptyMap = kotlin_kotlin.$_$.m2;
110
+ var toList_0 = kotlin_kotlin.$_$.b4;
111
+ var listOf_0 = kotlin_kotlin.$_$.a3;
112
+ var none_0 = kotlin_kotlin.$_$.o3;
113
113
  var dequeOf_1 = kotlin_it_unibo_tuprolog_utils.$_$.u;
114
- var Pair = kotlin_kotlin.$_$.z8;
115
- var flatMap = kotlin_kotlin.$_$.x6;
116
- var toMutableList = kotlin_kotlin.$_$.f4;
117
- var toMutableList_0 = kotlin_kotlin.$_$.s7;
114
+ var Pair = kotlin_kotlin.$_$.d9;
115
+ var flatMap = kotlin_kotlin.$_$.z6;
116
+ var toMutableList = kotlin_kotlin.$_$.h4;
117
+ var toMutableList_0 = kotlin_kotlin.$_$.u7;
118
118
  var addFirst_0 = kotlin_it_unibo_tuprolog_utils.$_$.m;
119
119
  var addAll = kotlin_kotlin.$_$.t1;
120
120
  //endregion
package/2p-unify.js CHANGED
@@ -20,40 +20,40 @@
20
20
  //region block: imports
21
21
  var imul = Math.imul;
22
22
  var Unit_getInstance = kotlin_kotlin.$_$.o1;
23
- var asSequence = kotlin_kotlin.$_$.z1;
24
- var plus = kotlin_kotlin.$_$.j7;
25
- var map = kotlin_kotlin.$_$.f7;
26
- var Companion_getInstance = kotlin_it_unibo_tuprolog_core.$_$.r;
23
+ var asSequence = kotlin_kotlin.$_$.a2;
24
+ var plus = kotlin_kotlin.$_$.l7;
25
+ var map = kotlin_kotlin.$_$.h7;
26
+ var Companion_getInstance = kotlin_it_unibo_tuprolog_core.$_$.s;
27
27
  var ArrayList_init_$Create$ = kotlin_kotlin.$_$.e;
28
- var toCollection = kotlin_kotlin.$_$.p7;
29
- var Pair = kotlin_kotlin.$_$.z8;
30
- var VOID = kotlin_kotlin.$_$.n9;
31
- var lazy = kotlin_kotlin.$_$.g9;
32
- var protoOf = kotlin_kotlin.$_$.o5;
33
- var asSequence_0 = kotlin_kotlin.$_$.a2;
34
- var classMeta = kotlin_kotlin.$_$.s4;
35
- var setMetadataFor = kotlin_kotlin.$_$.p5;
36
- var KProperty1 = kotlin_kotlin.$_$.h6;
37
- var getPropertyCallableRef = kotlin_kotlin.$_$.x4;
28
+ var toCollection = kotlin_kotlin.$_$.r7;
29
+ var Pair = kotlin_kotlin.$_$.d9;
30
+ var VOID = kotlin_kotlin.$_$.s9;
31
+ var lazy = kotlin_kotlin.$_$.k9;
32
+ var protoOf = kotlin_kotlin.$_$.q5;
33
+ var asSequence_0 = kotlin_kotlin.$_$.b2;
34
+ var classMeta = kotlin_kotlin.$_$.u4;
35
+ var setMetadataFor = kotlin_kotlin.$_$.r5;
36
+ var KProperty1 = kotlin_kotlin.$_$.j6;
37
+ var getPropertyCallableRef = kotlin_kotlin.$_$.z4;
38
38
  var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_utils.$_$.a;
39
- var Triple = kotlin_kotlin.$_$.d9;
39
+ var Triple = kotlin_kotlin.$_$.h9;
40
40
  var Some = kotlin_it_unibo_tuprolog_utils.$_$.i;
41
- var zip = kotlin_kotlin.$_$.w7;
42
- var flatMap = kotlin_kotlin.$_$.x6;
43
- var sequenceOf = kotlin_kotlin.$_$.k7;
44
- var THROW_CCE = kotlin_kotlin.$_$.b9;
41
+ var zip = kotlin_kotlin.$_$.y7;
42
+ var flatMap = kotlin_kotlin.$_$.z6;
43
+ var sequenceOf = kotlin_kotlin.$_$.m7;
44
+ var THROW_CCE = kotlin_kotlin.$_$.f9;
45
45
  var castTo = kotlin_it_unibo_tuprolog_utils.$_$.e;
46
- var to = kotlin_kotlin.$_$.m9;
47
- var objectMeta = kotlin_kotlin.$_$.n5;
46
+ var to = kotlin_kotlin.$_$.r9;
47
+ var objectMeta = kotlin_kotlin.$_$.p5;
48
48
  var getKClass = kotlin_kotlin.$_$.c;
49
49
  var ClassCastException_init_$Create$ = kotlin_kotlin.$_$.o;
50
- var Companion_getInstance_1 = kotlin_it_unibo_tuprolog_core.$_$.q;
51
- var defineProp = kotlin_kotlin.$_$.u4;
50
+ var Companion_getInstance_1 = kotlin_it_unibo_tuprolog_core.$_$.r;
51
+ var defineProp = kotlin_kotlin.$_$.w4;
52
52
  var Castable = kotlin_it_unibo_tuprolog_utils.$_$.f;
53
- var collectionSizeOrDefault = kotlin_kotlin.$_$.c2;
53
+ var collectionSizeOrDefault = kotlin_kotlin.$_$.d2;
54
54
  var ArrayList_init_$Create$_0 = kotlin_kotlin.$_$.d;
55
55
  var IllegalArgumentException_init_$Create$ = kotlin_kotlin.$_$.q;
56
- var interfaceMeta = kotlin_kotlin.$_$.a5;
56
+ var interfaceMeta = kotlin_kotlin.$_$.c5;
57
57
  //endregion
58
58
  //region block: pre-declaration
59
59
  function mgu(term1, term2) {
package/2p-utils.js CHANGED
@@ -13,51 +13,51 @@
13
13
  'use strict';
14
14
  //region block: imports
15
15
  var imul = Math.imul;
16
- var protoOf = kotlin_kotlin.$_$.o5;
17
- var objectMeta = kotlin_kotlin.$_$.n5;
18
- var VOID = kotlin_kotlin.$_$.n9;
19
- var setMetadataFor = kotlin_kotlin.$_$.p5;
16
+ var protoOf = kotlin_kotlin.$_$.q5;
17
+ var objectMeta = kotlin_kotlin.$_$.p5;
18
+ var VOID = kotlin_kotlin.$_$.s9;
19
+ var setMetadataFor = kotlin_kotlin.$_$.r5;
20
20
  var Unit_getInstance = kotlin_kotlin.$_$.o1;
21
- var interfaceMeta = kotlin_kotlin.$_$.a5;
22
- var THROW_CCE = kotlin_kotlin.$_$.b9;
23
- var isInterface = kotlin_kotlin.$_$.d5;
24
- var classMeta = kotlin_kotlin.$_$.s4;
25
- var Sequence = kotlin_kotlin.$_$.j6;
26
- var arrayIterator = kotlin_kotlin.$_$.m4;
27
- var sequence = kotlin_kotlin.$_$.l7;
28
- var hashCode = kotlin_kotlin.$_$.z4;
29
- var asIterable = kotlin_kotlin.$_$.l6;
30
- var toList = kotlin_kotlin.$_$.r7;
31
- var asSequence = kotlin_kotlin.$_$.a2;
21
+ var interfaceMeta = kotlin_kotlin.$_$.c5;
22
+ var THROW_CCE = kotlin_kotlin.$_$.f9;
23
+ var isInterface = kotlin_kotlin.$_$.f5;
24
+ var classMeta = kotlin_kotlin.$_$.u4;
25
+ var Sequence = kotlin_kotlin.$_$.l6;
26
+ var arrayIterator = kotlin_kotlin.$_$.o4;
27
+ var sequence = kotlin_kotlin.$_$.n7;
28
+ var hashCode = kotlin_kotlin.$_$.b5;
29
+ var asIterable = kotlin_kotlin.$_$.n6;
30
+ var toList = kotlin_kotlin.$_$.t7;
31
+ var asSequence = kotlin_kotlin.$_$.b2;
32
32
  var asIterable_0 = kotlin_kotlin.$_$.w1;
33
- var collectionSizeOrDefault = kotlin_kotlin.$_$.c2;
33
+ var collectionSizeOrDefault = kotlin_kotlin.$_$.d2;
34
34
  var ArrayList_init_$Create$ = kotlin_kotlin.$_$.d;
35
35
  var IntCompanionObject_getInstance = kotlin_kotlin.$_$.j1;
36
- var IntRange = kotlin_kotlin.$_$.d6;
37
- var zip = kotlin_kotlin.$_$.v7;
38
- var CoroutineImpl = kotlin_kotlin.$_$.k4;
39
- var SequenceScope = kotlin_kotlin.$_$.i6;
40
- var get_COROUTINE_SUSPENDED = kotlin_kotlin.$_$.j4;
41
- var withIndex = kotlin_kotlin.$_$.u7;
42
- var equals = kotlin_kotlin.$_$.v4;
43
- var ensureNotNull = kotlin_kotlin.$_$.e9;
44
- var map = kotlin_kotlin.$_$.f7;
45
- var filterNot = kotlin_kotlin.$_$.t6;
46
- var toMutableList = kotlin_kotlin.$_$.s7;
47
- var minWithOrNull = kotlin_kotlin.$_$.g7;
48
- var isObject = kotlin_kotlin.$_$.f5;
36
+ var IntRange = kotlin_kotlin.$_$.f6;
37
+ var zip = kotlin_kotlin.$_$.x7;
38
+ var CoroutineImpl = kotlin_kotlin.$_$.m4;
39
+ var SequenceScope = kotlin_kotlin.$_$.k6;
40
+ var get_COROUTINE_SUSPENDED = kotlin_kotlin.$_$.l4;
41
+ var withIndex = kotlin_kotlin.$_$.w7;
42
+ var equals = kotlin_kotlin.$_$.x4;
43
+ var ensureNotNull = kotlin_kotlin.$_$.i9;
44
+ var map = kotlin_kotlin.$_$.h7;
45
+ var filterNot = kotlin_kotlin.$_$.v6;
46
+ var toMutableList = kotlin_kotlin.$_$.u7;
47
+ var minWithOrNull = kotlin_kotlin.$_$.i7;
48
+ var isObject = kotlin_kotlin.$_$.h5;
49
49
  var Map = kotlin_kotlin.$_$.r1;
50
- var lazy = kotlin_kotlin.$_$.g9;
50
+ var lazy = kotlin_kotlin.$_$.k9;
51
51
  var getKClassFromExpression = kotlin_kotlin.$_$.b;
52
- var KProperty1 = kotlin_kotlin.$_$.h6;
53
- var getPropertyCallableRef = kotlin_kotlin.$_$.x4;
52
+ var KProperty1 = kotlin_kotlin.$_$.j6;
53
+ var getPropertyCallableRef = kotlin_kotlin.$_$.z4;
54
54
  var NoSuchElementException_init_$Create$ = kotlin_kotlin.$_$.w;
55
- var toString = kotlin_kotlin.$_$.t5;
56
- var Pair = kotlin_kotlin.$_$.z8;
55
+ var toString = kotlin_kotlin.$_$.v5;
56
+ var Pair = kotlin_kotlin.$_$.d9;
57
57
  var IllegalArgumentException_init_$Create$ = kotlin_kotlin.$_$.q;
58
58
  var LinkedHashMap_init_$Create$ = kotlin_kotlin.$_$.g;
59
- var joinToString = kotlin_kotlin.$_$.b7;
60
- var mutableListOf = kotlin_kotlin.$_$.j3;
59
+ var joinToString = kotlin_kotlin.$_$.d7;
60
+ var mutableListOf = kotlin_kotlin.$_$.l3;
61
61
  var ArrayList_init_$Create$_0 = kotlin_kotlin.$_$.e;
62
62
  var addAll = kotlin_kotlin.$_$.t1;
63
63
  //endregion