Prolog 存在函数

Question

我需要在序言中写下这些一阶语句。它们应该怎么写？ red(X) 应该返回 false，green(X) 应该返回 false，green(X) 或 red(X) 应该返回 true

我已经有了这个代码：

% Assigning Facts

apple(a).
apple(b).
orange(c).
pear(d).
carrot(e).
onion(f).
pepper(g).
% Assigning Rules

red(X) :- apple(X).
green(X) :- apple(X).

fruit(X) :- apple(X).
fruit(X) :- orange(X).
fruit(X) :- pear(X).

vegetable(X) :- carrot(X).
vegetable(X) :- pepper(X).

tasty(X) :- fruit(X).
tasty(X) :- carrot(X).
tasty(X) :- not(onion(X)).

vegetable(X) :- not(tasty(X)).

Answer 1

你已经知道的 Prolog 中的 'exists' 方法是什么？

怎么样：

red(X).               % ∃x Red(x)
green(X).             % ∃x Green(x)
(red(X) ; green(X)).  % ∃x Red(x) v Green(x)

Prolog 将枚举满足每个调用的X 或fail trying 的绑定。如果您只是想测试它们的存在而不是收集绑定，则可以忽略该变量并在第一个绑定之后剪切，如下所示：

red(_), !.

您还问过如何测试某事物是完全是红色还是绿色，而不是两者兼而有之。试试这个：

((\+ red(X), green(X)) ; (red(X), \+ green(X)).  % ∃x Red(x) ⊻ Green(x)

其中⊻ 表示exclusive-or (XOR)。