Uma linguagem de programação projetada para a solução de uma determinada classe de problemas. São exemplos de linguagens de processamento de lista, línguas de recuperação de informação, linguagens de simulação.