Prolog功能不起作用

Question

所以我在 test.pl 文件中写了这个 Facts：

bottle(b1).
bottle(b2).
bottle(b3).
bottle(b4).

full(b1,100).
full(b2,750).
full(b3,500).
full(b4,250).
consume(X, Y). :-full(X,Z);Z>=Y.

单词的最后一行： 如果消耗的 Y 参数小于瓶子满的情况，它应该返回 true。但是，如果我查询这个函数，结果总是正确的。我是 Prolog 的新手，所以如果你能解释为什么会出现错误并指出我如何解决这个错误的正确方向。

Answer 1

一个杂散点。

% original
consume(X, Y). :-full(X,Z);Z>=Y.
% modified
consume(X, Y) :-full(X,Z);Z>=Y.

请注意，这只修复了“始终正确”的问题。