Prolog 序言：规则中的分组和或语句

如果我有一个逻辑陈述： 如果A或C和B或D，那么E。 如何将其转换为序言规则

可以使用括号将它们分组，例如：

---

E:-A；C、 B；D.

试着输入一些代码。你能吗？@Wedapasi:这里没有必要。对Shawn来说：你的解释是正确的。@Shawn，你在处理Prolog中的析取，是的，它是正确的。你可以看看这个基本教程：希望它能帮助你。