Property-based testing

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:

https://logtalk.org/2020/04/23/building-trust-on-property-based-testing.html

The blog is focused on logic programming best practices. Hope you enjoy it. Feedback and suggestions for upcoming content are most welcome.

2 Likes

It would be good if you add some complete examples on how to use this with plain Prolog.

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.

I missed that example, thanks!