Comment by alecthomas

I've never seen Prolog used at all in the wild, but OPA (and its ancestor, Datalog) are fairly common.