Логическое программирование влияет на архитектуру современных компьютерных систем следующим образом: способствует созданию систем, которые могут самостоятельно извлекать знания из больших объёмов данных. 4 Для этого программа содержит описание проблемы в терминах фактов и логических формул, а решение система выполняет с помощью механизмов логического вывода. 2

Также логическое программирование позволяет разрабатывать передовые приложения искусственного интеллекта на компьютерах с массовым параллелизмом. 3 Например, в рамках проекта «Компьютерные системы пятого поколения» (FGCS) основной архитектурной единицей вычислительной системы была машина логического вывода с языком логического программирования KL1 (расширенный Пролог). 1 Прикладные системы, написанные на этом языке, работали со скоростью, почти линейно пропорциональной числу процессоров. 1