Property-based testing

[Paulo Moura]

Hi,

I published yesterday 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 reading 
it. Feedback and suggestions for upcoming content are most welcome.

Cheers,
Paulo

-----------------------------------------------------------------
Paulo Moura
Logtalk developer