Randomized testing for Prolog à la QuickCheck