it.unibo.tuprolog:unify 0.20.2-dev07+51892bb0

Logic unification for logic terms and clauses

GroupId	it.unibo.tuprolog
ArtifactId	unify
Version	0.20.2-dev07+51892bb0
Type	pom.sha512

Download unify 0.20.2-dev07+51892bb0

Filename	Size
unify-0.20.2-dev07+51892bb0.pom
unify-0.20.2-dev07+51892bb0-sources.jar	19 KB
unify-0.20.2-dev07+51892bb0-kotlin-tooling-metadata.json	942 bytes