标签： prolog swi-prolog unification
假设我的知识库包含一个事实： 事实（fact1）。
如果我知道提交查询事实（fact1）。
39 ?- fact(fact1). 40 ?-
它没有说什么，这相当于真实。 B / c如果错了，Prolog回答错误：
38 ?- fact(foobar). false.
那么我怎样才能改变它，所以我得到了一个真实的。 ？