prolog - 如何在 Prolog 中写入 "a implies b or c"

Question

我将如何在 Prolog 中编写以下内容？

a -> b V c

在英语中，这将是 a implies that b or c (or both)

Answer 1

该条款

a => (b ; c)     % ';' means 'or'

不是 Horn 子句，因此 无法表示 在(纯)Prolog 中(参见例如 Wikipedia)。另一方面 (b ; c) => a是一个 Horn 子句，显然可以用两个 Prolog 规则来表示。