Prolog (пролог) - семантика названия языка

Знакомство с языком программирования Пролог, как правило, начинается с раскрытия его имени: Пролог
— это сокращение от "Программирование Логики".

Однако, это раскрытие вводит в заблуждение, которое почему-то до сих пор стараются поддерживать авторы многих публикаций на соответствующую тему. На самом деле, Пролог связан с логикой лишь исторически — на практике эта связь может быть обеспечена лишь на уровне волевого усилия программиста. Этим объясняется взлет с начала 80-х и закат в начале 90-х популярности этого языка. Действительно, освоить механизмы резолютивного вывода Пролога не просто, но освоив их, легко понимаешь, что вывод этот назвать логическим можно, только имея большое желание не видеть очевидного.

Первые технологичные трансляторы с Пролога появились в начале 80-х и за десять лет программисты смогли разобраться, что это не предвещает ни революции в программировании, ни даже небольшого облегчения их работы. Но не все так просто... Трансляторы с Пролога продолжают появляться как коммерческие, например, Visual Prolog фирмы PDC, так и условно-бесплатные. По лицензии GNU распространяется Пролог Даниэла Диаса (Daniel Diaz), соответствующий стандарту ISO/IEC 13211-1. Все дальнейшие примеры тестировались на версии 1.1.2 этого транслятора, доступной с декабря 1999 года.
Пролог увенчал собой многочисленные и растянутые на века попытки формализовать процесс мышления. И в этом смысле, гора родила мышь... Но, как это часто бывает, неуспешное или неполное решение одной проблемы может решать другую.

© 2000, Лидовский Владимир Викторович. Опубликована в журналах "Компьюлог” №4, 2000, с.63–65, "Информационные технологии” №3, 2001, с.11–13.