Picat - новый язык программирования, основанный на логике

[kit1980ukr]

Недавно автор B-Prolog, профессор City University of New York Neng-Fa Zhou, придумал новый язык программирования - Picat (Pattern-matching, Imperative, Constraints, Actors, Tabling

Comments

[raydac]

спасибо, интересно
а какой по Вашему самый показательный пример отражающий всю мощь языка?

[kit1980ukr]

Лично мне в Picat больше всего интересны tabling (вариант автоматической мемоизации) и основанный на tabling модуль планирования (т.к. для constraint programming и mixed integer programming мне больше нравится ECLiPSe CLP - http://eclipseclp.org/).

В качестве хороших примеров выразительности языка позволю себе привести собственные программы:
решение задачи Bribe the Prisoners с Google Code Jam для mode-directed tabling и решение головоломки Pentagonal Peg Solitaire для планирования.

[beroal]

Если я правильно понял, язык является перетасовкой существующих фич.

[kit1980ukr]

Тем временем, вышла версия Picat 1.0: https://news.ycombinator.com/item?id=9319374