@tuprolog/2p-full 2.0.9 → 3.0.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.
- package/2p-bdd.js +21 -21
- package/2p-core.js +105 -100
- package/2p-core.js.map +1 -1
- package/2p-full.js +7 -11
- package/2p-full.js.map +1 -1
- package/2p-io-lib.js +331 -121
- package/2p-io-lib.js.map +1 -1
- package/2p-oop-lib.js +276 -141
- package/2p-oop-lib.js.map +1 -1
- package/2p-parser-core.js +11 -11
- package/2p-parser-impl.js +65 -65
- package/2p-parser-theory.js +13 -13
- package/2p-repl.js +54 -51
- package/2p-repl.js.map +1 -1
- package/2p-solve-plp.js +1 -1
- package/2p-solve-problog.js +118 -118
- package/2p-solve-problog.js.map +1 -1
- package/{2p-solve-classic.js → 2p-solve-prolog.js} +727 -703
- package/2p-solve-prolog.js.map +1 -0
- package/2p-solve.js +2484 -1305
- package/2p-solve.js.map +1 -1
- package/2p-theory.js +54 -54
- package/2p-unify.js +22 -22
- package/2p-utils.js +42 -42
- package/README.md +1 -1
- package/clikt-clikt-mordant.js +9 -9
- package/clikt-clikt.js +129 -129
- package/colormath-root-colormath.js +29 -29
- package/kotlin-kotlin-stdlib.js +707 -645
- package/kotlin-kotlin-stdlib.js.map +1 -1
- package/kt-math.js +70 -70
- package/markdown.js +15 -0
- package/markdown.js.map +1 -0
- package/mordant-mordant.js +81 -81
- package/okio-parent-okio-nodefilesystem.js +10 -10
- package/okio-parent-okio.js +33 -33
- package/package.json +1 -1
- package/2p-solve-classic.js.map +0 -1
- package/2p-solve-streams.js +0 -2661
- package/2p-solve-streams.js.map +0 -1
package/2p-theory.js
CHANGED
|
@@ -22,67 +22,67 @@
|
|
|
22
22
|
'use strict';
|
|
23
23
|
//region block: imports
|
|
24
24
|
var imul = Math.imul;
|
|
25
|
-
var protoOf = kotlin_kotlin.$_$.
|
|
26
|
-
var asIterable = kotlin_kotlin.$_$.
|
|
27
|
-
var any = kotlin_kotlin.$_$.
|
|
25
|
+
var protoOf = kotlin_kotlin.$_$.s8;
|
|
26
|
+
var asIterable = kotlin_kotlin.$_$.x9;
|
|
27
|
+
var any = kotlin_kotlin.$_$.w9;
|
|
28
28
|
var asSequence = kotlin_kotlin.$_$.r2;
|
|
29
|
-
var getKClassFromExpression = kotlin_kotlin.$_$.
|
|
30
|
-
var joinToString = kotlin_kotlin.$_$.
|
|
31
|
-
var initMetadataForClass = kotlin_kotlin.$_$.
|
|
29
|
+
var getKClassFromExpression = kotlin_kotlin.$_$.p9;
|
|
30
|
+
var joinToString = kotlin_kotlin.$_$.u3;
|
|
31
|
+
var initMetadataForClass = kotlin_kotlin.$_$.b8;
|
|
32
32
|
var Unit_instance = kotlin_kotlin.$_$.r;
|
|
33
|
-
var toList = kotlin_kotlin.$_$.
|
|
34
|
-
var none = kotlin_kotlin.$_$.
|
|
33
|
+
var toList = kotlin_kotlin.$_$.hb;
|
|
34
|
+
var none = kotlin_kotlin.$_$.va;
|
|
35
35
|
var VOID = kotlin_kotlin.$_$.b;
|
|
36
|
-
var emptyList = kotlin_kotlin.$_$.
|
|
36
|
+
var emptyList = kotlin_kotlin.$_$.k3;
|
|
37
37
|
var asIterable_0 = kotlin_kotlin.$_$.l2;
|
|
38
38
|
var ArrayList_init_$Create$ = kotlin_kotlin.$_$.t;
|
|
39
39
|
var Companion_instance = kotlin_it_unibo_tuprolog_core.$_$.w;
|
|
40
40
|
var itemWiseEquals = kotlin_it_unibo_tuprolog_utils.$_$.e1;
|
|
41
|
-
var getKClass = kotlin_kotlin.$_$.
|
|
41
|
+
var getKClass = kotlin_kotlin.$_$.q9;
|
|
42
42
|
var itemWiseHashCode = kotlin_it_unibo_tuprolog_utils.$_$.f1;
|
|
43
43
|
var itemWiseHashCode_0 = kotlin_it_unibo_tuprolog_utils.$_$.g1;
|
|
44
|
-
var initMetadataForCompanion = kotlin_kotlin.$_$.
|
|
45
|
-
var initMetadataForInterface = kotlin_kotlin.$_$.
|
|
46
|
-
var first = kotlin_kotlin.$_$.
|
|
47
|
-
var toString = kotlin_kotlin.$_$.
|
|
48
|
-
var hashCode = kotlin_kotlin.$_$.
|
|
49
|
-
var equals = kotlin_kotlin.$_$.
|
|
50
|
-
var defineProp = kotlin_kotlin.$_$.
|
|
51
|
-
var objectCreate = kotlin_kotlin.$_$.
|
|
44
|
+
var initMetadataForCompanion = kotlin_kotlin.$_$.c8;
|
|
45
|
+
var initMetadataForInterface = kotlin_kotlin.$_$.e8;
|
|
46
|
+
var first = kotlin_kotlin.$_$.o3;
|
|
47
|
+
var toString = kotlin_kotlin.$_$.v8;
|
|
48
|
+
var hashCode = kotlin_kotlin.$_$.a8;
|
|
49
|
+
var equals = kotlin_kotlin.$_$.t7;
|
|
50
|
+
var defineProp = kotlin_kotlin.$_$.s7;
|
|
51
|
+
var objectCreate = kotlin_kotlin.$_$.r8;
|
|
52
52
|
var IllegalArgumentException_init_$Create$ = kotlin_kotlin.$_$.j1;
|
|
53
53
|
var asReversed = kotlin_kotlin.$_$.o2;
|
|
54
|
-
var isInterface = kotlin_kotlin.$_$.
|
|
55
|
-
var KProperty1 = kotlin_kotlin.$_$.
|
|
56
|
-
var getPropertyCallableRef = kotlin_kotlin.$_$.
|
|
57
|
-
var constructCallableReference = kotlin_kotlin.$_$.
|
|
54
|
+
var isInterface = kotlin_kotlin.$_$.k8;
|
|
55
|
+
var KProperty1 = kotlin_kotlin.$_$.t9;
|
|
56
|
+
var getPropertyCallableRef = kotlin_kotlin.$_$.y7;
|
|
57
|
+
var constructCallableReference = kotlin_kotlin.$_$.r7;
|
|
58
58
|
var lazy = kotlin_kotlin.$_$.pe;
|
|
59
|
-
var CoroutineImpl = kotlin_kotlin.$_$.
|
|
60
|
-
var THROW_CCE = kotlin_kotlin.$_$.
|
|
61
|
-
var SequenceScope = kotlin_kotlin.$_$.
|
|
62
|
-
var get_COROUTINE_SUSPENDED = kotlin_kotlin.$_$.
|
|
63
|
-
var initMetadataForLambda = kotlin_kotlin.$_$.
|
|
64
|
-
var sequence = kotlin_kotlin.$_$.
|
|
65
|
-
var listOf = kotlin_kotlin.$_$.
|
|
59
|
+
var CoroutineImpl = kotlin_kotlin.$_$.j6;
|
|
60
|
+
var THROW_CCE = kotlin_kotlin.$_$.fe;
|
|
61
|
+
var SequenceScope = kotlin_kotlin.$_$.u9;
|
|
62
|
+
var get_COROUTINE_SUSPENDED = kotlin_kotlin.$_$.i6;
|
|
63
|
+
var initMetadataForLambda = kotlin_kotlin.$_$.f8;
|
|
64
|
+
var sequence = kotlin_kotlin.$_$.bb;
|
|
65
|
+
var listOf = kotlin_kotlin.$_$.h4;
|
|
66
66
|
var mergeSequences = kotlin_it_unibo_tuprolog_utils.$_$.i1;
|
|
67
|
-
var sequenceOf = kotlin_kotlin.$_$.
|
|
67
|
+
var sequenceOf = kotlin_kotlin.$_$.za;
|
|
68
68
|
var flatten = kotlin_kotlin.$_$.ka;
|
|
69
|
-
var initMetadataForObject = kotlin_kotlin.$_$.
|
|
69
|
+
var initMetadataForObject = kotlin_kotlin.$_$.g8;
|
|
70
70
|
var compareTo = kotlin_it_unibo_tuprolog_utils.$_$.j;
|
|
71
71
|
var LongIndexed = kotlin_it_unibo_tuprolog_utils.$_$.k;
|
|
72
72
|
var component1 = kotlin_it_unibo_tuprolog_utils.$_$.h;
|
|
73
73
|
var component2 = kotlin_it_unibo_tuprolog_utils.$_$.i;
|
|
74
74
|
var Companion_instance_0 = kotlin_it_unibo_tuprolog_utils.$_$.d;
|
|
75
75
|
var copyToArray = kotlin_kotlin.$_$.g3;
|
|
76
|
-
var plus = kotlin_kotlin.$_$.
|
|
76
|
+
var plus = kotlin_kotlin.$_$.b5;
|
|
77
77
|
var ArrayList_init_$Create$_0 = kotlin_kotlin.$_$.u;
|
|
78
|
-
var minOrNull = kotlin_kotlin.$_$.
|
|
79
|
-
var map = kotlin_kotlin.$_$.
|
|
80
|
-
var ensureNotNull = kotlin_kotlin.$_$.
|
|
78
|
+
var minOrNull = kotlin_kotlin.$_$.l4;
|
|
79
|
+
var map = kotlin_kotlin.$_$.ta;
|
|
80
|
+
var ensureNotNull = kotlin_kotlin.$_$.le;
|
|
81
81
|
var LinkedHashMap_init_$Create$ = kotlin_kotlin.$_$.w;
|
|
82
|
-
var sum = kotlin_kotlin.$_$.
|
|
82
|
+
var sum = kotlin_kotlin.$_$.cb;
|
|
83
83
|
var Collection = kotlin_kotlin.$_$.b2;
|
|
84
84
|
var filter = kotlin_kotlin.$_$.ga;
|
|
85
|
-
var emptySequence = kotlin_kotlin.$_$.
|
|
85
|
+
var emptySequence = kotlin_kotlin.$_$.da;
|
|
86
86
|
var dequeOf = kotlin_it_unibo_tuprolog_utils.$_$.z;
|
|
87
87
|
var addFirst = kotlin_it_unibo_tuprolog_utils.$_$.r;
|
|
88
88
|
var buffered = kotlin_it_unibo_tuprolog_utils.$_$.s;
|
|
@@ -90,38 +90,38 @@
|
|
|
90
90
|
var dequeOf_0 = kotlin_it_unibo_tuprolog_utils.$_$.x;
|
|
91
91
|
var Companion_instance_1 = kotlin_it_unibo_tuprolog_utils.$_$.b;
|
|
92
92
|
var flatMap = kotlin_kotlin.$_$.ja;
|
|
93
|
-
var sequenceOf_0 = kotlin_kotlin.$_$.
|
|
93
|
+
var sequenceOf_0 = kotlin_kotlin.$_$.ab;
|
|
94
94
|
var firstOrNull = kotlin_kotlin.$_$.ha;
|
|
95
|
-
var NotImplementedError = kotlin_kotlin.$_$.
|
|
96
|
-
var take = kotlin_kotlin.$_$.
|
|
95
|
+
var NotImplementedError = kotlin_kotlin.$_$.ae;
|
|
96
|
+
var take = kotlin_kotlin.$_$.eb;
|
|
97
97
|
var IllegalStateException_init_$Create$ = kotlin_kotlin.$_$.n1;
|
|
98
|
-
var get_ONE = kotlin_kotlin.$_$.
|
|
99
|
-
var add = kotlin_kotlin.$_$.
|
|
100
|
-
var subtract = kotlin_kotlin.$_$.
|
|
98
|
+
var get_ONE = kotlin_kotlin.$_$.q6;
|
|
99
|
+
var add = kotlin_kotlin.$_$.r6;
|
|
100
|
+
var subtract = kotlin_kotlin.$_$.e7;
|
|
101
101
|
var UnsupportedOperationException_init_$Create$ = kotlin_kotlin.$_$.z1;
|
|
102
102
|
var Companion_instance_2 = kotlin_it_unibo_tuprolog_core.$_$.v;
|
|
103
103
|
var Companion_getInstance = kotlin_it_unibo_tuprolog_core.$_$.c1;
|
|
104
104
|
var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_core.$_$.x;
|
|
105
|
-
var numberRangeToNumber = kotlin_kotlin.$_$.
|
|
106
|
-
var plus_0 = kotlin_kotlin.$_$.
|
|
105
|
+
var numberRangeToNumber = kotlin_kotlin.$_$.n8;
|
|
106
|
+
var plus_0 = kotlin_kotlin.$_$.ya;
|
|
107
107
|
var getTag = kotlin_it_unibo_tuprolog_utils.$_$.o;
|
|
108
108
|
var containsTag = kotlin_it_unibo_tuprolog_utils.$_$.n;
|
|
109
109
|
var Companion_getInstance_1 = kotlin_it_unibo_tuprolog_unify.$_$.a;
|
|
110
110
|
var Companion_instance_3 = kotlin_it_unibo_tuprolog_core.$_$.p;
|
|
111
|
-
var first_0 = kotlin_kotlin.$_$.
|
|
111
|
+
var first_0 = kotlin_kotlin.$_$.p3;
|
|
112
112
|
var filterNotNull = kotlin_kotlin.$_$.ea;
|
|
113
113
|
var Taggable = kotlin_it_unibo_tuprolog_utils.$_$.p;
|
|
114
114
|
var filterNot = kotlin_kotlin.$_$.fa;
|
|
115
115
|
var asSequence_0 = kotlin_kotlin.$_$.s2;
|
|
116
|
-
var fromInt = kotlin_kotlin.$_$.
|
|
117
|
-
var emptyMap = kotlin_kotlin.$_$.
|
|
118
|
-
var toList_0 = kotlin_kotlin.$_$.
|
|
119
|
-
var listOf_0 = kotlin_kotlin.$_$.
|
|
120
|
-
var none_0 = kotlin_kotlin.$_$.
|
|
116
|
+
var fromInt = kotlin_kotlin.$_$.w6;
|
|
117
|
+
var emptyMap = kotlin_kotlin.$_$.l3;
|
|
118
|
+
var toList_0 = kotlin_kotlin.$_$.t5;
|
|
119
|
+
var listOf_0 = kotlin_kotlin.$_$.g4;
|
|
120
|
+
var none_0 = kotlin_kotlin.$_$.v4;
|
|
121
121
|
var dequeOf_1 = kotlin_it_unibo_tuprolog_utils.$_$.y;
|
|
122
|
-
var Pair = kotlin_kotlin.$_$.
|
|
123
|
-
var toMutableList = kotlin_kotlin.$_$.
|
|
124
|
-
var toMutableList_0 = kotlin_kotlin.$_$.
|
|
122
|
+
var Pair = kotlin_kotlin.$_$.de;
|
|
123
|
+
var toMutableList = kotlin_kotlin.$_$.z5;
|
|
124
|
+
var toMutableList_0 = kotlin_kotlin.$_$.ib;
|
|
125
125
|
var addFirst_0 = kotlin_it_unibo_tuprolog_utils.$_$.q;
|
|
126
126
|
var addAll = kotlin_kotlin.$_$.h2;
|
|
127
127
|
//endregion
|
package/2p-unify.js
CHANGED
|
@@ -19,37 +19,37 @@
|
|
|
19
19
|
'use strict';
|
|
20
20
|
//region block: imports
|
|
21
21
|
var imul = Math.imul;
|
|
22
|
-
var protoOf = kotlin_kotlin.$_$.
|
|
23
|
-
var getBooleanHashCode = kotlin_kotlin.$_$.
|
|
24
|
-
var initMetadataForClass = kotlin_kotlin.$_$.
|
|
25
|
-
var toString = kotlin_kotlin.$_$.
|
|
26
|
-
var hashCode = kotlin_kotlin.$_$.
|
|
27
|
-
var equals = kotlin_kotlin.$_$.
|
|
28
|
-
var KProperty1 = kotlin_kotlin.$_$.
|
|
29
|
-
var getPropertyCallableRef = kotlin_kotlin.$_$.
|
|
22
|
+
var protoOf = kotlin_kotlin.$_$.s8;
|
|
23
|
+
var getBooleanHashCode = kotlin_kotlin.$_$.w7;
|
|
24
|
+
var initMetadataForClass = kotlin_kotlin.$_$.b8;
|
|
25
|
+
var toString = kotlin_kotlin.$_$.v8;
|
|
26
|
+
var hashCode = kotlin_kotlin.$_$.a8;
|
|
27
|
+
var equals = kotlin_kotlin.$_$.t7;
|
|
28
|
+
var KProperty1 = kotlin_kotlin.$_$.t9;
|
|
29
|
+
var getPropertyCallableRef = kotlin_kotlin.$_$.y7;
|
|
30
30
|
var asSequence = kotlin_kotlin.$_$.q2;
|
|
31
|
-
var plus = kotlin_kotlin.$_$.
|
|
32
|
-
var map = kotlin_kotlin.$_$.
|
|
31
|
+
var plus = kotlin_kotlin.$_$.ya;
|
|
32
|
+
var map = kotlin_kotlin.$_$.ta;
|
|
33
33
|
var Unit_instance = kotlin_kotlin.$_$.r;
|
|
34
34
|
var Companion_getInstance = kotlin_it_unibo_tuprolog_core.$_$.y;
|
|
35
35
|
var ArrayList_init_$Create$ = kotlin_kotlin.$_$.u;
|
|
36
|
-
var toCollection = kotlin_kotlin.$_$.
|
|
37
|
-
var constructCallableReference = kotlin_kotlin.$_$.
|
|
38
|
-
var Pair = kotlin_kotlin.$_$.
|
|
36
|
+
var toCollection = kotlin_kotlin.$_$.fb;
|
|
37
|
+
var constructCallableReference = kotlin_kotlin.$_$.r7;
|
|
38
|
+
var Pair = kotlin_kotlin.$_$.de;
|
|
39
39
|
var lazy = kotlin_kotlin.$_$.pe;
|
|
40
40
|
var asSequence_0 = kotlin_kotlin.$_$.r2;
|
|
41
|
-
var THROW_CCE = kotlin_kotlin.$_$.
|
|
41
|
+
var THROW_CCE = kotlin_kotlin.$_$.fe;
|
|
42
42
|
var VOID = kotlin_kotlin.$_$.b;
|
|
43
43
|
var Companion_instance = kotlin_it_unibo_tuprolog_utils.$_$.a;
|
|
44
|
-
var Triple = kotlin_kotlin.$_$.
|
|
44
|
+
var Triple = kotlin_kotlin.$_$.he;
|
|
45
45
|
var Some = kotlin_it_unibo_tuprolog_utils.$_$.m;
|
|
46
|
-
var zip = kotlin_kotlin.$_$.
|
|
46
|
+
var zip = kotlin_kotlin.$_$.mb;
|
|
47
47
|
var flatMap = kotlin_kotlin.$_$.ja;
|
|
48
|
-
var sequenceOf = kotlin_kotlin.$_$.
|
|
49
|
-
var defineProp = kotlin_kotlin.$_$.
|
|
50
|
-
var sequenceOf_0 = kotlin_kotlin.$_$.
|
|
51
|
-
var initMetadataForCompanion = kotlin_kotlin.$_$.
|
|
52
|
-
var getKClass = kotlin_kotlin.$_$.
|
|
48
|
+
var sequenceOf = kotlin_kotlin.$_$.ab;
|
|
49
|
+
var defineProp = kotlin_kotlin.$_$.s7;
|
|
50
|
+
var sequenceOf_0 = kotlin_kotlin.$_$.za;
|
|
51
|
+
var initMetadataForCompanion = kotlin_kotlin.$_$.c8;
|
|
52
|
+
var getKClass = kotlin_kotlin.$_$.q9;
|
|
53
53
|
var ClassCastException_init_$Create$ = kotlin_kotlin.$_$.f1;
|
|
54
54
|
var IllegalArgumentException_init_$Create$ = kotlin_kotlin.$_$.j1;
|
|
55
55
|
var to = kotlin_kotlin.$_$.we;
|
|
@@ -58,7 +58,7 @@
|
|
|
58
58
|
var Castable = kotlin_it_unibo_tuprolog_utils.$_$.g;
|
|
59
59
|
var collectionSizeOrDefault = kotlin_kotlin.$_$.w2;
|
|
60
60
|
var ArrayList_init_$Create$_0 = kotlin_kotlin.$_$.t;
|
|
61
|
-
var initMetadataForInterface = kotlin_kotlin.$_$.
|
|
61
|
+
var initMetadataForInterface = kotlin_kotlin.$_$.e8;
|
|
62
62
|
//endregion
|
|
63
63
|
//region block: pre-declaration
|
|
64
64
|
initMetadataForClass(Mgu, 'Mgu');
|
package/2p-utils.js
CHANGED
|
@@ -16,65 +16,65 @@
|
|
|
16
16
|
'use strict';
|
|
17
17
|
//region block: imports
|
|
18
18
|
var imul = Math.imul;
|
|
19
|
-
var protoOf = kotlin_kotlin.$_$.
|
|
20
|
-
var initMetadataForCompanion = kotlin_kotlin.$_$.
|
|
19
|
+
var protoOf = kotlin_kotlin.$_$.s8;
|
|
20
|
+
var initMetadataForCompanion = kotlin_kotlin.$_$.c8;
|
|
21
21
|
var Unit_instance = kotlin_kotlin.$_$.r;
|
|
22
|
-
var initMetadataForInterface = kotlin_kotlin.$_$.
|
|
23
|
-
var THROW_CCE = kotlin_kotlin.$_$.
|
|
24
|
-
var isInterface = kotlin_kotlin.$_$.
|
|
25
|
-
var initMetadataForClass = kotlin_kotlin.$_$.
|
|
26
|
-
var Sequence = kotlin_kotlin.$_$.
|
|
22
|
+
var initMetadataForInterface = kotlin_kotlin.$_$.e8;
|
|
23
|
+
var THROW_CCE = kotlin_kotlin.$_$.fe;
|
|
24
|
+
var isInterface = kotlin_kotlin.$_$.k8;
|
|
25
|
+
var initMetadataForClass = kotlin_kotlin.$_$.b8;
|
|
26
|
+
var Sequence = kotlin_kotlin.$_$.v9;
|
|
27
27
|
var VOID = kotlin_kotlin.$_$.b;
|
|
28
|
-
var arrayIterator = kotlin_kotlin.$_$.
|
|
29
|
-
var compareTo = kotlin_kotlin.$_$.
|
|
30
|
-
var Comparable = kotlin_kotlin.$_$.
|
|
31
|
-
var toList = kotlin_kotlin.$_$.
|
|
28
|
+
var arrayIterator = kotlin_kotlin.$_$.h7;
|
|
29
|
+
var compareTo = kotlin_kotlin.$_$.q7;
|
|
30
|
+
var Comparable = kotlin_kotlin.$_$.td;
|
|
31
|
+
var toList = kotlin_kotlin.$_$.hb;
|
|
32
32
|
var asSequence = kotlin_kotlin.$_$.r2;
|
|
33
33
|
var asIterable = kotlin_kotlin.$_$.l2;
|
|
34
|
-
var hashCode = kotlin_kotlin.$_$.
|
|
34
|
+
var hashCode = kotlin_kotlin.$_$.a8;
|
|
35
35
|
var collectionSizeOrDefault = kotlin_kotlin.$_$.w2;
|
|
36
36
|
var ArrayList_init_$Create$ = kotlin_kotlin.$_$.t;
|
|
37
|
-
var asIterable_0 = kotlin_kotlin.$_$.
|
|
38
|
-
var sequence = kotlin_kotlin.$_$.
|
|
39
|
-
var IntRange = kotlin_kotlin.$_$.
|
|
40
|
-
var zip = kotlin_kotlin.$_$.
|
|
41
|
-
var equals = kotlin_kotlin.$_$.
|
|
42
|
-
var FunctionAdapter = kotlin_kotlin.$_$.
|
|
43
|
-
var Comparator = kotlin_kotlin.$_$.
|
|
44
|
-
var CoroutineImpl = kotlin_kotlin.$_$.
|
|
45
|
-
var SequenceScope = kotlin_kotlin.$_$.
|
|
46
|
-
var get_COROUTINE_SUSPENDED = kotlin_kotlin.$_$.
|
|
47
|
-
var initMetadataForLambda = kotlin_kotlin.$_$.
|
|
48
|
-
var constructCallableReference = kotlin_kotlin.$_$.
|
|
49
|
-
var withIndex = kotlin_kotlin.$_$.
|
|
50
|
-
var ensureNotNull = kotlin_kotlin.$_$.
|
|
51
|
-
var map = kotlin_kotlin.$_$.
|
|
37
|
+
var asIterable_0 = kotlin_kotlin.$_$.x9;
|
|
38
|
+
var sequence = kotlin_kotlin.$_$.bb;
|
|
39
|
+
var IntRange = kotlin_kotlin.$_$.g9;
|
|
40
|
+
var zip = kotlin_kotlin.$_$.lb;
|
|
41
|
+
var equals = kotlin_kotlin.$_$.t7;
|
|
42
|
+
var FunctionAdapter = kotlin_kotlin.$_$.g7;
|
|
43
|
+
var Comparator = kotlin_kotlin.$_$.ud;
|
|
44
|
+
var CoroutineImpl = kotlin_kotlin.$_$.j6;
|
|
45
|
+
var SequenceScope = kotlin_kotlin.$_$.u9;
|
|
46
|
+
var get_COROUTINE_SUSPENDED = kotlin_kotlin.$_$.i6;
|
|
47
|
+
var initMetadataForLambda = kotlin_kotlin.$_$.f8;
|
|
48
|
+
var constructCallableReference = kotlin_kotlin.$_$.r7;
|
|
49
|
+
var withIndex = kotlin_kotlin.$_$.kb;
|
|
50
|
+
var ensureNotNull = kotlin_kotlin.$_$.le;
|
|
51
|
+
var map = kotlin_kotlin.$_$.ta;
|
|
52
52
|
var filterNot = kotlin_kotlin.$_$.fa;
|
|
53
|
-
var toMutableList = kotlin_kotlin.$_$.
|
|
54
|
-
var minWithOrNull = kotlin_kotlin.$_$.
|
|
53
|
+
var toMutableList = kotlin_kotlin.$_$.ib;
|
|
54
|
+
var minWithOrNull = kotlin_kotlin.$_$.ua;
|
|
55
55
|
var Regex_init_$Create$ = kotlin_kotlin.$_$.z;
|
|
56
|
-
var toString = kotlin_kotlin.$_$.
|
|
56
|
+
var toString = kotlin_kotlin.$_$.v8;
|
|
57
57
|
var Companion_getInstance = kotlin_io_github_gciatto_kt_math.$_$.e;
|
|
58
58
|
var Companion_getInstance_0 = kotlin_io_github_gciatto_kt_math.$_$.d;
|
|
59
59
|
var toString_0 = kotlin_kotlin.$_$.ve;
|
|
60
|
-
var initMetadataForObject = kotlin_kotlin.$_$.
|
|
60
|
+
var initMetadataForObject = kotlin_kotlin.$_$.g8;
|
|
61
61
|
var KtMap = kotlin_kotlin.$_$.f2;
|
|
62
|
-
var toMutableMap = kotlin_kotlin.$_$.
|
|
62
|
+
var toMutableMap = kotlin_kotlin.$_$.a6;
|
|
63
63
|
var lazy = kotlin_kotlin.$_$.pe;
|
|
64
|
-
var KProperty1 = kotlin_kotlin.$_$.
|
|
65
|
-
var getPropertyCallableRef = kotlin_kotlin.$_$.
|
|
66
|
-
var getKClassFromExpression = kotlin_kotlin.$_$.
|
|
64
|
+
var KProperty1 = kotlin_kotlin.$_$.t9;
|
|
65
|
+
var getPropertyCallableRef = kotlin_kotlin.$_$.y7;
|
|
66
|
+
var getKClassFromExpression = kotlin_kotlin.$_$.p9;
|
|
67
67
|
var NoSuchElementException_init_$Create$ = kotlin_kotlin.$_$.r1;
|
|
68
|
-
var subtract = kotlin_kotlin.$_$.
|
|
69
|
-
var convertToInt = kotlin_kotlin.$_$.
|
|
70
|
-
var getBigIntHashCode = kotlin_kotlin.$_$.
|
|
71
|
-
var first = kotlin_kotlin.$_$.
|
|
68
|
+
var subtract = kotlin_kotlin.$_$.e7;
|
|
69
|
+
var convertToInt = kotlin_kotlin.$_$.t6;
|
|
70
|
+
var getBigIntHashCode = kotlin_kotlin.$_$.v7;
|
|
71
|
+
var first = kotlin_kotlin.$_$.p3;
|
|
72
72
|
var to = kotlin_kotlin.$_$.we;
|
|
73
|
-
var Pair = kotlin_kotlin.$_$.
|
|
73
|
+
var Pair = kotlin_kotlin.$_$.de;
|
|
74
74
|
var IllegalArgumentException_init_$Create$ = kotlin_kotlin.$_$.j1;
|
|
75
75
|
var LinkedHashMap_init_$Create$ = kotlin_kotlin.$_$.w;
|
|
76
|
-
var joinToString = kotlin_kotlin.$_$.
|
|
77
|
-
var mutableListOf = kotlin_kotlin.$_$.
|
|
76
|
+
var joinToString = kotlin_kotlin.$_$.oa;
|
|
77
|
+
var mutableListOf = kotlin_kotlin.$_$.s4;
|
|
78
78
|
var ArrayList_init_$Create$_0 = kotlin_kotlin.$_$.u;
|
|
79
79
|
var addAll = kotlin_kotlin.$_$.h2;
|
|
80
80
|
//endregion
|
package/README.md
CHANGED
|
@@ -38,7 +38,7 @@ by featuring:
|
|
|
38
38
|
* a module for in-memory indexing and storing logic theories, as well as other sorts of collections of logic clauses, namely `theory`,
|
|
39
39
|
|
|
40
40
|
* a module providing generic API for resolution of logic queries, namely `solve`, coming with several implementations
|
|
41
|
-
(
|
|
41
|
+
(`solve-prolog`, targeting Prolog ISO Standard compliant resolution),
|
|
42
42
|
|
|
43
43
|
* a module providing generic API for the probabilistic resolution of logic queries via _probabilistic logic programming_
|
|
44
44
|
(PLP), namely `solve-plp`, coming with an implementation targetting [ProbLog](https://dtai.cs.kuleuven.be/problog/)
|
package/clikt-clikt-mordant.js
CHANGED
|
@@ -21,13 +21,13 @@
|
|
|
21
21
|
var CoreCliktCommand = kotlin_clikt_clikt.$_$.a;
|
|
22
22
|
var VOID = kotlin_kotlin.$_$.b;
|
|
23
23
|
var Unit_instance = kotlin_kotlin.$_$.r;
|
|
24
|
-
var protoOf = kotlin_kotlin.$_$.
|
|
25
|
-
var initMetadataForClass = kotlin_kotlin.$_$.
|
|
24
|
+
var protoOf = kotlin_kotlin.$_$.s8;
|
|
25
|
+
var initMetadataForClass = kotlin_kotlin.$_$.b8;
|
|
26
26
|
var selfAndAncestors = kotlin_clikt_clikt.$_$.e;
|
|
27
|
-
var mapNotNull = kotlin_kotlin.$_$.
|
|
27
|
+
var mapNotNull = kotlin_kotlin.$_$.sa;
|
|
28
28
|
var firstOrNull = kotlin_kotlin.$_$.ha;
|
|
29
29
|
var Terminal_init_$Create$ = kotlin_mordant_mordant.$_$.i;
|
|
30
|
-
var last = kotlin_kotlin.$_$.
|
|
30
|
+
var last = kotlin_kotlin.$_$.qa;
|
|
31
31
|
var MultiplatformSystem_instance = kotlin_mordant_mordant.$_$.h;
|
|
32
32
|
var FileNotFound = kotlin_clikt_clikt.$_$.b;
|
|
33
33
|
var Terminal = kotlin_mordant_mordant.$_$.b;
|
|
@@ -35,17 +35,17 @@
|
|
|
35
35
|
var Text_init_$Create$ = kotlin_mordant_mordant.$_$.j;
|
|
36
36
|
var AbstractHelpFormatter = kotlin_clikt_clikt.$_$.g;
|
|
37
37
|
var verticalLayout = kotlin_mordant_mordant.$_$.a;
|
|
38
|
-
var charSequenceLength = kotlin_kotlin.$_$.
|
|
38
|
+
var charSequenceLength = kotlin_kotlin.$_$.o7;
|
|
39
39
|
var definitionList = kotlin_mordant_mordant.$_$.d;
|
|
40
40
|
var withPadding = kotlin_mordant_mordant.$_$.e;
|
|
41
41
|
var collectionSizeOrDefault = kotlin_kotlin.$_$.w2;
|
|
42
42
|
var ArrayList_init_$Create$ = kotlin_kotlin.$_$.t;
|
|
43
|
-
var ensureNotNull = kotlin_kotlin.$_$.
|
|
44
|
-
var drop = kotlin_kotlin.$_$.
|
|
43
|
+
var ensureNotNull = kotlin_kotlin.$_$.le;
|
|
44
|
+
var drop = kotlin_kotlin.$_$.xb;
|
|
45
45
|
var plus = kotlin_kotlin.$_$.re;
|
|
46
46
|
var Whitespace_PRE_WRAP_getInstance = kotlin_mordant_mordant.$_$.g;
|
|
47
|
-
var isBlank = kotlin_kotlin.$_$.
|
|
48
|
-
var replace = kotlin_kotlin.$_$.
|
|
47
|
+
var isBlank = kotlin_kotlin.$_$.cc;
|
|
48
|
+
var replace = kotlin_kotlin.$_$.qc;
|
|
49
49
|
//endregion
|
|
50
50
|
//region block: pre-declaration
|
|
51
51
|
initMetadataForClass(CliktCommand, 'CliktCommand', VOID, CoreCliktCommand);
|