|RPN in Mercury|
Mercury is a strongly typed logic/functional programming language with a purely declarative programming style, advanced static analysis, and error detection features. Its authors claim that Mercury’s efficiency is ‘far in excess of existing logic programming systems, and close to conventional programming systems’.
The language has been in development since early 1990s.
The home page of Mercury