Hola,
lo primero será instalarse alguna máquina virtual o compilador de Prolog, Lisp o Haskell.
En la distribución de linux mandrake 9.0 vienen dos paquetes: el Gprolog de GNU, es una máquina virtual que interpreta el código (aunque creo que también se puede compilar, no estoy seguro la estoy probando estos días) y el Hugs98, que es una máquina virtual para Haskell.
Este es un buen
manual on-line de gprolog para ir empezando.
Para Windows recomiendo también el
SICStus Prolog desarrollado por el Instituto Sueco de Ciencias de la Computación, creo que os lo podéis bajar (si no ponéos en contacto conmigo). Funciona muy parecido al gprolog, por lo que he podido comprobar.
Por supuesto, el
Visual Prolog (el ideal es la versión 5.2 que se vende, pero creo que nadie está dispuesto a pagar por él). Tienen una
versión freeware pero que te trae publicidad en el entorno de desarrollo (al menos la última vez que lo probé) y al final se hace pesado. He intentado conseguir el 5.1 y el 5.2 sin pagar, pero me ha sido imposible hasta ahora. No sé dónde pueden haber manuales, dadme tiempo y los encontraré. Si no, seguro que r3dsk1 ya los ha encontrado;).
Por lo visto están preparando el Visual Prolog 6.0, jeje.
Sobre Haskell para Windows, también está el Hugs98. Desde
aquí te lo puedes bajar. ¡Ojo! Haskell es un lenguaje de programación funcional, no confundir con programación lógica. Ambos forman parte de la programación declarativa.
Sobre Lisp, creo en Linux ya vienen algunos paquetes, pero no he probado nada. En Windows tampoco...
Ya iré poniendo manuales y comentarios.
Os animo a que participéis y que podamos aprender todos juntos.
Saludos.
