Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionNext revisionBoth sides next revision | ||
implementations:overview [2015-03-03 14:57] – mh | implementations:overview [2020-11-30 10:47] – mh | ||
---|---|---|---|
Line 34: | Line 34: | ||
a [[ implementations: | a [[ implementations: | ||
but these are no longer maintained). | but these are no longer maintained). | ||
+ | |||
+ | PAKCS (release 2.0.1) is also available as an Ubuntu 18.04 package. | ||
+ | If you run this OS, PAKCS can be installed with the command | ||
+ | |||
+ | > sudo apt install pakcs | ||
+ | |||
+ | **Contact: | ||
+ | [[ http:// | ||
+ | < | ||
+ | |||
+ | |||
+ | ===== KiCS2 ===== | ||
+ | |||
+ | The [[ http:// | ||
+ | is a new implementation that translates Curry | ||
+ | into [[ http:// | ||
+ | KiCS2 supports several search strategies to encapsulate search | ||
+ | (e.g., depth-first, | ||
+ | of Curry like | ||
+ | [[ http:// | ||
+ | and [[http:// | ||
+ | It also provides almost all libraries | ||
+ | of PAKCS for application programming so that it has been | ||
+ | used for various applications. | ||
**Contact: | **Contact: | ||
Line 42: | Line 66: | ||
===== MCC ===== | ===== MCC ===== | ||
- | The [[http:// | + | The [[http:// |
is a mature native code compiler for | is a mature native code compiler for | ||
Curry which conforms to the Curry report except for committed | Curry which conforms to the Curry report except for committed | ||
Line 58: | Line 82: | ||
[[ http:// | [[ http:// | ||
- | **Contact: | + | **Contact: |
< | < | ||
+ | ===== Spite ===== | ||
+ | Sprite is a compiler and runtime for Curry programs. | ||
+ | It is based on the Fair Scheme, a compilation strategy for transforming | ||
+ | declarative, | ||
+ | deterministic code. | ||
+ | As the Fair Scheme emphasizes operational completeness, | ||
+ | Sprite aims to produce all values of Curry programs, | ||
+ | subject only to practical limits such as the amount of memory available. | ||
+ | Relevant papers: | ||
+ | [[ https:// | ||
- | ===== KiCS2 ===== | + | [[ https://arxiv.org/abs/1608.04016 | A New Functional-Logic Compiler for Curry: |
- | + | ||
- | The [[ http://www-ps.informatik.uni-kiel.de/ | + | |
- | is a new implementation that translates Curry | + | |
- | into [[ http://www.haskell.org/ | + | |
- | KiCS2 supports several search strategies to encapsulate search | + | |
- | (e.g., depth-first, breadth-first) and advanced extensions | + | |
- | of Curry like | + | |
- | [[ http:// | + | |
- | and [[http:// | + | |
- | It also provides almost all libraries | + | |
- | of PAKCS for application programming so that it has been | + | |
- | used for various applications. | + | |
**Contact: | **Contact: | ||
- | [[ http://www.informatik.uni-kiel.de/~mh/ | Michael Hanus ]] | + | [[ http://www.cs.pdx.edu/~antoy | Sergio Antoy ]] |
- | <mh@informatik.uni-kiel.de> | + | and Andy Jost <ajost@pdx.edu> |