You can buy this project and download/modify it how often you want.
Files of the artifact test-solve-jvm version 1.0.0 from the group it.unibo.tuprolog.