сегодня лазал в википедию и прочитал, что Alain Colmerauer - создатель языка программирования Prolog умер в мае этого года, печально, rest in peace

в GNU Prolog реализован достаточно клевый механизм работы с ограничениями, думал может это позволит eight queen puzzle решить в одну строку, но что то не, не получается, дальше "x должны быть разные" и "y должны быть разные" не получается, надо еще поизучать, а то было бы очень клево если бы можно было такие задачи решать в одну строку

?- CX=[X1,

в предыдущей записи спросили насчет Prolog (разработан в 1972м) и Рефал (разработан в 1966м Турчиновым), то решил показать наглядно разницу
( Read more... )

так как были какие то вопросы в чем смысл языка Prolog, то в этом контексте интересно глянуть историю языка
"Prolog was born from a challenge: create a very high level language, even if inefficient according to the standard at the time ( Read more... )

на фейсбуке написал паре каких то чудиков решение на prolog их задач очень простеньких, типа вычисления чисел фиббоначи, дак смотрю потянулись бедолаги со всего света с предложениями решить для них задачку и даже готовы заплатить, до этого на российском одном форуме тож такое было, надо будет запомнить - хороший заработок если что будет когда на ( Read more... )

Wei Tao, together with Frank Yellin, Tim Lindholm, and Gilad Bracha, implemented the Prolog verifier that formed the basis for the specification in both Java ME and Java SE.

classIsTypeSafe(Class ( Read more... )

походу японцу удалось сконвертить мой движок пролога на IPad

любопытно, оказывается айбиэмовский ватсон для анализа языка юзает prolog

по просьбе японца опубликовал сорцы от Prol. могут быть скачаны с https://code.google.com/p/jprol/
опубликовал под лицензией Apache 2.0
p.s.
писалось в 2010м, особо не тестилось, проект был научно-познавательно исследовательский

знакомый из бельгии убедил, что LGPL лицензия не есть гуд и я изменил лицензию у Java Prolog Parser на Apache 2.0