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