如何在Prolog中写出"a暗示b或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规则来表示.