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