Non Imperative Programming Languages