Un lenguaje de programación diseñado para la solución de una determinada clase de problemas. Ejemplos son idiomas de procesamiento de lista, lenguajes de recuperación de información, lenguajes de simulación.