Naga: Datalog-based rules engine in Clojure 10 years ago
Prolog can't scale over large data sets. That's why Datalog was invented. So Prolog has significantly greater capabilities, but Datalog scales better. Your use case determines which one is more appropriate for you.