我如何能够在Prolog中打印出Fact的值？

Question

我有以下Prolog规则，允许用户输入三个值并从这些值中声明一个事实：

input(X,Y,Z) :- Fact = ves(X,Y,Z), assertz(Fact).

我现在如何能够打印出'ves'事实的价值？ 我试过这个，但是我收到了X，Y和Z的单例错误。我希望'checkCap'规则打印'ves'的值。

checkCap :- writeln(ves(X,Y,Z)).

Answer 1

也许这会有所帮助：

checkCap :-
    ves(X,Y,Z),          % look up dynamic database
    write(ves(X,Y,Z)),   % write out term
    nl.