Как пролог повлиял на развитие логического программирования?

Язык программирования «Пролог» повлиял на развитие логического программирования несколькими способами:

• Позволил программистам описывать задачи средствами математической логики. infourok.ru В отличие от традиционных языков программирования, «Пролог» не указывает, что и как должна делать вычислительная машина, а позволяет описывать условие задачи на языке формальной логики. scienceforum.ru
• Способствовал накоплению знаний. infourok.ru ru.wikipedia.org Базовым принципом языка является равнозначность представления программы и данных, поэтому утверждения «Пролога» одновременно являются и записями, и правилами, которые содержат способы обработки данных. infourok.ru ru.wikipedia.org
• Способствовал обучению принципам логического программирования. infourok.ru ru.wikipedia.org «Пролог» считают естественной средой для накопления базы знаний и обучения школьников и студентов принципам логического программирования. infourok.ru ru.wikipedia.org
• Способствовал развитию систем искусственного интеллекта. spravochnick.ru «Пролог» используется в области искусственного интеллекта, компьютерной лингвистики и нечислового программирования в целом. ru.wikipedia.org
• Способствовал созданию новых специальных языков программирования. spravochnick.ru Например, функциональный язык Erland реализован на базе «Пролога» и может считаться модификацией «Пролога» для отдельных специальных задач, которые связаны с задачами в реальном времени. spravochnick.ru