"Логическое программирование. сборник статей" - читать интересную книгу автора (Агафонов В.Н. (ред.))