Un linguaggio di programmazione progettato per la soluzione di una data classe di problemi. Esempi sono lingue di elaborazione elenco, information retrieval lingue, lingue di simulazione.