Чисто теоретический вопрос

[dil]

Можно ли считать SQL языком программирования?
А Пролог?

Upd: чтоб было понятнее, откуда возник вопрос. Они оба не являются алгоритмическими языками, в том смысле, что не содержат алгоритма получения результата. Они содержат только критерии, которым этот результат должен удовлетворять. Можно ли считать их при этом языками программирования?

Comments

[jerom.livejournal.com]

SQL в чистом виде - нет. С расширениями - да.

Пролог - да. Ну а определяю я это так: смог бы кто-то написать машину Тьюринга на этом языке?

Если да - язык программирования. Иначе - просто грамматика какая-то.

[unbe.livejournal.com]

Определение вообще-то неправильное, есть тьюринг-полные языки, а есть и нет. SQL - это вполне язык программирования.