Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
implementations:overview [2020-11-30 10:48] mh [Spite] |
implementations:overview [2020-11-30 10:51] mh [KiCS2] |
||
---|---|---|---|
Line 48: | Line 48: | ||
The [[ http://www-ps.informatik.uni-kiel.de/kics2 | KiCS2 ]] | The [[ http://www-ps.informatik.uni-kiel.de/kics2 | KiCS2 ]] | ||
- | is a new implementation that translates Curry | + | is an implementation that translates Curry |
into [[ http://www.haskell.org/ | Haskell]]. | into [[ http://www.haskell.org/ | Haskell]]. | ||
KiCS2 supports several search strategies to encapsulate search | KiCS2 supports several search strategies to encapsulate search | ||
- | (e.g., depth-first, breadth-first) and advanced extensions | + | (e.g., depth-first, breadth-first) and various extensions |
of Curry like | of Curry like | ||
[[ http://www.informatik.uni-kiel.de/~mh/papers/PPDP09.html | encapsulated search via set functions ]] | [[ 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]]. | and [[http://www.informatik.uni-kiel.de/~mh/papers/LOPSTR05.html | functional patterns]]. | ||
- | It also provides almost all libraries | + | It also supports the same libraries and packages as PAKCS |
- | of PAKCS for application programming so that it has been | + | so that it has been used for various applications. |
- | used for various applications. | + | |
**Contact:** | **Contact:** |