file - Swi Prolog，卸载源文件

Question

是否有内置谓词或简单的方法可以从 prolog 的知识数据库中删除已经引用过的源文件？我已经阅读了引用手册，但没有找到任何可以做到这一点的东西。

Answer 1

你可以用这些使用 source_file/1 的程序来做到这一点。和 source_file/2 :

unload_last_source:-
  findall(Source, source_file(Source), LSource),
  reverse(LSource, [Source|_]),
  unload_source(Source).

unload_source(Source):-
  ground(Source),
  source_file(Pred, Source),
  functor(Pred, Functor, Arity),
  abolish(Functor/Arity),
  fail.
unload_source(_).

unload_source/1取消输入源文件名定义的所有谓词。请注意，它必须是绝对路径。
unload_last_source/0将检索上次查阅的文件名并卸载它。