it.unibo.tuprolog:solve-classic-jvm 0.17.2

Stable, state-machine-based implementation of Prolog's SLDNF resolution principle

GroupId	GroupId it.unibo.tuprolog
ArtifactId	ArtifactId solve-classic-jvm
Version	Version 0.17.2
Type	Type pom.sha512

Download solve-classic-jvm 0.17.2

Filename	Size
solve-classic-jvm-0.17.2.pom
solve-classic-jvm-0.17.2-sources.jar	27 KB
solve-classic-jvm-0.17.2-javadoc.jar	484 KB
Browse