mercury:
Mercury is a purely declarative logical/functional language. It features a strong, static, polymorphic type system, as well as a strong mode and determinism systems. The type system is similar to that of Haskell, while the syntax is derived from Prolog's.