title: Prolog arithmetic syntax
body: <p>How to define <code>a</code> as a integer/float number ?</p>
  
  <p>I want to find the results of <code>a+b+c+d=10</code> where <code>a,b,c,d</code> is integer and <code>&gt;=0</code>.</p>