Магазин Prolog отвечает на файл

Question

Я работаю с логическим движком ALEPH в SWI-Prolog. Я хочу сохранить правила, которые ALEPH записывает и показывает их в консоли SWI-Prolog, но я не знаю, как это сделать! Результат образца изображен на рисунке,

[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). 

эти правила приведены после вызова процедуры индукции с этим команды:
- read_all (aleph_files). - побудить.

Теперь мне интересно, как я могу хранить эти правила в txt-файле автоматически.

Answer 1

Я нашел его. Это нужно только сказать:

write_rules(FileName).