Mercury

Mercury is a Logic Programming language, that is efficient unlike Prolog which it most resembles. Mercury also has types and modes, which allow it to compile to very efficient C or assembler or other back ends.