reggateon
Páginas: 4 (772 palabras)
Publicado: 23 de septiembre de 2014
ConferenciaPL09: Control explícito en Prolog: el corte
Profesor: Dr. Luciano García Garrido
Facultad de Matemática y Computación
Universidad de La Habana, Cuba
El corte: estructura decontrol explícita
Como vimos la programación lógica pura en su realización en Prolog resuelve el problema del control en la ejecución de algoritmos adoptando BPP-RC como la estrategia denavegación en el espacio de búsqueda. En verdad, el lector se puede percatar de que el árbol de derivación de un objetivo con respecto a un programa puede contener muchas ramas que terminan en fracasos, lasque BPP-RC no puede evitar generar. No obstante, si nuestro conocimiento sobre cómo el intérprete ejecutaría nuestro programa pudiera ser utilizado para realizar “podas” de tales ramas estériles ladeducción del objetivo, sería más eficiente.
Prolog suministra un predicado primitivo que permite al programador afectar la generación del árbol de deducción de un objetivo eliminandoramificaciones que a juicio del programador den lugar a ramas fracasos. Se trata de un predicado nulario, denominado corte(cut) y denotado por !/0. El corte puede ser introducido como un subobjetivo más en elcuerpo de cualquier cláusula o de un objetivo, su valor como constante proposicional es verdadero, por lo tanto como objetivo a evaluar en cualquier derivación siempre triunfa, de ahí que no afectepara nada la lectura y semántica declarativas de un programa. Sin embargo, su efecto sobre la ejecución del intérprete es relevante: actúa como un mecanismo de control que reduce el espacio de búsquedapodando dinámicamente ramas del árbol de deducción de un objetivo con respecto a un programa que supuestamente no conducirían a soluciones.Veamos a través de un ejemplo la mecánica del corte.Ejemplo: Considere el siguiente programa donde se define el predicado elmenor/3 para hallar el menor entre dos números (note que el predicado fracasa si los números son iguales):
% elmenor(N1, N2,...
Profesor: Dr. Luciano García Garrido
Facultad de Matemática y Computación
Universidad de La Habana, Cuba
El corte: estructura decontrol explícita
Como vimos la programación lógica pura en su realización en Prolog resuelve el problema del control en la ejecución de algoritmos adoptando BPP-RC como la estrategia denavegación en el espacio de búsqueda. En verdad, el lector se puede percatar de que el árbol de derivación de un objetivo con respecto a un programa puede contener muchas ramas que terminan en fracasos, lasque BPP-RC no puede evitar generar. No obstante, si nuestro conocimiento sobre cómo el intérprete ejecutaría nuestro programa pudiera ser utilizado para realizar “podas” de tales ramas estériles ladeducción del objetivo, sería más eficiente.
Prolog suministra un predicado primitivo que permite al programador afectar la generación del árbol de deducción de un objetivo eliminandoramificaciones que a juicio del programador den lugar a ramas fracasos. Se trata de un predicado nulario, denominado corte(cut) y denotado por !/0. El corte puede ser introducido como un subobjetivo más en elcuerpo de cualquier cláusula o de un objetivo, su valor como constante proposicional es verdadero, por lo tanto como objetivo a evaluar en cualquier derivación siempre triunfa, de ahí que no afectepara nada la lectura y semántica declarativas de un programa. Sin embargo, su efecto sobre la ejecución del intérprete es relevante: actúa como un mecanismo de control que reduce el espacio de búsquedapodando dinámicamente ramas del árbol de deducción de un objetivo con respecto a un programa que supuestamente no conducirían a soluciones.Veamos a través de un ejemplo la mecánica del corte.Ejemplo: Considere el siguiente programa donde se define el predicado elmenor/3 para hallar el menor entre dos números (note que el predicado fracasa si los números son iguales):
% elmenor(N1, N2,...
Leer documento completo
Regístrate para leer el documento completo.