de
invocaciones como una secuencia y el mecanismo de elección implica el
recorrido de la misma. Esta estrategia produce un tipo de recorrido
del árbol que se conoce como englishdepth first (primero en
profundidad). En cada nodo se analiza primero, totalmente, el
subárbol engendrado por un descendiente antes de considerar a los
hermanos del mismo. En conocimiento de este ordenamiento, el usuario
puede guiar la evaluación de sus programas, determinando el orden con
que escribe los predicados en el cuerpo de los procedimientos.