title: Prolog: efficiency
body: <p>Is there a way in prolog to make the following shorter: </p>
  
  <pre><code>rule(prop, [1/2,2/2]).
  rule(prop, [1/3,2/3,3/3]).
  rule(prop, [1/4,2/4,3/4,4/4]).
  rule(prop, [1/5,2/5,3/5,4/5,5/5]).
  rule(prop, [1/6,2/6,3/6,4/6,5/6,6/6]).
  rule(prop, [1/7,2/7,3/7,4/7,5/7,6/7,7/7]).
  </code></pre>