Types of programming language


next up previous contents
Next: Types of declarative language
Up: Introduction to Prolog for Mathematicians
Previous: Contents

Types of programming language

Imperative.
Tell the computer how to achieve a goal, by giving a sequence of instructions.

Examples: Fortran, Pascal, Basic, Cobol.

Declarative.
Tell the computer what goal to achieve, by giving a specification.

Examples: Prolog, OBJ3, Lisp.

Prolog and Lisp are not entirely declarative - they have imperative features too, e.g. for input and output.



Jocelyn Ireson-Ireson-Paine
Mon Jul 17 22:27:41 BST 1995