Ett programmeringsspråk som utformats för lösningen av en viss kategori av problem. Exempel är listan bearbetning språk, informationssökning språk, simulering språk.