Los programas escritos en un lenguaje declarativo especifican las propiedades que tienen o que deben cumplirse para la salida.