We often don't learn from the greats of computer science (all sorts of APL goodness from the 70s is being rediscovered for data science today).
As far as modern Prolog. I know commercial systems still exist, but I assume most work has switched to SWI-Prolog?