Matemática para programadores (02)

Introducción a {log} (setlog). Instalación de Prolog y {log}. Escribir una especificación en {log}. Ejecutar casos de pruebas o simulaciones en {log}. Decargar SWI-Prolog desde http://www.swi-prolog.org/ Descargar {log} desde http://people.dmi.unipr.it/gianfranco.rossi//setlog.Home.html