在Prolog中保存断言的事实

Question

在prolog中，如果我断言某些事实，例如：

assert(boy(john4)).
assert(boy(john3)).
assert(boy(john2)).
assert(boy(john1)).

如何在文件中保存此事实？

Answer 1

如果您使用的是SWI-Prolog，那么一个替代方案是persistency.pl库。您需要声明持久化谓词及其参数类型。然后，您可以使用assert_mypred和retract_mypred。更多信息：http://www.swi-prolog.org/pldoc/doc/swi/library/persistency.pl