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:
All three posts include example of testing plain Prolog predicates. E.g. the every_other/3 predicate used in all posts. For a complete example see the the filter/2 predicate in the second post. If some detail is not clear, just ask and I will clarify.