Man, where was a post like this when I was struggling trying to learn Prolog, modelling something with knights and knaves...