2P in Kotlin -- Module `solve-streams` solve-streams

Group	it.unibo.tuprolog
描述	Experimental, functional-programming-based implementation of Prolog's SLDNF resolution principle
Packaging
Size
文件	pom jar
网址	https://github.com/tuProlog/2p-kt
发布时间	2024-05-27 00:38

dependencies

Group	Artifact	Version
org.jetbrains.kotlin	kotlin-stdlib-common	1.9.23
it.unibo.tuprolog	solve	1.0.4
it.unibo.tuprolog	dsl-theory	1.0.4
org.jetbrains.kotlin	kotlin-stdlib	1.9.23

developers

	Jason Dellaluce
	Enrico Siboni
	Giovanni Ciatto	Alma Mater Studiorum - Università di Bologna
	Andrea Giordano
	Silvia Lanzoni
	Manuel Bonarrigo
	Davide Greco
	Sofia Montebugnoli
	Paolo Verdini
	Lorenzo Rizzato
	Jason Dellaluce
	Enrico Siboni
	Giovanni Ciatto	Alma Mater Studiorum - Università di Bologna
	Andrea Giordano
	Silvia Lanzoni
	Manuel Bonarrigo
	Davide Greco
	Sofia Montebugnoli
	Paolo Verdini
	Lorenzo Rizzato

licenses

Apache-2.0

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