Prolog. (Seriously though, there are many things that could be considered successors, like Mercury or maybe even Datalog, but to a first approximation I'd say

Prolog. (Seriously though, there are many things that could be considered successors, like Mercury or maybe even Datalog, but to a first approximation I'd say that Prolog is still timely.)