title: Prolog - how to check if a list includes certain elements?
body: <p>I am trying out Prolog for the first time and am having a little difficulty using lists.</p>
  
  <p>Say I have a list of elements.  I want to check that the list has the following elements:</p>
  
  <p>All of: A1, A2, A3, A4, A5</p>
  
  <p>One of: B1, B2, B3, B4</p>
  
  <p>Two of: C1, C2, C3, C4, C5, C6 </p>
  
  <p>For example, [A1, A2, B2, C1, A3, A4, C4, A5] meets the requirements and [A2, A1, C1, B1, A3, A4] does not.</p>
  
  <p>How would I got about writing something that returns Yes/True if a list meets the requirements and No/False otherwise?  Similarly, how about writing something that returns the missing values from the list needed to meet the requirements?</p>