Types of declarative language

Functional.

The specification is given as a series of function definitions.

Examples: Lisp, Miranda, Hope.

Equational.

The specification is given as a series of equations, or ``rewrite rules''.

Example: OBJ3.

Logical.

The specification is given as a series of predicate definitions.

Examples: Prolog, Parlog, Trilogy.