How to write "a implies b or c" in Prolog

Question

How would I write the following in Prolog?

a -> b V c

In English that would be a implies that b or c (or both)

Answer 1

The clause

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

is not a Horn clause and hence cannot be represented in (pure) Prolog (see e.g Wikipedia). On the other hand (b ; c) => a is a Horn clause and can obviously be represented by two Prolog rules.