it.unibo.tuprolog:solve-streams-jvm 0.17.3

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

GroupId	it.unibo.tuprolog
ArtifactId	solve-streams-jvm
Version	0.17.3
Type	pom.sha512

Download solve-streams-jvm 0.17.3

Filename	Size
solve-streams-jvm-0.17.3.pom
solve-streams-jvm-0.17.3-sources.jar	27 KB
solve-streams-jvm-0.17.3-javadoc.jar	260 KB