Сбоник работ зарубежных специалистов, отражающий современное состояние в новом направлении програмирования, тесно связанном с математической логикой. Это направление активно развивается как в теоретическом так и в практическом плане, включая в себя новые языки (Пролог, Логлисп и др.), методы реализации и проекты машинных архитектур. В сборник включены специально написанный обзор литератруы по логическому программированияю. Среди авторов известные зарубежные специалисты: Б. Домелки, П Середи (ВНР), А. Колмероэ (Франция), Дж. Робинсон (США), Р. Ковальский (Великобритания). Для математиков-прикладников, програмистов, аспирантов и студентов университетов.