A programming language designed for the solution of a given class of problems. Examples are list processing languages, information retrieval languages, simulation languages.