Package: wnpp Severity: wishlist * Package name : picat Version : 1.4 Upstream Author : Neng-Fa ZHOU (http://www.sci.brooklyn.cuny.edu/~zhou/) * URL : http://picat-lang.org/ * License : Mozilla Public License (http://mozilla.org/MPL/2.0/) Programming Lang: C, Picat Description : Picat is a rule and logic based programming language
Picat is a simple, and yet powerful, logic-based multi-paradigm programming language aimed for general-purpose applications. Picat is a rule-based language, in which predicates, functions, and actors are defined with pattern-matching rules. Picat incorporates many declarative language features for better productivity of software development, including explicit non-determinism, explicit unification, functions, list comprehensions, constraints, and tabling. Picat also provides imperative language constructs, such as assignments and loops, for programming everyday things. The Picat implementation, which is based on a well-designed virtual machine and incorporates a memory manager that garbage-collects and expands the stacks and data areas when needed, is efficient and scalable. Picat can be used for not only symbolic computations, which is a traditional application domain of declarative languages, but also for scripting and modeling tasks. (extracted from README) It may interest Debian Science Team and its science-logic package. Regards, Patrice
