El sistema Mozart es una implementación del lenguaje de programación Oz, un lenguaje de programación multi-paradigma, con orientación en concurrencia.
Vamos a utilizar este lenguaje a lo largo de la materia, para estudiar los conceptos de los distintos paradigmas.
Partiremos de un Modelo Declarativo básico, e introduciremos conceptos hasta llegar a un Modelo Imperativo.