prolog - Prolog：在规则中分组 AND OR 语句

Question

如果我有一个逻辑语句：如果（A 或 C）和（B 或 D）然后 E。我如何将其变成序言规则？

可以使用括号将它们分组，例如：E :- (A;C),(B;D)。