prolog - 在 Prolog 中保存断言的事实

Question

在序言中，如果我断言一些事实，例如：

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

我怎样才能将这个事实保存在文件中？

Answer 1

如果您使用的是 SWI-Prolog，那么另一种选择是persistency.pl库。您需要声明持久谓词及其参数类型。然后你可以使用assert_mypredand retract_mypred。更多信息：http ://www.swi-prolog.org/pldoc/doc/swi/library/persistency.pl