Seguimos buscando a Arshak. Ayudanos compartiendo!
Encuesta no oficial de docentes
Resultados de la encuesta no oficial de docentes
Probaste el SIGA Helper?

Donar $100 Donar $200 Donar $500 Donar mensualmente


Enviar respuesta 
 
Calificación:
  • 0 votos - 0 Media
  • 1
  • 2
  • 3
  • 4
  • 5
Buscar en el tema
[Consulta] [Paradigmas] Ejercicio Final 26-05-2011
Autor Mensaje
agustinp.metz Sin conexión
Empleado de Fotocopiadora
Sin estado :(
**

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 33
Agradecimientos dados: 20
Agradecimientos: 72 en 11 posts
Registro en: Apr 2011
Facebook Twitter
Mensaje: #1
[Consulta] [Paradigmas] Ejercicio Final 26-05-2011 Finales Paradigmas de Programación
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!
(Este mensaje fue modificado por última vez en: 28-02-2014 00:29 por agustinp.metz.)
28-01-2014 18:56
Envíale un email Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
EstebanLB Sin conexión
Empleado del buffet
Sin estado :(
*

-----
-----

Mensajes: 14
Agradecimientos dados: 5
Agradecimientos: 0 en 0 posts
Registro en: Aug 2010
Mensaje: #2
RE: [Consulta] [Paradigmas] Ejercicio Final 26-05-2011
(28-01-2014 18:56)agustinp.metz escribió:  [...]

Hola, el punto 3 alguien lo resolvio?
29-09-2015 22:11
Envíale un email Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
speedy10 Sin conexión
Campeon del cubo Rubik
En camino...
****

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 174
Agradecimientos dados: 73
Agradecimientos: 19 en 17 posts
Registro en: Jun 2008
Mensaje: #3
RE: [Consulta] [Paradigmas] Ejercicio Final 26-05-2011
(28-01-2014 18:56)agustinp.metz escribió:  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!

Creo que lo que hay que hacer es:
1) crear hechos para que las variables liguen con esos numeros.
2) agregarle predicado generador para hacerlo inversible.

Por ej:
numero(1).
numero(2).
numero(3).
numero(4).

esMenor(X,Y):- numero(X),numero(Y), X < Y.

No estoy seguro pero creo que es algo asi.
29-09-2015 22:58
Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
aaajfabio Sin conexión
Profesor del Modulo A
Retomando la carrera
*****

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 260
Agradecimientos dados: 18
Agradecimientos: 18 en 7 posts
Registro en: Sep 2009
Mensaje: #4
RE: [Consulta] [Paradigmas] Ejercicio Final 26-05-2011
Fijate si esto te funca, no tengo el prolog para probarlo.

numerosNaturales = [1..].

esMenor(X,Y):- member(X,numerosNaturales),
member(Y,numerosNaturales),
X<Y.
30-09-2015 10:19
Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
Buscar en el tema
Enviar respuesta 




Usuario(s) navegando en este tema: 1 invitado(s)