Vision for the D language - stabilizing complexity?

[Walter Bright via Digitalmars-d]

On 7/11/2016 10:01 PM, Ola Fosheim Grøstad wrote:
> Of course logic programming has had a big impact on state of
> the art.
>
> Prolog -> Datalog
> Datalog -> magic sets
> magic sets -> inference engines
> inference engines  -> static analysis
>
> And that is only a small part of it.

Can you trace any Prolog innovations in 
C/C++/Java/C#/Go/Rust/D/Swift/Javascript/Fortran/Lisp?