PowerFuL

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