Сборник статей посвящен одной из базовых концепций проекта вычислительных систем пятого поколения - логическому программированию. Рассматривается широкий круг проблем, связанный как с развитием языковых аспектов логического программирования, так и с его аппаратной и программной реализацией. Включены также работы, освещающие опыт использования систем логического программирования для решения конкретных практических задач.
Для специалистов в области проектирования и разработки программного и аппаратного обеспечения вычислительных систем пятого поколения.
