Турбо Пролог «Сохранить» аналог в SWI-Prolog

Question

Есть ли аналог SWI для турбо сохранить функции, которая сохраняет в файл факты, ранее загруженный с помощью консультируйтесь, а затем добавляются через утверждает?

Answer 1

Я не нашел никаких сохраненных функций в руководстве. Может быть попробовать следующую замену:

% Save whole DB into file 
save(FileName) :- 
    open(FileName, update, F), 
    with_output_to(S, listing), 
    close(F). 

Или еще короче:

save(FileName) :- 
    tell(FileName), listing, told.