Programovací jazyk navržený pro řešení dané třídy problémů. Příklady jsou seznam zpracování jazyky, jazyky získávání informací, simulační jazyky.