it.unibo.tuprolog:solve-streams-jvm 0.18.1-dev05+178b1e2d

Experimental, functional-programming-based implementation of Prolog's SLDNF resolution principle

GroupId	GroupId it.unibo.tuprolog
ArtifactId	ArtifactId solve-streams-jvm
Version	Version 0.18.1-dev05+178b1e2d
Type	Type pom.sha512

Download solve-streams-jvm 0.18.1-dev05+178b1e2d

Filename	Size
solve-streams-jvm-0.18.1-dev05+178b1e2d.pom
solve-streams-jvm-0.18.1-dev05+178b1e2d-sources.jar	27 KB
solve-streams-jvm-0.18.1-dev05+178b1e2d-javadoc.jar	260 KB
Browse