Prolog：分组和OR规则中的陈述

Question

如果我有一个逻辑陈述： 如果（A或C）和（B或D）则E. 我如何将其变成序言规则？

可以使用括号进行分组，例如：     E： - （A; C），（B; D）。