Pack Announce: probat - property based testing Prolog programs

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. (

Any comment is apreciated!