it.unibo.tuprolog:solve-classic 0.17.1-dev0z+70805b63

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

GroupId	it.unibo.tuprolog
ArtifactId	solve-classic
Version	0.17.1-dev0z+70805b63
Type	pom.sha512

Download solve-classic 0.17.1-dev0z+70805b63

Filename	Size
solve-classic-0.17.1-dev0z+70805b63.pom
solve-classic-0.17.1-dev0z+70805b63-sources.jar	27 KB