Asignatura optativa del plan nuevo de la Escuela Universitaria de Informática en la Universidad de Oviedo.
Esta asignatura se inició como una continuación de Programación Lógica y Funcional. De todas formas, con el cambio de nombre, se ha modificado sustancialmente la asignatura.