28-01-2014, 18:56
Hola, como va?
tengo una consulta sobre el siguiente ejercicio de ese final:
Punto 2
En un programa Prolog se escribió el siguiente predicado:
esMenor(X,Y):-X<Y.
a. ¿Qué hace?
b. Este predicado permite que dado un número como segundo argumento, se obtengan todos los números naturales menores que él. (V o F Justificar)
c. Si la afirmación anterior es verdadera, mostrar un ejemplo de consulta con 10 posibles respuestas. En caso contrario, modificar el predicado para que la afirmarción del punto anterior sea correcta.
b) Es falso. La comparación es uno de los límites a la inversibilidad. Para que pueda realizarse, ambas variables deben estar ligadas. En el caso propuesto, sólo estaría ligada la "Y".
c) ??
Acá es donde surge mi duda...como creo un predicado generador para un número natural que me permita hacer inversible el predicado, ya que son infinitos los numeros naturales.
No se me ocurre como hacer para resolverlo..
Gracias de antemano!
tengo una consulta sobre el siguiente ejercicio de ese final:
Punto 2
En un programa Prolog se escribió el siguiente predicado:
esMenor(X,Y):-X<Y.
a. ¿Qué hace?
b. Este predicado permite que dado un número como segundo argumento, se obtengan todos los números naturales menores que él. (V o F Justificar)
c. Si la afirmación anterior es verdadera, mostrar un ejemplo de consulta con 10 posibles respuestas. En caso contrario, modificar el predicado para que la afirmarción del punto anterior sea correcta.
b) Es falso. La comparación es uno de los límites a la inversibilidad. Para que pueda realizarse, ambas variables deben estar ligadas. En el caso propuesto, sólo estaría ligada la "Y".
c) ??
Acá es donde surge mi duda...como creo un predicado generador para un número natural que me permita hacer inversible el predicado, ya que son infinitos los numeros naturales.
No se me ocurre como hacer para resolverlo..
Gracias de antemano!