"Программирование на Турбо-Прологе: Методические указания" - читать интересную книгу автора (Тарков М.С.)