标签: prolog iso-prolog
让b,c和d成为事实或规则
b
c
d
x(A) :- b(A);c(A);d(A)
VS
x(A) :- b(A) x(A) :- c(A) x(A) :- d(A)
规则x 的两个定义之间的语义是否存在差异?在我看来,我认为它们是相同的,因为x的每个规则都可以被解释为x的第一个规则或第二个或第三个规则。
x