Без заголовка

То есть логический язык -- это такой крутой перец, которым перчат, но его не едят ложкой отдельно. Логические языки везде понавставляются в конечном итоге, это я понимаю, это текущий тренд. Насчет "узкой области применений" тут как раз логики спорят сильно. Насчет модели вычислений -- волнует ведь не модель вычислений, а удобство использования. Или освоить Haskell легче, чем Prolog?!