PowerFuL

A language combining functional programming and logic programming, using "angelic Powerdomains".