prova2

/* prova4.pro */
/* gestione file su disco */
/* salva file vuoto su disco con nome assegnato*/

domains
predicates
finestra
salva
fine
goal finestra,salva,fine.

clauses
 finestra:-
 makewindow(1,7,1,"",1,1,20,70),
 write("attivata finestra..."),
 sound(300,600).
 salva:-
 save("provare.txt").
 fine:-
 write("fine prova").

(osservando la cartella su disco si nota che compare un file provare.txt 0 KB)

/* prova5.pro */
/* gestione file su disco */
/* verifica se file esiste su disco */
/* se file non esiste fine */
/* se file esiste prosegue programma */
/* carica file tipo testo da disco */
/* visualizza in finestra */

domains
predicates
cerca
mostra
elabora
risposta
fine
goal elabora,cerca,risposta,mostra,fine.

clauses
 elabora:-
 makewindow(1,7,1,"",1,1,20,70),
 write("attivata finestra..."),
 sound(300,600).
 cerca:-
 existfile("testo3.txt").
 risposta:-
 write("file trovato o non trovato.."),
 sound(100,600).
 mostra:-
 file_str("testo3.txt",TXT),
 display(TXT),
 clearwindow,!.
 fine:-
 write("fine prova").