Trabajo Práctico sobre Verificación de Software
Enunciado del TP.
El intérprete Prolog SWI-Prolog.
El intérprete {log}.
El manual de usuario de {log}.
Presentación/Tutorial (en inglés) sobre {log}
El apunte de clase que explica cómo traducir de Z a {log} y cómo hacer simulaciones y demostraciones con {log}.
Una biblioteca para trabajar en {log} con listas representadas como conjuntos. Este archivo conviene ponerlo en el mismo directorio donde pongan {log}.
La especificación Z de la agenda de cumpleaños y la traducción a {log}.
Página oficial de {log}.
Dos ejemplos de TPs resueltos en 2019 que pueden tomar como referencia: Antonio Locascio y Mercedes Castro. Tener en cuenta que actualmente el enunciado del TP y {log} son diferentes que en 2019.