Cursadas anteriores‎ > ‎Cursada 2017‎ > ‎Bitácora‎ > ‎

Clase 1 - Lógico - Conceptos básicos

publicado a la‎(s)‎ 3 may. 2017 8:58 por Nahuel Palumbo   [ actualizado el 3 may. 2017 8:58 ]
¡Dejamos atrás el paradigma funcional para adentrarnos en una nueva aventura dentro del paradigma lógico!

La programación lógica es una programación declarativa en la cual a partir de las verdades declaradas nos permite inferir otras verdades que se desprenden de ella.
Después estuvimos aplicando los conceptos teóricos con la práctica de Mumuki usando el lenguaje SWI Prolog. El cual todos deberían tener instalado para la clase que viene.

Básicamente vimos
  • Módulo 1: Predicados. Individuos. Consultas. Universo Cerrado.
  • Módulo 2Variables. Consultas existenciales.  Reglas simples y compuestas.
Queda de práctica en Mumuki:
Además dejamos el código con el que estuvimos trabajando en clase.
ċ
clase1.pl
(0k)
Nahuel Palumbo,
3 may. 2017 8:58
Comments