У вашего броузера проблема в совместимости с HTML5
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