Un llenguatge de programació dissenyat per a la solució d'una determinada classe de problemes. Exemples són llengües de processament de llista, recuperació d'informació de llengües, llengües de simulació.