Tiene también una regla flexible de cómputo que admite el operador de poda, que es una generalización del operador "commit" de los lenguajes de programación concurrentes.