Declarative Programming Languages: Examples of imperative languages are Pascal, C, Java, etc. Examples of declarative languages are ML, pure Lisp and pure Prolog. The programming model in imperative languages is based on a statement-at-a-time paradigm where each statement has some effect on a memory store.