[http://babel.ls.fi.upm.es/research/Sloth/ Sloth] is a compiler that translates Curry programs into Prolog.