Escher

The successor to Godel, as in the book title "Godel, Escher and Bach"

John W. Lloyd et al, Bristol

A declarative general-purpose language with both functional and logic features. Aimed at machine learning. Influenced by Godel and Haskell.