I find Picat an exciting new development, with all three paradigms represented properly. See https://news.ycombinator.com/item?id=16563349