Este documento describe comandos para manejar archivos en Prolog como tell/1, told/1, see/1 y seen/1 para abrir y cerrar archivos. También describe comandos como findall/3 para buscar en la base de datos, assert/1 y asserta/1 para agregar cláusulas, y retract/1 y retract_all/1 para eliminar cláusulas. Luego muestra un ejemplo de uso de tell/1 y told/1 para escribir en un archivo y un ejercicio propuesto para modificar un programa para permitir borrar países de la base de datos.

1. Prolog Manejo de Archivos - Ejercicios Leonardo Bernal Zamora

2. La Recursividad

4. Comandos para el manejo de ficheros o archivos listing/1 Muestra todas las cláusulas que conforman el programa en memoria BC. tell/1 El objetivo tell(X) abre el fichero X si no estaba abierto, y define el fichero X como canal de salida activo. Si X no está instanciada se produce un error. La primera vez que se utiliza tell sobre un fichero no existente, se crea un fichero con ese nombre. Si se utiliza tell con un fichero ya existente, el contenido de dicho fichero se destruye.

5. told/1 Este objetivo cierra el canal de salida activo, haciendo que se escriba una marca de fin-de-fichero al final del fichero. El nuevo canal de salida activo pasa a ser la pantalla del ordenador del usuario. see/1 El objetivo see(X) abre el fichero X, si todavía no está abierto, y define al canal de entrada activo de tal forma que su origen sea el fichero X. Si X no está instanciada, o su nombre corresponde a un fichero que no existe, se produce un error. seen/1 Este objetivo cierra el canal de entrada activo, asignando el nuevo canal de entrada activo al teclado del ordenador del usuario.

6. findall(+Template, +Goal, -Bag) Busca en la base de datos todas las ocurrencias de término (primer argumento) que satisfacen el objetivo (incluido en el segundo argumento) y devuelve todas las instancias en una lista (tercer argumento) desordenada. assert/1 Añade cláusulas al final del conjunto de cláusulas en la BD que tienen el mismo nombre de predicado. asserta/1 Añade cláusula al principio del conjunto de cláusulas que tienen el mismo nombre de predicado.

7. retract/1 Borra una cláusula de la BD. Haciendo backtrackingpodremos borrar todas las cláusulas y con cada una de ellas efectuar las operaciones que nos interesen. retract_all/1 Borra todas las cláusulas de la BD con el nombre y aridad que aparece en el argumento.

8. Aplicación BC Que muestran los siguientes comandos

9. ?- tell('Archivo'), write('universidad'), nl, write('de'),nl,write('boyaca.'), nl, told.

10. Que sucede con:

12. Revisa el programa y explica cómo funciona. Modifícalo, de manera que al ingresar delete, el programa borre un país de la base de datos, tal como indica el siguiente diálogo: País? chile. La capital de chile es santiago País? delete. Qué país deseas borrar? chile. Se borró chile. País? chile. No conozco la capital de ese país. ...