@tuprolog/2p-full 2.0.5 → 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.
Files changed (75) hide show
  1. package/2p-bdd.js +172 -172
  2. package/2p-bdd.js.map +1 -1
  3. package/2p-core.js +3599 -3367
  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 +20 -11
  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 +3699 -5
  16. package/2p-io-lib.js.map +1 -1
  17. package/2p-oop-lib.js +3517 -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 +536 -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-concurrent.js.map +1 -1
  30. package/2p-solve-plp.js +3 -3
  31. package/2p-solve-plp.js.map +1 -1
  32. package/2p-solve-problog.js +1459 -1453
  33. package/2p-solve-problog.js.map +1 -1
  34. package/2p-solve-prolog.js +2858 -0
  35. package/2p-solve-prolog.js.map +1 -0
  36. package/2p-solve.js +7034 -4765
  37. package/2p-solve.js.map +1 -1
  38. package/2p-test-dsl.js.map +1 -1
  39. package/2p-theory.js +1725 -1725
  40. package/2p-theory.js.map +1 -1
  41. package/2p-unify.js +375 -375
  42. package/2p-unify.js.map +1 -1
  43. package/2p-utils.js +546 -493
  44. package/2p-utils.js.map +1 -1
  45. package/README.md +1 -1
  46. package/clikt-clikt-mordant.js +311 -5
  47. package/clikt-clikt-mordant.js.map +1 -1
  48. package/clikt-clikt.js +6672 -5
  49. package/clikt-clikt.js.map +1 -1
  50. package/colormath-root-colormath.js +1654 -5
  51. package/colormath-root-colormath.js.map +1 -1
  52. package/kotlin-kotlin-stdlib.js +5607 -2742
  53. package/kotlin-kotlin-stdlib.js.map +1 -1
  54. package/kotlin-kotlin-test.js.map +1 -1
  55. package/kotlin_org_jetbrains_kotlin_kotlin_dom_api_compat.js.map +1 -1
  56. package/kotlinx-atomicfu.js.map +1 -1
  57. package/kotlinx-coroutines-core.js.map +1 -1
  58. package/kotlinx-serialization-kotlinx-serialization-core.js.map +1 -1
  59. package/kotlinx-serialization-kotlinx-serialization-json.js.map +1 -1
  60. package/kt-math.js +1622 -1614
  61. package/kt-math.js.map +1 -1
  62. package/markdown.js +15 -0
  63. package/markdown.js.map +1 -0
  64. package/mordant-mordant-omnibus.js.map +1 -1
  65. package/mordant-mordant.js +10375 -5
  66. package/mordant-mordant.js.map +1 -1
  67. package/okio-parent-okio-nodefilesystem.js +201 -5
  68. package/okio-parent-okio-nodefilesystem.js.map +1 -1
  69. package/okio-parent-okio.js +3863 -5
  70. package/okio-parent-okio.js.map +1 -1
  71. package/package.json +4 -4
  72. package/2p-solve-classic.js +0 -2834
  73. package/2p-solve-classic.js.map +0 -1
  74. package/2p-solve-streams.js +0 -2661
  75. package/2p-solve-streams.js.map +0 -1
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,37 +1,46 @@
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-prolog.js', './2p-solve-problog.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-prolog.js'), require('./2p-solve-problog.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
  }
10
13
  if (typeof globalThis['kt-math'] === 'undefined') {
11
14
  throw new Error("Error loading module 'it.unibo.tuprolog:full'. Its dependency 'kt-math' was not found. Please, check whether 'kt-math' is loaded prior to 'it.unibo.tuprolog:full'.");
12
15
  }
13
- if (typeof globalThis['2p-solve-classic'] === 'undefined') {
14
- throw new Error("Error loading module 'it.unibo.tuprolog:full'. Its dependency '2p-solve-classic' was not found. Please, check whether '2p-solve-classic' is loaded prior to 'it.unibo.tuprolog:full'.");
16
+ if (typeof globalThis['2p-solve-prolog'] === 'undefined') {
17
+ throw new Error("Error loading module 'it.unibo.tuprolog:full'. Its dependency '2p-solve-prolog' was not found. Please, check whether '2p-solve-prolog' is loaded prior to 'it.unibo.tuprolog:full'.");
15
18
  }
16
19
  if (typeof globalThis['2p-solve-problog'] === 'undefined') {
17
20
  throw new Error("Error loading module 'it.unibo.tuprolog:full'. Its dependency '2p-solve-problog' was not found. Please, check whether '2p-solve-problog' is loaded prior to 'it.unibo.tuprolog:full'.");
18
21
  }
19
- if (typeof globalThis['2p-solve-streams'] === 'undefined') {
20
- 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
- }
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']);
22
+ 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-prolog'], globalThis['2p-solve-problog']);
23
23
  }
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) {
24
+ }(function (_, kotlin_it_unibo_tuprolog_repl, kotlin_kotlin, kotlin_io_github_gciatto_kt_math, kotlin_it_unibo_tuprolog_solve_prolog, kotlin_it_unibo_tuprolog_solve_problog) {
25
25
  'use strict';
26
+ //region block: imports
27
+ var main = kotlin_it_unibo_tuprolog_repl.$_$.a;
28
+ //endregion
26
29
  //region block: pre-declaration
27
30
  //endregion
31
+ function main_0(args) {
32
+ main(args);
33
+ }
34
+ function mainWrapper() {
35
+ main_0([]);
36
+ }
28
37
  //region block: exports
29
38
  kotlin_kotlin.$jsExportAll$(_);
30
39
  kotlin_io_github_gciatto_kt_math.$jsExportAll$(_);
31
- kotlin_it_unibo_tuprolog_solve_classic.$jsExportAll$(_);
40
+ kotlin_it_unibo_tuprolog_solve_prolog.$jsExportAll$(_);
32
41
  kotlin_it_unibo_tuprolog_solve_problog.$jsExportAll$(_);
33
- kotlin_it_unibo_tuprolog_solve_streams.$jsExportAll$(_);
34
42
  //endregion
43
+ mainWrapper();
35
44
  return _;
36
45
  }));
37
46
 
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":";;;;;;;;;;;;;"}