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