Oz es un lenguaje de programación creado en la Universidad de Melbourne (Australia) a principios de la década de 1990. Se concibió como una alternativa más humana a lenguajes tradicionales como C y FORTRAN. Oz se basa en un modelo de computación llamado Programación de Restricciones Concurrentes (CCP), que es un tipo de programación lógica.
Oz destaca por su uso de la resolución de restricciones y la programación, que permite una interacción más natural y humana con el lenguaje. También cuenta con un entorno de programación visual único llamado Mozart, que utiliza una representación gráfica del lenguaje Oz.
Oz se utiliza en diversos campos, como la inteligencia artificial, la representación del conocimiento y el procesamiento del lenguaje natural.