2P-Kt -- Module `2P-Kt` 2p-metadata

Group	it.unibo.tuprolog
描述	Multi-platform Prolog environment, in Kotlin
Packaging
Size
文件	pom jar
网址	https://gitlab.com/pika-lab/tuprolog/2p-in-kotlin
发布时间	2020-09-24 23:18

dependencies

Group	Artifact	Version
org.jetbrains.kotlin	kotlin-stdlib-common	1.4.10
it.unibo.tuprolog	core-metadata	0.13.0
it.unibo.tuprolog	dsl-core-metadata	0.13.0
it.unibo.tuprolog	dsl-solve-metadata	0.13.0
it.unibo.tuprolog	dsl-theory-metadata	0.13.0
it.unibo.tuprolog	dsl-unify-metadata	0.13.0
it.unibo.tuprolog	parser-core-metadata	0.13.0
it.unibo.tuprolog	parser-theory-metadata	0.13.0
it.unibo.tuprolog	repl-metadata	0.13.0
it.unibo.tuprolog	serialize-core-metadata	0.13.0
it.unibo.tuprolog	serialize-theory-metadata	0.13.0
it.unibo.tuprolog	solve-metadata	0.13.0
it.unibo.tuprolog	solve-classic-metadata	0.13.0
it.unibo.tuprolog	theory-metadata	0.13.0
it.unibo.tuprolog	unify-metadata	0.13.0

developers

	Giovanni Ciatto	University of Bologna
	Enrico Siboni

licenses

Apache 2.0

https://www.apache.org/licenses/LICENSE-2.0