I've been quite fascinated by answer set programming, because unlike prolog its clauses are unordered which give the language the opportunity to significantly o

I've been quite fascinated by answer set programming, because unlike prolog its clauses are unordered which give the language the opportunity to significantly optimise execution - though at the cost that, as with haskell, it's often quite tricky to reason about what you just did that caused a performance issue.