Prolog and Haskell (and Excel! More similar than you think!) have large logic engines inside them, so in a sense they learn away form "programming languages" an

Prolog and Haskell (and Excel! More similar than you think!) have large logic engines inside them, so in a sense they learn away form "programming languages" and toward "input languages for a system"