4.7 Control de búsqueda en programas lógicos.