Slight modifications to the prolog example.