resep testing for prolog