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