Логическое программирование
Петренко А.А., Суворов А.О.
Обложка:
