_мод tchingizВроде как бы, функция количества проблем в программе от затрачиваемых усилий плавно сходится к нулю, и "маленькие" изменения в тексте - приводят к незначительным отличиям в результатах
программы до внесения изменений, и программы с изменениями.
И вот а в прологе - все наоборот. Любой косметическое изменение - полностью меняет работу поредактированной программы.
Увы, это общее св-во всех декларативных языков.
В SQL-е не так. Несходимость скорее свойство реализации пролога.

_модИменно по этому применение императивов быстрее дает требуемый результат.
Далеко не всегда.

sql...rutchingizна SQL я ж тоже вроде декларативно ваяю?
Нет. SQL это множество-ориентированный язык, где операции применяются к множествам (а не к значениям). Но сами операции это самые обычные операции, применяемый к самым обычным операндам (но только множествам). Если a*b в обычном языке это числа,

В формализации арифиметики фон Неймана (по-моему) числа это множества.
0=пустое_множество, 1={0}, 2={0,1}, 3={0,1,2}, ... Примерно так, может ошибся в мелочах. Арифметика разумеется получается неотличимой от обычной. Так что можно считать что числа есть множества.


Алексей Морозов Весь мир считает Пролог универсальным языком программирования, даже
полноценные Win32 программы не нем пишет.
На любом языке можно писать полноценные вынь программы, это не вопрос языка, это вопрос реализации. В этом смысле СКЛ, работающий в СКЛ сервере ничуть ни хуже джавы, работающей в виртуальной машине.

Если язык полный, то программы будут совсем полноценные.

_модtchingizпри использовании SQL результат, гм, предсказуемо достижим в зависимости от усилий.
Поскольку в случае ошибки все надо начинать с начала, то не всегда.
Нет, конечно можно все время начинать сначала, но зачем?