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