Prolog : programming for students: with expert systems and artificial intelligence topics - Callear, David (DP Publications, 1994)