Return to Article Details Implementation of Constraint Satisfaction Problem Approach for Solving the Zebra Puzzle with Prolog Download Download PDF