песок в часах

Мне кажется чисто декларативное программирование - некоторый идеал. Например, в Прологе, декларативный стиль сразу натыкается на особенности машины вывода и тут приходиться думать про машину даже глубже, чем в процедурном подходе. В других декларативных системах, наверняка, свой "песок в часовом механизме" тоже есть. Про песок - от критиков Пролога.