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