"Язык логического программирования ПРОЛОГ: Методические указания к выполнению лабораторных работ" - читать интересную книгу автора (Бураков М.В.)