是否有一个内置谓词或一个简单的方法从prolog的知识数据库中删除已经被咨询过的源文件?我已经阅读了参考手册,但没有找到任何可以做到的事情.
file prolog swi-prolog
file ×1
prolog ×1
swi-prolog ×1