条件与';'分隔的一个规则之间的语义差异(或)和单独写下的规则

时间:2018-02-12 19:45:20

标签: prolog iso-prolog

bcd成为事实或规则

x(A) :- b(A);c(A);d(A)

VS

x(A) :- b(A)
x(A) :- c(A)
x(A) :- d(A)

规则x 的两个定义之间的语义是否存在差异?在我看来,我认为它们是相同的,因为x的每个规则都可以被解释为x的第一个规则或第二个或第三个规则。

0 个答案:

没有答案