Mercury,
+href="http://www.mercurylang.org/download/gcc-backend.html">Mercury,
a declarative logic/functional language. The University of Melbourne Mercury
compiler is written in Mercury; originally it compiled via C but now it also
has a backend that generates assembler directly, using the GCC backend.