it.unibo.tuprolog:dsl-solve-jvm 0.20.9-dev02+01edbfee

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

GroupId	it.unibo.tuprolog
ArtifactId	dsl-solve-jvm
Version	0.20.9-dev02+01edbfee
Type	pom.sha512

Download dsl-solve-jvm 0.20.9-dev02+01edbfee

Filename	Size
dsl-solve-jvm-0.20.9-dev02+01edbfee.pom
dsl-solve-jvm-0.20.9-dev02+01edbfee-sources.jar	2 KB
dsl-solve-jvm-0.20.9-dev02+01edbfee-javadoc.jar	267 KB