Examples: Fortran, Pascal, Basic, Cobol.
Examples: Prolog, OBJ3, Lisp.
Prolog and Lisp are not entirely declarative - they have imperative features too, e.g. for input and output.