Este documento proporciona instrucciones para instalar Prolog en Windows usando Cygwin. Explica cómo descargar e instalar Cygwin y las dependencias necesarias como GCC y Make. Luego describe cómo descargar e instalar GNU Prolog y verificar la instalación creando y ejecutando un programa Hola Mundo. Finalmente, muestra cómo crear un archivo de base de conocimientos en Prolog y agregar algunos hechos y reglas como ejemplos.
1. Tecnológico de Estudios Superiores de Jocotitlán
Ingeniería en Sistemas Computacionales
Asignatura:
Programación Lógica y Funcional
Docente:
Juan Alberto Antonio Velázquez
Instalación de Prolog
Equipo 5
Integrantes:
Cesar Martinez Becerril
Zayra Citlali Aguirre Vázquez
Julio Cesar Agüero Gómez
Pablo Enrique Guadarrama Lara
Sergio Hernández
Grupo: IC-801
2. Instalación de Prolog
Prologessimplemente unacolecciónde hechosyreglasque nosotrospodemosconsultar,yprolog
se concentrara en describir hechos y relaciones sobre problemas en lugar de crear una serie de
pasos para resolver ese problema como se puede ver en otro lenguaje de programación. Estos
hechosyreglasse almacenaránenun archivollamadobase de datosobase de conocimientocomo
vas a ver. Finalmente te muestro como instalar todo bien.
Para Windows puede parecer que son muchos pasos, pero no lo son.
Vasa tenerque ira cygwin,mediantesu páginahttp://cygwin.com/install.html,ysolovasadar clic
en install cygwin, después vas a ir en donde dice setup-x86-64.exe.
Por supuesto va a decir si quieres ejecutar o guardar, haz clic en guardar.
Luego tendrás que darle acceso, haz clic en sí y te iras en siguiente.
Déjalo en instalación desde internet y da clic en siguiente.
3. Te sugiero que dejes el directorio por defecto, y puedes elegir si lo puedes instalar en tu usuario
donde lo estas ejecutando o en todos los usuarios. Esto por si solo quieres que un usuario tenga
acceso. Yo recomiendo dejarlo en ambos, pero ya es decisión tuya.
Después te pide una ruta para ubicar los archivos de instalación, puedes dejar la ruta
predeterminada o elegir otra, como tú quieras. Esto esta perfecto y damos siguiente.
4. Haz clic en direct connection, haz clic en siguiente.
Vera que comenzara a buscar los sitios de donde descargar la instalación.
Esto estáperfectamentebien, yaencontrólossitiosdisponibles ypuedeselegir en cualquier sitio.
La descargacomenzará.
5. Puedesverunaventanacomoesta,vasairadonde dice Devel odesarrolloyhacercliceneso,hagas
lo que hagas todo esto va a abrir lo que vamos a hacer es recorrer todas estas diferentes listas de
datos y vas a ver que aquí va a ser todas las cosas que vas a querer instalar y vas a querer hacer.
Asegurate de venir aquí y hacer clic en los archivos binarios para todos estos tipos diferentes:
GCC core
GCC fortran
G++ si quieres que sea c++
Dan Objetive C
Seleccionaras la versión de cada uno y los marcaras, generalmente muestra las mejores versiones
estables.
6. y todas estas diferentescosas también podríanseguiradelante e instalartodas ellas,sin embargo,
es necesario instalar Fortran y esto funcionara tanto para Prolog como para c y c++.
Tambiénasegúrate de seleccionarlaversiónde GNUDebugger.
Y otra dependencianecesariaesmake,asegúratede escogerlaversiónymarcarla,esoseriatodoy
das clic en siguiente.
7. Seguido de eso querrás venir aquí y dar siguiente, y cada vez que lo hagas va a decir si quieres
resolvertodaslasdependenciase instalar,hagaclicensiguiente ytomarauntiempoendescargar.
Notarasque comenzarala descargade losarchivosseleccionados,juntoconsuinstalación.
8. Luegode que todoeste instalado,verasunmensaje asíypuedesdecidirsi quieresponerunicono
entu escritoriooen el menúde iniciooloque sea,haga clic enfinalizar,todoloque este instalado
ahora tenemosque instalarProlog.
Vamosa ir a http://www.gprolog.org/#download yhayunpar de saboresdiferentesde prolog,vas
a ver loque quieresinstalar,vasaobtenerunade estasversionesde Windowsaquíytodoestova
a instalardirectamente paraustedy asegúrese de instalarlocorrectamente,aquívemosaCygwin.
Estose instalaráautomáticamente, asíque vasadarclicenesoyluegoeste pequeñomagose abrirá,
vas a dar clicen siguienteyluegovasa elegirlaubicaciónque acabode dejarpor defectoydar clic
en siguiente, aquí esta nuestra consola Prolog y nosotros vamos a obtenerlohaciendo clic en el
pequeño icono que lo lanzara para nosotros.
9. Pedirá una ubicación, la dejamos como esta predeterminada para encontrarla más rápido.
Dejamosel nombre del folderde instalaciónydamosennext.
Dejamos marcado todo, también si quieres el icono en el escritorio es elección tuya, solo las
dependencias de prolog para que sepamos que son archivos de Prolog.
10. Vemos que nos indicara un mensaje de las dependencias a instalar y damos clic en Install.
La instalación no demora mucho, todo depende de tu ordenador, pero generalmente es rápida.
Una vez que instalo Prolog podemos ver una ventana de Prolog a manera de terminal. Con eso ya
tendremos instalado Prolog.
11. Y estofuncionaraexactamente de lamismamaneraque funcionaen Macintosh uOSX.
O lo que seaque puedashaceres ir a la carpetadonde tienescygwin64home yluegocrearasuna
carpeta con tu usuario y soloverificarque c++ y todo lodemás tambiéneste instalado,porquepor
supuesto,quieroasegurarmede que cubrimoscomohacerlo,puedescrearunholajusto asíyluego
escribe todo lo que ves aquí y guárdalo en formato cpp.
#include<iostream>
usingstd::cout;
intmain(){
cout<<” HolaMundon”;
return0;
}
Abres la terminal de Cygwin para poder compilar correctamente el programa. Veras todas las
instrucciones para verificar si instalo correctamente. Como vez todo está correcto. Eso es todo lo
que necesitas saber sobre la instalación en Windows
12. Usando Prolog
Así que vamosa hacer un poco de códigopara echar un vistazo.
Todo lo que haremos es crear un archivo de base de datos o base de conocimiento como antes le
nombramos.
El archivo tiene que estar en formato pl,por ejemplo, db.pl ya que es muy importante. Ahí se van
almacenar los hechos y reglas.
Primero te voy a mostrar como salir y entrar a tu terminal de Prolog.
Escribesen la terminal de GNU Prologconsole losiguiente:halt.(tambiénvaescritoel puntoen la
terminal). Eso es para salir de ella. En Windows te cerrara la ventana así que no te recomiendo
usarla mucho, en caso de que lo necesites.
Bien,untrucofácil paradecirle aprologdonde estanuestroarchivode conocimientoescrearloque
cualquierlugar.Yo recomiendo que sea un directorio donde vayas a crear varios archivos prolog.
Lo creas con el bloc de notas o cualquier editor de texto y lo guardas en formato pl(db.pl) y das
dobles clic sobre él, generalmente abre con la consola, pero si no sabe te sugiero que busques el
programa para abrirlo.Estas dependenciasyase hicieronenel apartadode instalación, asídebería
ir bien.
Una vezabiertoenlaconsolamostraraalgo así, mostrandoel directoriode lacarpetadonde estáel
archivo.
Podemos cargar el archivo, entre corchetes solo escribimos su nombre y un punto y damos enter
([db.pl].).
13. Para consultarel archivosoloescribimoslapalabrareservadaconsultyentre paréntesisel nombre
del archivo con su formato entre comillas simples.
Para saber si esta cargado el archivo solo hay que ingresar la palabra reservada listing.
Algo a considerar es que siempre las instrucciones terminan en punto para que prolog sepa que
hacer.
Estos comandos en Prolog se llaman predicados.
Algo tan sencillo como el hola mundo en prolog se puede escribir con el predicado write, entre
paréntesis y entre comillas el mensaje.
Ahora vamos a cargar algunas funciones dentro de nuestra base de conocimiento.
Aquí estanuestraoración,Clara ama a juan y el segundo juan ama a clara solo si clara ama a juan.
Vemos que nuestros átomos son Juan y clara.
Finalmentequedacargarloyverificarloenprologcomose muestraenlasiguiente imagen.
14. Para usar las variablessolotenemosque escribirlascon mayúscula,comosabemosclaray juanson
nuestro átomo. Solo hay que escribir la función y dentro de los paréntesis una variable con
mayúscula. (ama(clara,X).).
Bienese hasidounpequeñotutorial de instalaciónyunapequeñaintroducciónparaadentrarnosa
Prolog y el mundo de la Lógica Proposicional.