Prolog programming in depth - Covington, Michael (Prentice Hall, 1997)