Cláudio Amaral, Mário Florido, Vítor Santos Costa: PrologCheck - Property-Based Testing in Prolog. FLOPS 2014: 1-17