Pinochle: Logic-Based Prolog