it.unibo.tuprolog:dsl-solve 0.17.4-dev1q+a89f03d9

Kotlin DSL for logic programming, enriched with unification, clause storage, and resolution facilities

GroupId	it.unibo.tuprolog
ArtifactId	dsl-solve
Version	0.17.4-dev1q+a89f03d9
Type	pom.sha512

Download dsl-solve 0.17.4-dev1q+a89f03d9

Filename	Size
dsl-solve-0.17.4-dev1q+a89f03d9.pom
dsl-solve-0.17.4-dev1q+a89f03d9-sources.jar	4 KB