Вопрос к коллегам, кто знаком с дискетной математикой не по наслышке, как я, а несколько более детально.
Читая книги по Lisp-у и Haskell-ю я неоднокрантно натыкался на небольшие главы, служащие ликбезом по лямбда-исчислению и комбинаторной логике для тех, кто в танке и никогда о таком не слышал. Я, как вы понимаете, как раз являюсь танкистом и главы такого содержания не пропускаю. Не так давно я распечатал несколко документов по Refal-у и и с не меньшим чем к Lisp-у интересом стал читать про этот язык. В одном из этих документов было сказано, что теоретическим фундаментом Refal-а являются нормальные алгоритмы Маркова, позволяющие выполнять (почти цитирую ) "прямое сопоставлени с образцом, в отличие от обратного, как это сделано в Prolog". Так же сказано, что прямое сопоставление с образцом позволяет сделать интепретацию/компиляцию программы более эффективно. Но, к сожалению, не сказано почему это так? Кто нибудь может более менее "на пальцах" объяснить это утверждение?
