Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
implementations:overview [2017-05-31 15:36] mh [PAKCS] Ubuntu package mentioned |
implementations:overview [2020-11-30 10:36] mh |
||
---|---|---|---|
Line 35: | Line 35: | ||
but these are no longer maintained). | but these are no longer maintained). | ||
- | PAKCS (release 1.14.2) is also available as an Ubuntu 17.04 package. | + | 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 | If you run this OS, PAKCS can be installed with the command | ||
> sudo apt install pakcs | > sudo apt install pakcs | ||
+ | |||
+ | **Contact:** | ||
+ | [[ http://www.informatik.uni-kiel.de/~mh/ | Michael Hanus ]] | ||
+ | <mh@informatik.uni-kiel.de> | ||
+ | |||
+ | |||
+ | ===== KiCS2 ===== | ||
+ | |||
+ | The [[ http://www-ps.informatik.uni-kiel.de/kics2 | KiCS2 ]] | ||
+ | is a new implementation that translates Curry | ||
+ | into [[ http://www.haskell.org/ | Haskell]]. | ||
+ | KiCS2 supports several search strategies to encapsulate search | ||
+ | (e.g., depth-first, breadth-first) and advanced extensions | ||
+ | of Curry like | ||
+ | [[ http://www.informatik.uni-kiel.de/~mh/papers/PPDP09.html | encapsulated search via set functions ]] | ||
+ | and [[http://www.informatik.uni-kiel.de/~mh/papers/LOPSTR05.html | functional patterns]]. | ||
+ | It also provides almost all libraries | ||
+ | of PAKCS for application programming so that it has been | ||
+ | used for various applications. | ||
**Contact:** | **Contact:** | ||
Line 68: | Line 87: | ||
- | |||
- | |||
- | ===== KiCS2 ===== | ||
- | |||
- | The [[ http://www-ps.informatik.uni-kiel.de/kics2 | KiCS2 ]] | ||
- | is a new implementation that translates Curry | ||
- | into [[ http://www.haskell.org/ | Haskell]]. | ||
- | KiCS2 supports several search strategies to encapsulate search | ||
- | (e.g., depth-first, breadth-first) and advanced extensions | ||
- | of Curry like | ||
- | [[ http://www.informatik.uni-kiel.de/~mh/papers/PPDP09.html | encapsulated search via set functions ]] | ||
- | and [[http://www.informatik.uni-kiel.de/~mh/papers/LOPSTR05.html | functional patterns]]. | ||
- | It also provides almost all libraries | ||
- | of PAKCS for application programming so that it has been | ||
- | used for various applications. | ||
- | |||
- | **Contact:** | ||
- | [[ http://www.informatik.uni-kiel.de/~mh/ | Michael Hanus ]] | ||
- | <mh@informatik.uni-kiel.de> | ||