21 ноября 2010 · Комментарий

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

Имя не сохранено · Оригинал в ЖЖ ↗ · Ссылка на запись

Таких не бывает. Логическая парадигма это ограничение, как только появляется направленность вычислений - язык становится функциональным. Единственный случай, когда язык на базе Prolog стал популярным - Erlang, обычный функциональный язык. А вот полезную возможность включать мультинаправленность я бы не считал характеристикой "что-то + логических" языков. Есть другие примеры, включая Harmony/Boomerang. Здесь как с pattern matching, который начался с нескольких языков, включая императивный SNOBOL, функциональный РЕФАЛ и логический Prolog, но "в народе" чаще связывается с более поздними поколениями функциональщины.