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?
