我怎样才能在 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.
我有以下 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.