В чем особенности языка программирования Пролог?

Некоторые особенности языка программирования Пролог:

• Декларативность. 15 Логика программы выражается в терминах отношений, представленных в виде фактов и правил. 1
• Инициирование вычислений через специальный запрос к базе знаний. 1 На него система генерирует ответы «истина» и «ложь». 1
• Вывод конкретных данных в подтверждение истинности обобщённых сведений и правил вывода. 1 Для обобщённых запросов с переменными в качестве аргументов система выводит конкретные данные в подтверждение истинности обобщённых сведений и правил вывода. 1
• Отсутствие операторов присваивания, ветвлений, безусловных переходов и указателей. 4
• Компактное описание многих алгоритмов. 3 По сравнению с императивными языками, программа на Прологе обычно помещается на одной странице. 1
• Использование для создания систем управления базами данных, где применяются сложные запросы. 3