Academic work certainly seems to still use it, and I've seen it once or twice for "business rule" type stuff. That's not much, but I can't remember much else in this direction either.

I guess constraint solvers like Z3 are in the same category kind of(?), but I don't know if/how their syntaxes are related.