it.unibo.tuprolog:solve-classic-metadata 0.16.1-dev4z+7e0f0041

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

Categories	Data
GroupId	it.unibo.tuprolog
ArtifactId	solve-classic-metadata
Version	0.16.1-dev4z+7e0f0041
Type	pom.sha512

Download solve-classic-metadata 0.16.1-dev4z+7e0f0041

Filename	Size
solve-classic-metadata-0.16.1-dev4z+7e0f0041.pom
solve-classic-metadata-0.16.1-dev4z+7e0f0041-sources.jar	27 KB
solve-classic-metadata-0.16.1-dev4z+7e0f0041-javadoc.jar	576 KB