@tuprolog/2p-full 1.4.1 → 1.5.1

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 (23) hide show
  1. package/2p-bdd.js +152 -152
  2. package/2p-core.js +2379 -2379
  3. package/2p-core.js.map +1 -1
  4. package/2p-solve-classic.js +853 -853
  5. package/2p-solve-classic.js.map +1 -1
  6. package/2p-solve-plp.js +2 -2
  7. package/2p-solve-problog.js +1166 -1166
  8. package/2p-solve-problog.js.map +1 -1
  9. package/2p-solve-streams.js +818 -818
  10. package/2p-solve.js +3245 -3250
  11. package/2p-solve.js.map +1 -1
  12. package/2p-theory.js +1352 -1352
  13. package/2p-unify.js +321 -321
  14. package/2p-utils.js +352 -352
  15. package/README.md +4 -3
  16. package/kotlin-kotlin-stdlib.js +1282 -1244
  17. package/kotlin-kotlin-stdlib.js.map +1 -1
  18. package/kt-math.js +1460 -1460
  19. package/okio-parent-okio-nodefilesystem.js +15 -0
  20. package/okio-parent-okio-nodefilesystem.js.map +1 -0
  21. package/okio-parent-okio.js +15 -0
  22. package/okio-parent-okio.js.map +1 -0
  23. package/package.json +1 -1
package/README.md CHANGED
@@ -2,14 +2,15 @@
2
2
 
3
3
  ### Some quick links:
4
4
 
5
- * [Home Page](http://tuprolog.unibo.it)
5
+ <!--* [Home Page](http://tuprolog.unibo.it/2p-kt)-->
6
+
6
7
  * [GitHub Repository](https://github.com/tuProlog/2p-kt) (public repository)
7
8
  * [GitLab Repository](https://gitlab.com/pika-lab/tuprolog/2p-in-kotlin) (dismissed)
8
9
  * [NPM Repository](https://www.npmjs.com/org/tuprolog) (where JS releases are hosted)
9
10
  * [Maven Central Repository](https://search.maven.org/search?q=g:it.unibo.tuprolog) (where all stable releases are hosted)
10
11
  * [GitHub Maven Repository](https://github.com/orgs/tuProlog/packages?repo_name=2p-kt) (where all releases are hosted, there including dev releases)
11
- * [Documentation](http://pika-lab.gitlab.io/tuprolog/2p-in-kotlin/) (work in progress)
12
- * [Presentation](https://github.com/tuProlog/2p-kt-presentation/releases/latest) (currently describing the main API of 2P-Kt)
12
+ * [Documentation](https://tuprolog.github.io/2p-kt/) (work in progress)
13
+ * [Presentation](https://github.com/tuProlog/2p-kt-presentation/releases/latest) (currently describing the main API of 2P-Kt — outdated)
13
14
 
14
15
  ## Intro
15
16