@tuprolog/2p-full 2.0.4 → 2.0.9
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 +172 -172
- package/2p-bdd.js.map +1 -1
- package/2p-core.js +3593 -3366
- package/2p-core.js.map +1 -1
- package/2p-datalog.js.map +1 -1
- package/2p-dsl-core.js.map +1 -1
- package/2p-dsl-solve.js.map +1 -1
- package/2p-dsl-theory.js.map +1 -1
- package/2p-dsl-unify.js.map +1 -1
- package/2p-full.js +17 -4
- package/2p-full.js.map +1 -1
- package/2p-gui-plp.js.map +1 -1
- package/2p-gui.js.map +1 -1
- package/2p-ide-web.js.map +1 -1
- package/2p-io-lib.js +3489 -5
- package/2p-io-lib.js.map +1 -1
- package/2p-oop-lib.js +3382 -5
- package/2p-oop-lib.js.map +1 -1
- package/2p-parser-core.js +616 -5
- package/2p-parser-core.js.map +1 -1
- package/2p-parser-impl.js +5636 -5
- package/2p-parser-impl.js.map +1 -1
- package/2p-parser-theory.js +278 -5
- package/2p-parser-theory.js.map +1 -1
- package/2p-repl.js +533 -5
- package/2p-repl.js.map +1 -1
- package/2p-serialize-core.js.map +1 -1
- package/2p-serialize-theory.js.map +1 -1
- package/2p-solve-classic.js +1050 -1050
- package/2p-solve-classic.js.map +1 -1
- package/2p-solve-concurrent.js.map +1 -1
- package/2p-solve-plp.js +3 -3
- package/2p-solve-plp.js.map +1 -1
- package/2p-solve-problog.js +1450 -1444
- package/2p-solve-problog.js.map +1 -1
- package/2p-solve-streams.js +1033 -1033
- package/2p-solve-streams.js.map +1 -1
- package/2p-solve.js +5581 -4491
- package/2p-solve.js.map +1 -1
- package/2p-test-dsl.js.map +1 -1
- package/2p-theory.js +1725 -1725
- package/2p-theory.js.map +1 -1
- package/2p-unify.js +375 -375
- package/2p-unify.js.map +1 -1
- package/2p-utils.js +546 -493
- package/2p-utils.js.map +1 -1
- package/clikt-clikt-mordant.js +311 -5
- package/clikt-clikt-mordant.js.map +1 -1
- package/clikt-clikt.js +6672 -5
- package/clikt-clikt.js.map +1 -1
- package/colormath-root-colormath.js +1654 -5
- package/colormath-root-colormath.js.map +1 -1
- package/kotlin-kotlin-stdlib.js +5402 -2599
- package/kotlin-kotlin-stdlib.js.map +1 -1
- package/kotlin-kotlin-test.js.map +1 -1
- package/kotlin_org_jetbrains_kotlin_kotlin_dom_api_compat.js.map +1 -1
- package/kotlinx-atomicfu.js.map +1 -1
- package/kotlinx-coroutines-core.js.map +1 -1
- package/kotlinx-serialization-kotlinx-serialization-core.js.map +1 -1
- package/kotlinx-serialization-kotlinx-serialization-json.js.map +1 -1
- package/kt-math.js +1622 -1614
- package/kt-math.js.map +1 -1
- package/mordant-mordant-omnibus.js.map +1 -1
- package/mordant-mordant.js +10375 -5
- package/mordant-mordant.js.map +1 -1
- package/okio-parent-okio-nodefilesystem.js +201 -5
- package/okio-parent-okio-nodefilesystem.js.map +1 -1
- package/okio-parent-okio.js +3863 -5
- package/okio-parent-okio.js.map +1 -1
- package/package.json +4 -4
package/2p-datalog.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"sources":[],"sourcesContent":[],"ignoreList":[],"x_google_ignoreList":[],"names":[],"mappings":";;;;;;;;;;;;;"}
|
|
1
|
+
{"version":3,"sources":["NATIVE_IMPLEMENTATIONS.kt"],"sourcesContent":[null],"ignoreList":[0],"x_google_ignoreList":[0],"names":[],"mappings":";;;;;;;;;;;;;"}
|
package/2p-dsl-core.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"sources":[],"sourcesContent":[],"ignoreList":[],"x_google_ignoreList":[],"names":[],"mappings":";;;;;;;;;;;;;"}
|
|
1
|
+
{"version":3,"sources":["NATIVE_IMPLEMENTATIONS.kt"],"sourcesContent":[null],"ignoreList":[0],"x_google_ignoreList":[0],"names":[],"mappings":";;;;;;;;;;;;;"}
|
package/2p-dsl-solve.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"sources":[],"sourcesContent":[],"ignoreList":[],"x_google_ignoreList":[],"names":[],"mappings":";;;;;;;;;;;;;"}
|
|
1
|
+
{"version":3,"sources":["NATIVE_IMPLEMENTATIONS.kt"],"sourcesContent":[null],"ignoreList":[0],"x_google_ignoreList":[0],"names":[],"mappings":";;;;;;;;;;;;;"}
|
package/2p-dsl-theory.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"sources":[],"sourcesContent":[],"ignoreList":[],"x_google_ignoreList":[],"names":[],"mappings":";;;;;;;;;;;;;"}
|
|
1
|
+
{"version":3,"sources":["NATIVE_IMPLEMENTATIONS.kt"],"sourcesContent":[null],"ignoreList":[0],"x_google_ignoreList":[0],"names":[],"mappings":";;;;;;;;;;;;;"}
|
package/2p-dsl-unify.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"sources":[],"sourcesContent":[],"ignoreList":[],"x_google_ignoreList":[],"names":[],"mappings":";;;;;;;;;;;;;"}
|
|
1
|
+
{"version":3,"sources":["NATIVE_IMPLEMENTATIONS.kt"],"sourcesContent":[null],"ignoreList":[0],"x_google_ignoreList":[0],"names":[],"mappings":";;;;;;;;;;;;;"}
|
package/2p-full.js
CHANGED
|
@@ -1,9 +1,12 @@
|
|
|
1
1
|
(function (factory) {
|
|
2
2
|
if (typeof define === 'function' && define.amd)
|
|
3
|
-
define(['exports', './kotlin-kotlin-stdlib.js', './kt-math.js', './2p-solve-classic.js', './2p-solve-problog.js', './2p-solve-streams.js'], factory);
|
|
3
|
+
define(['exports', './2p-repl.js', './kotlin-kotlin-stdlib.js', './kt-math.js', './2p-solve-classic.js', './2p-solve-problog.js', './2p-solve-streams.js'], factory);
|
|
4
4
|
else if (typeof exports === 'object')
|
|
5
|
-
factory(module.exports, require('./kotlin-kotlin-stdlib.js'), require('./kt-math.js'), require('./2p-solve-classic.js'), require('./2p-solve-problog.js'), require('./2p-solve-streams.js'));
|
|
5
|
+
factory(module.exports, require('./2p-repl.js'), require('./kotlin-kotlin-stdlib.js'), require('./kt-math.js'), require('./2p-solve-classic.js'), require('./2p-solve-problog.js'), require('./2p-solve-streams.js'));
|
|
6
6
|
else {
|
|
7
|
+
if (typeof globalThis['2p-repl'] === 'undefined') {
|
|
8
|
+
throw new Error("Error loading module 'it.unibo.tuprolog:full'. Its dependency '2p-repl' was not found. Please, check whether '2p-repl' is loaded prior to 'it.unibo.tuprolog:full'.");
|
|
9
|
+
}
|
|
7
10
|
if (typeof globalThis['kotlin-kotlin-stdlib'] === 'undefined') {
|
|
8
11
|
throw new Error("Error loading module 'it.unibo.tuprolog:full'. Its dependency 'kotlin-kotlin-stdlib' was not found. Please, check whether 'kotlin-kotlin-stdlib' is loaded prior to 'it.unibo.tuprolog:full'.");
|
|
9
12
|
}
|
|
@@ -19,12 +22,21 @@
|
|
|
19
22
|
if (typeof globalThis['2p-solve-streams'] === 'undefined') {
|
|
20
23
|
throw new Error("Error loading module 'it.unibo.tuprolog:full'. Its dependency '2p-solve-streams' was not found. Please, check whether '2p-solve-streams' is loaded prior to 'it.unibo.tuprolog:full'.");
|
|
21
24
|
}
|
|
22
|
-
globalThis['it.unibo.tuprolog:full'] = factory(typeof globalThis['it.unibo.tuprolog:full'] === 'undefined' ? {} : globalThis['it.unibo.tuprolog:full'], globalThis['kotlin-kotlin-stdlib'], globalThis['kt-math'], globalThis['2p-solve-classic'], globalThis['2p-solve-problog'], globalThis['2p-solve-streams']);
|
|
25
|
+
globalThis['it.unibo.tuprolog:full'] = factory(typeof globalThis['it.unibo.tuprolog:full'] === 'undefined' ? {} : globalThis['it.unibo.tuprolog:full'], globalThis['2p-repl'], globalThis['kotlin-kotlin-stdlib'], globalThis['kt-math'], globalThis['2p-solve-classic'], globalThis['2p-solve-problog'], globalThis['2p-solve-streams']);
|
|
23
26
|
}
|
|
24
|
-
}(function (_, kotlin_kotlin, kotlin_io_github_gciatto_kt_math, kotlin_it_unibo_tuprolog_solve_classic, kotlin_it_unibo_tuprolog_solve_problog, kotlin_it_unibo_tuprolog_solve_streams) {
|
|
27
|
+
}(function (_, kotlin_it_unibo_tuprolog_repl, kotlin_kotlin, kotlin_io_github_gciatto_kt_math, kotlin_it_unibo_tuprolog_solve_classic, kotlin_it_unibo_tuprolog_solve_problog, kotlin_it_unibo_tuprolog_solve_streams) {
|
|
25
28
|
'use strict';
|
|
29
|
+
//region block: imports
|
|
30
|
+
var main = kotlin_it_unibo_tuprolog_repl.$_$.a;
|
|
31
|
+
//endregion
|
|
26
32
|
//region block: pre-declaration
|
|
27
33
|
//endregion
|
|
34
|
+
function main_0(args) {
|
|
35
|
+
main(args);
|
|
36
|
+
}
|
|
37
|
+
function mainWrapper() {
|
|
38
|
+
main_0([]);
|
|
39
|
+
}
|
|
28
40
|
//region block: exports
|
|
29
41
|
kotlin_kotlin.$jsExportAll$(_);
|
|
30
42
|
kotlin_io_github_gciatto_kt_math.$jsExportAll$(_);
|
|
@@ -32,6 +44,7 @@
|
|
|
32
44
|
kotlin_it_unibo_tuprolog_solve_problog.$jsExportAll$(_);
|
|
33
45
|
kotlin_it_unibo_tuprolog_solve_streams.$jsExportAll$(_);
|
|
34
46
|
//endregion
|
|
47
|
+
mainWrapper();
|
|
35
48
|
return _;
|
|
36
49
|
}));
|
|
37
50
|
|
package/2p-full.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"sources":[],"sourcesContent":[],"ignoreList":[],"x_google_ignoreList":[],"names":[],"mappings":"
|
|
1
|
+
{"version":3,"sources":["NATIVE_IMPLEMENTATIONS.kt","../../../../../../src/jsMain/kotlin/it/unibo/tuprolog/PrologCLI.kt"],"sourcesContent":[null,null],"ignoreList":[0],"x_google_ignoreList":[0],"names":["main","args"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;ECYOA,gBAASC,IAATD,EAA8B;A,IAE5B,KAAK,IAAL,C;EACT,C;EDfA,qBAAA,EAAA;AAAA;AAAA,GAAA;;;;;;;;;;A;"}
|
package/2p-gui-plp.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"sources":[],"sourcesContent":[],"ignoreList":[],"x_google_ignoreList":[],"names":[],"mappings":";;;;;;;;;;;;;"}
|
|
1
|
+
{"version":3,"sources":["NATIVE_IMPLEMENTATIONS.kt"],"sourcesContent":[null],"ignoreList":[0],"x_google_ignoreList":[0],"names":[],"mappings":";;;;;;;;;;;;;"}
|
package/2p-gui.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"sources":[],"sourcesContent":[],"ignoreList":[],"x_google_ignoreList":[],"names":[],"mappings":";;;;;;;;;;;;;"}
|
|
1
|
+
{"version":3,"sources":["NATIVE_IMPLEMENTATIONS.kt"],"sourcesContent":[null],"ignoreList":[0],"x_google_ignoreList":[0],"names":[],"mappings":";;;;;;;;;;;;;"}
|
package/2p-ide-web.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"sources":[],"sourcesContent":[],"ignoreList":[],"x_google_ignoreList":[],"names":[],"mappings":";;;;;;;;;;;;;"}
|
|
1
|
+
{"version":3,"sources":["NATIVE_IMPLEMENTATIONS.kt"],"sourcesContent":[null],"ignoreList":[0],"x_google_ignoreList":[0],"names":[],"mappings":";;;;;;;;;;;;;"}
|