⚠️ Warning: This is a draft ⚠️

This means it might contain formatting issues, incorrect code, conceptual problems, or other severe issues.

If you want to help to improve and eventually enable this page, please fork RosettaGit's repository and open a merge request on GitHub.


[http://www.informatik.uni-kiel.de/~pakcs/ PAKCS] is an implementation of the multi-paradigm declarative language [[Curry]] jointly developed by the Portland State University, the Aachen University of Technology, and the University of Kiel. Although this is not a highly optimized implementation but based on a high-level compilation of Curry programs into [[Prolog]] programs, it is not a toy implementation but has been used for a variety of applications (e.g., graphical programming environments, an object-oriented front-end for Curry, partial evaluators, database applications, HTML programming with dynamic web pages, prototyping embedded systems). Thus, the size of all current Curry applications implemented with PAKCS amounts to more than 100,000 lines (or 5 mbytes) of program code.