Repasamos que son los predicados y clausulas.

También vimos que es backtracking.

Aprendimos a hacer cuentas Aritmética en Prolog.

Y empezamos a trabajar con el concepto de Inversibilidad, este es uno de los temas que mas peso tienen en este paradigma, no se duerman, en las próximas clases lo vamos a seguir profundizando.

Pueden hacer las guias 3,4 y 5 de mumuki (como mínimo).

Saludos.