我是 prolog 的新手,想将所有查询保存在一个文件中,而不是手动输入。
我在 facts.pl
中有这些事实:
likes(wallace, cheese).
likes(grommit, cheese).
likes(wendolene, sheep).
friend(X, Y) :- \+(X = Y), likes(X, Z), likes(Y, Z).
看完this question的回答,
我想出了以下代码
queries.pl
:main :-
write(likes(wallace, cheese)),
halt.
:- initialization(['facts.pl']).
:- initialization(main).
这里我要检查是否
likes(wallace, cheese)
持有,我期望的是输出类似
yes
的内容或 no
但实际输出是likes(wallace, cheese)
我用谷歌搜索了很多并尝试过
X = likes(wallace, cheese), write(X).
X is likes(wallace, cheese), write(X).
X := likes(wallace, cheese), write(X).
但它们都不起作用。
这对你来说可能是一个非常简单的问题,但我不知道如何把事情做好。
顺便说一句,我正在使用 GNU Prolog 1.4.1
最佳答案
我认为您需要一种方法来“标记”每个查询:这里有一个简单的方法
query(likes(wallace, cheese)).
query(likes(mickey, whisky)).
% service predicates, check the library and use that if available
forall(X,Y) :- \+ (X, \+ Y).
writeln(T) :- write(T), nl.
main :-
forall(query(Q), (Q -> writeln(yes:Q) ; writeln(no:Q))),
halt.
关于prolog - 运行prolog脚本时如何使prolog打印查询结果,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/14384917/