title: How to solve this puzzle in Prolog? (robbery)
body: <p>Three suspects are involved in a robbery, Alice, Bob, Carl. At least one of them are guilty.</p>
  
  <p>Here are the conditions:</p>
  
  <p>If A is guilty, he has exactly 1 accomplice.</p>
  
  <p>If B is guilty, he has exactly 2 accomplices.</p>
  
  <p>Who are guilty?</p>
  
  <p>How can I write a <code>Prolog</code> script to solve this problem which <code>guilty(X)</code> gives the gangs?</p>