@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.
Files changed (70) hide show
  1. package/2p-bdd.js +172 -172
  2. package/2p-bdd.js.map +1 -1
  3. package/2p-core.js +3593 -3366
  4. package/2p-core.js.map +1 -1
  5. package/2p-datalog.js.map +1 -1
  6. package/2p-dsl-core.js.map +1 -1
  7. package/2p-dsl-solve.js.map +1 -1
  8. package/2p-dsl-theory.js.map +1 -1
  9. package/2p-dsl-unify.js.map +1 -1
  10. package/2p-full.js +17 -4
  11. package/2p-full.js.map +1 -1
  12. package/2p-gui-plp.js.map +1 -1
  13. package/2p-gui.js.map +1 -1
  14. package/2p-ide-web.js.map +1 -1
  15. package/2p-io-lib.js +3489 -5
  16. package/2p-io-lib.js.map +1 -1
  17. package/2p-oop-lib.js +3382 -5
  18. package/2p-oop-lib.js.map +1 -1
  19. package/2p-parser-core.js +616 -5
  20. package/2p-parser-core.js.map +1 -1
  21. package/2p-parser-impl.js +5636 -5
  22. package/2p-parser-impl.js.map +1 -1
  23. package/2p-parser-theory.js +278 -5
  24. package/2p-parser-theory.js.map +1 -1
  25. package/2p-repl.js +533 -5
  26. package/2p-repl.js.map +1 -1
  27. package/2p-serialize-core.js.map +1 -1
  28. package/2p-serialize-theory.js.map +1 -1
  29. package/2p-solve-classic.js +1050 -1050
  30. package/2p-solve-classic.js.map +1 -1
  31. package/2p-solve-concurrent.js.map +1 -1
  32. package/2p-solve-plp.js +3 -3
  33. package/2p-solve-plp.js.map +1 -1
  34. package/2p-solve-problog.js +1450 -1444
  35. package/2p-solve-problog.js.map +1 -1
  36. package/2p-solve-streams.js +1033 -1033
  37. package/2p-solve-streams.js.map +1 -1
  38. package/2p-solve.js +5581 -4491
  39. package/2p-solve.js.map +1 -1
  40. package/2p-test-dsl.js.map +1 -1
  41. package/2p-theory.js +1725 -1725
  42. package/2p-theory.js.map +1 -1
  43. package/2p-unify.js +375 -375
  44. package/2p-unify.js.map +1 -1
  45. package/2p-utils.js +546 -493
  46. package/2p-utils.js.map +1 -1
  47. package/clikt-clikt-mordant.js +311 -5
  48. package/clikt-clikt-mordant.js.map +1 -1
  49. package/clikt-clikt.js +6672 -5
  50. package/clikt-clikt.js.map +1 -1
  51. package/colormath-root-colormath.js +1654 -5
  52. package/colormath-root-colormath.js.map +1 -1
  53. package/kotlin-kotlin-stdlib.js +5402 -2599
  54. package/kotlin-kotlin-stdlib.js.map +1 -1
  55. package/kotlin-kotlin-test.js.map +1 -1
  56. package/kotlin_org_jetbrains_kotlin_kotlin_dom_api_compat.js.map +1 -1
  57. package/kotlinx-atomicfu.js.map +1 -1
  58. package/kotlinx-coroutines-core.js.map +1 -1
  59. package/kotlinx-serialization-kotlinx-serialization-core.js.map +1 -1
  60. package/kotlinx-serialization-kotlinx-serialization-json.js.map +1 -1
  61. package/kt-math.js +1622 -1614
  62. package/kt-math.js.map +1 -1
  63. package/mordant-mordant-omnibus.js.map +1 -1
  64. package/mordant-mordant.js +10375 -5
  65. package/mordant-mordant.js.map +1 -1
  66. package/okio-parent-okio-nodefilesystem.js +201 -5
  67. package/okio-parent-okio-nodefilesystem.js.map +1 -1
  68. package/okio-parent-okio.js +3863 -5
  69. package/okio-parent-okio.js.map +1 -1
  70. 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":";;;;;;;;;;;;;"}
@@ -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":";;;;;;;;;;;;;"}
@@ -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":";;;;;;;;;;;;;"}
@@ -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":";;;;;;;;;;;;;"}
@@ -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":";;;;;;;;;;;;;"}