title: How to write "a implies b or c" in Prolog
body: <p>How would I write the following in Prolog?</p>
  
  <pre><code>a -&gt; b V c
  </code></pre>
  
  <p>In English that would be <code>a implies that b or c (or both)</code></p>