21. PrologEjecucion

21. PrologEjecucion - Lenguajes de Programacin Lenguajes de...

Info iconThis preview shows pages 1–3. Sign up to view the full content.

View Full Document Right Arrow Icon
Lenguajes de Programación 1 Lenguajes de programación Programando en PROLOG Ejecución de Programas y Programación Ejecución de Programas y Programación Recursiva ¿Cómo funciona PROLOG? En Prolog NO existen instrucciones de En Prolog NO existen instrucciones de control. Su ejecución se basa en dos conceptos: la unificación y el backtracking. Gracias a la unificación, cada meta determina un subconjunto de cláusulas susceptibles de ser ejecutadas. Cada una de ellas se denomina punto de elección .
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Lenguajes de Programación 2 Backtracking Prolog selecciona el primer punto de elección y Prolog selecciona el primer punto de elección y sigue ejecutando el programa hasta determinar si la meta es verdadera o falsa. En caso de que un punto de elección sea falso entra en juego el backtracking . El backtracking consiste en deshacer todo lo ejecutado situando el programa en el mismo ejecutado situando el programa en el mismo estado en el que estaba justo antes de llegar al punto de elección. Entonces se toma el siguiente punto de elección que estaba pendiente y se repite de nuevo el proceso. ¿Cómo trabaja PROLOG? /* programa P */ p(a). /* #1 */ p(X) :- q(X), r(X). /* #2 */ p(X) :- u(X). /* #3 */ q(X) : s(X) /* #4 */ Ejercicio1 : 1. Carga el programa P en Prolog 2. Observa lo que pasa para la meta: ?- p(X). 3. Usar ; para desplegar todas las respuestas. Ejercicio2 : Para ilustrar como produce Prolog las respuestas para programas y metas, considera el siguiente programa.
Background image of page 2
Image of page 3
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 05/12/2010 for the course ITC TC2006 taught by Professor Conant during the Spring '10 term at ITESM.

Page1 / 10

21. PrologEjecucion - Lenguajes de Programacin Lenguajes de...

This preview shows document pages 1 - 3. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online