MetaMine - It mixes declarative and imperative code with sane rules. It's the most powerful programming language I've ever seen. Unfortunately, it only briefly winked into existence a few years ago. Here's the demo[1] via the Internet Archive to whet your appetite. See also, mentions here on HN[2].