2P-Kt -- Module `Dsl Solve` dsl-solve-js

Group	it.unibo.tuprolog
描述	Kotlin DSL for logic programming, enriched with unification, clause storage, and resolution facilities
Packaging
Size
文件	pom jar
网址	https://github.com/tuProlog/2p-kt
发布时间	2021-04-01 23:23

dependencies

Group	Artifact	Version
org.jetbrains.kotlin	kotlin-stdlib-common	1.4.32
it.unibo.tuprolog	dsl-theory-js	0.17.1-dev03+67bb5e23
it.unibo.tuprolog	solve-classic-js	0.17.1-dev03+67bb5e23
org.jetbrains.kotlin	kotlin-stdlib-js	1.4.32

developers

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

licenses

Apache-2.0

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