Skip to content

Schmidt-mat/ejemplos-de-clase-prolog

 
 

Repository files navigation

ejemplos-de-clase-prolog

Clase 1

Intro a lógico:

  • Definir predicados mediante hechos y reglas
  • Consultas individuales y existenciales
  • Conjunción y disyunción
  • Propiedades de relaciones binarias

Práctica: Árbol genealógico

Clase 2

  • Inversibilidad
  • Negación
  • Aritmética

Práctica: Lechuzas Mafiosas

Clase 3

  • Repaso: Existencia y Negación
  • Para Todo

Práctica: TEG

Mapa del TEG

Clase 4

  • Tipos compuestos (parte 1): Functores
  • Polimorfismo

Práctica: Truco + TEG (objetivos)

Clase 5

  • Tipos compuestos (parte 2): Listas
  • Agregación

Práctica: Estudiantes + TEG (cálculo de ejércitos a incorporar + refactor limítrofes)

Clase 6

Práctica integradora: One Piece

Enunciado en formato PDF en este mismo repo.

Ejemplos de años anteriores

About

Código de clase - Paradigma Lógico

Resources

Stars

Watchers

Forks

Packages

No packages published

Languages

  • Prolog 100.0%