El programa es expresado a través de un conjunto de funciones expresados bajo ecuaciones o reglas.