magasin Prolog réponses à un fichier

Question

Je travaille avec le moteur de raisonnement ALEPH dans SWI-Prolog. Je veux enregistrer les règles qu'ALEPH infère et les montre dans la console SWI-Prolog, mais je ne sais pas comment je peux le faire! Le résultat de l'échantillon est représenté dans l'image ci-dessous,

[Rule 134] [Pos cover = 1 Neg cover = 0] 
likes(u9,soccer). 
[Rule 135] [Pos cover = 3 Neg cover = 0] 
friends(A,u2) :- age(A,adult). 
[Rule 136] [Pos cover = 2 Neg cover = 0] 
friends(A,u5) :- age(A,adult). 
[Rule 137] [Pos cover = 1 Neg cover = 0] 
trusts(u1,u5). 
[Rule 138] [Pos cover = 1 Neg cover = 0] 
trusts(u5,u7). 

ces règles sont présentées après l'appel de la procédure d'induction avec cette commande:
- read_all (aleph_files). - induire.

Maintenant, je me demande comment je peux stocker ces règles dans un fichier txt automatiquement.

Answer 1

Je l'ai trouvé. Il est seulement nécessaire de dire:

write_rules(FileName).