Здравствуйте, Andir, Вы писали:

A>P.S. Интересно, а декларативность и полнота по Тьюрингу — это взаимоисключающие понятия?

Если так, то непонятно, что есть декларативный язык, к примеру лямбда-исчисление (как база всех функциональных) языков эквивалентно машине Тьюринга