Comment enregistrer un terme dans un fichier dans Prolog?

Question

Comment sauvegarder les termes nécessaires au fichier? Par exemple,

save_to_file(File) :- 
    tell(File), 
    listing,   
    told. 

enregistre tous les termes utilisateur de fichier File. Mais comment puis-je sauvegarder uniquement les termes nécessaires au fichier?

Answer 1

Votre définition de safe_to_file/1 est plus sûre en utilisant open/3 et close/1. Dans le cas contraire, des interruptions ou des erreurs se produisant pendant l'affichage/0 laisseraient le flux ouvert, permettant à d'autres parties d'écrire accidentellement dans le même fichier. Ainsi,

save_to_file(File) :- 
    open(File,write,Stream), 
    with_output_to(Stream, listing), 
    close(Stream). 

est plus sûr. Maintenant, seule la liste peut écrire dans ce fichier. with_output_to/2 est spécifique à SWI, YAP.

Pour revenir à votre question, dans la plupart des situations, portray_clause (Stream, Term) sera ce que vous voulez réellement.