Sloth is a compiler that translates Curry programs into Prolog.