Cátedra: Cabrera
Fecha: 1ra Oportunidad - (2do Cuatrimestre) 2011
Día: 04/1/2011
Hacer un predicado que genere una lista con los enteros desde N hasta 1.
![<tex> g(3,L) \longrightarrow L=[3,2,1] </tex> <tex> g(3,L) \longrightarrow L=[3,2,1] </tex>](lib/plugins/latex/images/c7e98e00fb095483d9ac4985fa40eca0c786bb80_0.png)
![<tex> g(0,L) \longrightarrow L=[] </tex> <tex> g(0,L) \longrightarrow L=[] </tex>](lib/plugins/latex/images/acd041c61166d8fada808b659d947fecca847d66_0.png)
Hacer un predicado que verifique si dos elementos son adyacentes en una lista.
![<tex> a(3,4,[3,5,4,3,1]) \longrightarrow false </tex> <tex> a(3,4,[3,5,4,3,1]) \longrightarrow false </tex>](lib/plugins/latex/images/21be46f3bc3849886636252deaff51f8b4e37106_0.png)
![<tex> a(3,4,[3,5,3,4,1]) \longrightarrow true </tex> <tex> a(3,4,[3,5,3,4,1]) \longrightarrow true </tex>](lib/plugins/latex/images/6984c07fea67091edd7126406981b6f1d753937f_0.png)
Hacer un predicado que reemplace un elemento por otro en una lista.
![<tex> r(2,3,[3,3,5,7,2,3,1,2,7],L) \longrightarrow L=[3,3,5,7,3,3,1,3,7] </tex> <tex> r(2,3,[3,3,5,7,2,3,1,2,7],L) \longrightarrow L=[3,3,5,7,3,3,1,3,7] </tex>](lib/plugins/latex/images/f8e0afc0cf4d0f983b32233f6272a8421b13fad0_0.png)
Hacer un predicado que busque el mínimo de una lista.
![<tex> m([3,4,1,6,7],X) \longrightarrow X=1 </tex> <tex> m([3,4,1,6,7],X) \longrightarrow X=1 </tex>](lib/plugins/latex/images/62eeb48df7c24f996a68fcb438d9712e8bfb43bf_0.png)
Definir dominios para manejar listas genéricas. Hacer un predicado que calcule la profundidad de una lista genérica.