Clase 02 - Negación. Pattern matching. Functores y listas. Recursividad. Inversibilidad. Polimorfismo.

publicado a la‎(s)‎ 15 ago. 2014 13:59 por Mariana Matos
Los temas de la clase fueron:

La clase que viene la vamos a hacer en el laboratorio, quienes tengan notebook con Prolog instalado para trabajar más tranquilos pueden llevarla.

Para hacer en casa:

Practicar pattern matching y unificación con la tablita de matcheo

Además pueden ejercitar los temas vistos hasta ahora con las guías de ejercicios (en particular el último de la guía 2 para afirmar las bases del paradigma: conjunción, disyunción, negación e inversibilidad)

Comments