Practica FIA upiicsa variable en blanco

[pic 1][pic 2]

Instituto Politécnico Nacional

Unidad Interdisciplinaria de Informática y Ciencias Sociales

 y Administrativas

“UPIICSA”

“Fundamentos de I. A.”

Profesor: González Arroyo Lilia

Secuencia: 2NM60

Alumno: Burgos González Juan Carlos

Práctica 3

ÍNDICE

Objetivo        3

Variable en blanco (variable anónima)        3

Programa Variable en blanco        4

Corte (cut)        5

Programa Corte        5

Recursividad        7

Programa Recursividad (factorial)        7

Conclusiones        8

Bibliografía        8

Objetivo

El objetivo de esta práctica es comprender la forma en que trabaja y para que se emplean

• La recursividad
• La variable en blanco (o variable anónima)
• El corte (cut).

 Se investigará la teoría de cada uno de dichos puntos y se implementaran en programas en Prolog.

Variable en blanco (variable anónima)

La variable anónima, representada por el carácter subrayado ("_"). Es una especie de comodín que utilizaremos en aquellos lugares que debería aparecer una variable, pero no nos interesa darle un nombre concreto ya que no vamos a utilizarla posteriormente.

El ser anónima significa que es su única aparición y no se usa en otro contexto de la misma regla.  Todas las apariciones de _ se refieren a variables distintas. Se utiliza como las demás variables, pero nunca toma ningún valor.

Cuando una variable aparece en una cláusula sola, no se necesita inventar un nombre para ella, entonces se utiliza únicamente el signo '_'. Por ejemplo, consideremos la siguiente regla:

hijo(X) :- padre (X,Y).

La regla dice: para toda X, X tiene un hijo si X es el padre de alguna Y. Nosotros estamos definiendo la propiedad hijo el cual, no depende del nombre del hijo. Entonces, aquí hay un lugar en donde podemos usar una variable anónima. Si rescribimos la cláusula:

hijo(X) :- padre(X,_).

En el laboratorio de clases se diseñó un programa para entender bien el funcionamiento de esta variable(anónima); el programa consiste en conocer si un hombre se encuentra casado; ya que se utilizó la variable en blanco, solo se puede determinar si está casado, mas no con quien. Prolog nos arroja el resultado si es falso o verdadero.

Al programa también se le añadió algunos write para verificar con quien está casado y quien es su hijo (solo es para verificar, ya que el resultado en sí solo es FALSE O TRUE).

Se agrega la evidencia de la práctica:

Programa Variable en blanco

[pic 3]

[pic 4]

Corte (cut)

El predicado Corte es un predicado predefinido y no tiene argumentos. Se escribe con el signo de exclamación,  !, y se utiliza para impedir el backtracking. Como objetivo se satisface inmediatamente pero no puede cumplirse de nuevo. Su utilización puede llegar a ser muy importante para que el programa sea más eficiente, porque no malgastar  tiempo y memoria intentando satisfacer objetivos que podemos decir de antemano que nunca contribuirán a una solución.

...