I published today the third blog post on property-based testing. The solutions discussed in the posts can be used to test, besides Logtalk code, also plain Prolog and Prolog module code:
The blog is focused on logic programming best practices. Hope you enjoy it. Feedback and suggestions for upcoming content are most welcome.