"Логическое программирование" - читать интересную книгу автора (Доцент Вальковский В.Б.)