is not current version

Last Version 0.20.9-dev03+3250bb16 →

it.unibo.tuprolog:solve-classic 0.18.0

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

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

Download solve-classic 0.18.0

Filename	Size
solve-classic-0.18.0.pom
solve-classic-0.18.0-sources.jar	52 KB
Browse