Licenciatura en Matemáticas Bloque I. Formalización del ...

ENUNCIADO DE PRÁCTICAS
En la Ilustración 15 podemos ver un esquema de la forma de trabajo en Prolog. Mediante un editor
de texto escribiremos nuestra Base de Conocimientos compuesta por distintos hechos y reglas que reflejan
nuestro conocimiento acerca del problema a formalizar. Para poder utilizarlo deberemos guardarlo en disco
(disco duro o disquete) 2 .
?- edit(Fichero).
Posteriormente deberemos abrir la ventana de SWI-Prolog y consultar el fichero deseado. Un
programa prolog se puede consultar mediante el predicado consult o encerrado entre corchetes:
?- consult(Fichero).
?- [Fichero].
Ejemplos: ?- consult(practica1).
?- consult(‘practica1.pl’).
?- [practica1].
?- consult(‘a:practica1.pl’).
?- [‘a:practica1.pl’].
Si el nombre del fichero tiene algún carácter distinto de letras o dígitos (espacios, dos puntos, barra,
...) debe ir entrecomillado con comillas simples, para que prolog lo reconozca como un átomo. Por defecto, la
extensión .pl no es necesario escribirla.
Una vez consultada la base de conocimientos correspondiente, estaremos en condiciones de hacer las
preguntas que queramos que resolver. Este ciclo se repetirá continuamente (editar-guardar-consultarpreguntar)
hasta que demos por finalizado nuestro trabajo.
Página 18
Consultar
Preguntas
Ilustración 15: Esquema de trabajo en Prolog
Base de Conocimientos:
• Hechos
• Reglas
Guardar
2 Guarda tus programas prolog en un disquete (unidad a:). Si utilizas un directorio temporal de trabajo en el
disco duro, al finalizar cada sesión guarda tus ficheros en el disquete y bórralos del disco duro.