Метод логического программирования заключается в том, что программы задаются в форме логических утверждений и правил вывода. 1 На основании заданных фактов формируются новые. 1

В такой парадигме программист описывает факты, правила или запросы, которые система использует для поиска ответов. 2 Задачи решаются путём нахождения истинности утверждений, а не пошагового выполнения команд. 2

Некоторые преимущества логического программирования:

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