Como instalar Prolog en Windows (Java + Eclipse + Amzi Prolog)

Busque en la página http://www.amzi.com/download/prolog_download_sites.htm o en ftp://ftp.amzi.com/misc/amzi_7-4-12_win.exe el instalador que incluye JAVA+ECLIPSE+AMZI_PROLOG.



Ejecute el archive amzi_7-4-12_win.exe















Double-Click en el Icono Amzi! Eclipse IDE del menu de windows.









Cierre la ventana Welcome to eclipse 3.1

Window / Open Perspectiva / Other / Prolog



Cree un proyecto

File / New / Project










Cree un programa

File / New / File

Ingrese el nombre del archivo cats.pro



Este sera el programa:

cat(tom).

cat(felix).

cat(silvestre).



Señalando cats.pro; ejecutelo como:

Run / Run As / Interpreted Single File

Y escriba en la consola: cat(felix).
?- cat(felix).



Escriba en la consola: cat(X). y después 4 espacios.
?- cat(X).



Escriba en la consola: listing.
?- listing.



Para salir del programa digite:
?- quit.