====== Examen Parcial - 75.23. Inteligencia Artificial - 04/11/11 ======

**Cátedra:** Cabrera\\ 
**Fecha:** 1ra Oportunidad - (2do Cuatrimestre) 2011\\ 
**Día:** 04/1/2011

<note important>
Esta página está incompleta; podés ayudar completando el material.
</note>

===== Enunciado =====

==== Punto I ==== 
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(0,L) \longrightarrow L=[] </tex>

==== Punto II ==== 
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,3,4,1]) \longrightarrow true </tex>

==== Punto III ==== 
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>


==== Punto IV ==== 
Hacer un predicado que busque el mínimo de una lista.
  * <tex> m([3,4,1,6,7],X) \longrightarrow X=1 </tex>


==== Punto V ==== 
Definir dominios para manejar listas genéricas. Hacer un predicado que calcule la profundidad de una lista genérica.


===== Resolución =====

<!-- ==== Punto I ==== ... -->

<!-- ==== Punto II ==== ... -->

<!-- ==== Punto III ==== ... -->

<!-- ==== Punto VI ==== ... -->

<!-- ==== Punto V ==== ... -->

===== Discusión =====

<note warning>
Si ves algo que te parece incorrecto en la resolución y no te animás a cambiarlo, dejá tu comentario acá.
</note>