Dear all,
since I’ve found none, I’ve developed a SWI-Prolog package to perform property based testing on Prolog programs. That is, testing Prolog predicates with random inputs.
You can find it on GitHub: damianoazzolini/probat: Property based testing Prolog programs. (github.com)
Any comment is apreciated!