"Prolog programming in depth" - читать интересную книгу автора (Michael A. Covington, Donald Nute, Andre Vellino)