Ясно. Спасибо.

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

Т.е. он вроде как не функциональный, не логический и не императивный. Он марковский.

Хотя возможно конечно это пальцем в небо.