I got the most enlightenment about logic programming from reading the description of the monkey and the banana toy problem as described here.