PowerFuL
Combines functional and logic programming, using "angelic Powerdomains".