You might enjoy Peter Norvig teaching you this technique which he uses to solve the Zebra Puzzle in lesson 2 of CS212:

https://classroom.udacity.com/courses/cs212/lessons/48632874...