Category:Picat: Difference between revisions
Content added Content deleted
(Creating the description page.) |
(Added hakank.org/picat/) |
||
Line 3: | Line 3: | ||
Picat is a simple, and yet powerful, logic-based multi-paradigm programming language aimed for general-purpose applications, including non-determinism, tabling, constraint solving (Constraint Programming, SAT, and MIP), and general imperative constructs. Picat is available via http://picat-lang.org/ . |
Picat is a simple, and yet powerful, logic-based multi-paradigm programming language aimed for general-purpose applications, including non-determinism, tabling, constraint solving (Constraint Programming, SAT, and MIP), and general imperative constructs. Picat is available via http://picat-lang.org/ . |
||
<br><br> |
|||
There are quite a few Picat examples at http://hakank.org/picat/ . |
|||
<br clear="both"> |
<br clear="both"> |
||