_(Curry | http://www.informatik.uni-kiel.de/~mh/curry/) is a *(functional) *(logic) *(programming language) with many implementations.
