我怎样才能在 Prolog 中打印出 Fact 的值?

How would I be able to print out the values of a Fact in Prolog?

我有以下 Prolog 规则,允许用户输入三个值并根据这些值断言一个事实:

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

我现在如何才能打印出 'ves' 事实的值? 我试过了,但是我收到了 X、Y 和 Z 的单例错误。我希望 'checkCap' 规则打印 'ves'.

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

也许这有帮助:

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