Tarau's work seems interesting and valuable to me, and much of it uses languages other than Prolog, yet he's pretty obscure, so I don't think it's Prolog necess

Tarau's work seems interesting and valuable to me, and much of it uses languages other than Prolog, yet he's pretty obscure, so I don't think it's Prolog necessarily, eh? I'm mystified. FWIW, I think Prolog isn't dead. It's just slow and stately. :)