С появлением новых языков программирования, в частности языков логического программирования, подходы к решению логических задач меняются, например, за счёт использования декларативного стиля. 13

В отличие от императивных языков, где программист указывает, как выполнить задачу, в логическом программировании акцент делается на том, что должно быть достигнуто. 3 Разработчики определяют набор фактов и логических правил, которые описывают проблему. 3 Программа сама делает выводы, используя эти данные. 3

Некоторые особенности такого подхода:

• Высокий уровень абстракции. 3 Разработчики фокусируются на проблеме, а не на способе её решения. 3
• Простота в обработке баз знаний. 3 Языки подходят для работы с базами данных и экспертными системами. 3
• Автоматическое заключение. 3 Система сама находит ответы, используя правила и факты, что делает программу более гибкой. 3

Один из примеров языка логического программирования — Пролог. 45 Он предназначен не для решения вычислительных или графических задач, а для решения логических задач, для моделирования процесса логического умозаключения человека. 4