The third in a series of blog entries on using property-based testing in Logtalk.