"Логическое программирование на языке Висуал Пролог" - читать интересную книгу автора (Солдатова О.П., Лезина И.В.)