Hacker News new | past | comments | ask | show | jobs | submit login

One of the main differences is that Picat allows both deterministic functions (like in functional languages) and non-deterministic predicates (like in logic languages), which often simplifies code and makes for more efficient execution (although functions are translated into predicates).

In my opinion, Picat's biggest attraction is its facilities for constraint solving and optimization, which are in some respects state of the art.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact