Tarea 5
Tarea 5
Tarea 5
Código: 216658022
Clave: I5914
Referencias Bibliográficas 5
Cortes rojos y verdes
El corte es un predicado predefinido que no recibe argumentos. Se representa
mediante un signo de admiración. Sin duda, es el predicado más difícil de entender.
El corte tiene la propiedad de eliminar los puntos de elección del predicado que lo
contiene.
Es decir, cuando se ejecuta el corte, el resultado del objetivo (no sólo la cláusula en
cuestión) queda comprometido al éxito o fallo de los objetivos que aparecen a
continuación. Es como si a Prolog "se le olvidase" que dicho objetivo puede tener
varias soluciones. Otra forma de ver el efecto del corte es pensar que solamente
tiene la propiedad de detener el backtracking cuando éste se produce. Es decir, en
la ejecución normal el corte no hace nada. Pero cuando el programa entra en
backtracking y los objetivos se recorren marcha atrás, al llegar al corte el
backtracking se detiene repentinamente forzando el fallo del objetivo.
Los cortes rojos se utilizan para evitar soluciones erróneas, cuando se omite la
comprobación explícita de alguna condición que se sabe que se va a cumplir para
un determinado uso del predicado.
Los cortes rojos funcionan correctamente sólo cuando se instancia el primer
argumento; no funciona bien cuando se instancian los dos.
Referencias Bibliográficas
❖ Castellano, E. S. P. L. (s. f.). Curso intermedio de programaciÃ3n en Prolog.
Programación en Castellano.
https://programacion.net/articulo/curso_intermedio_de_programacion_en_prol
og_88/4
https://www.tutorialspoint.com/prolog/prolog_examples_of_cuts.htm