Testing is one of the corner stones of writing reliable software. There isalso e.g. code inspections and formal methods but that’s a topic for anotherpost. H...

The second in a series of using property-based automated testing to up your testing game in Logtalk.

The technique used, called QuickCheck, is available in many other languages too. But very few of them get an implementation of it for free and even fewer have it in the standard distribution for the language!