2P in Kotlin -- Module `solve` solve

Group	it.unibo.tuprolog
描述	Resolution-agnostic API for logic solvers
Packaging
Size
文件	pom jar
网址	https://github.com/tuProlog/2p-kt
发布时间	2021-09-06 23:59

dependencies

Group	Artifact	Version
org.jetbrains.kotlin	kotlin-stdlib-common	1.5.10
org.jetbrains.kotlin	kotlin-reflect	1.5.10
it.unibo.tuprolog	core	0.20.1
it.unibo.tuprolog	unify	0.20.1
it.unibo.tuprolog	theory	0.20.1

developers

	Giovanni Ciatto
	Enrico Siboni
	Paolo Verdini
	Manuel Bonarrigo
	Sofia Montebugnoli
	Davide Greco
	Silvia Lanzoni
	Lorenzo Rizzato
	Jason Dellaluce

licenses

Apache-2.0

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