title: Why no division in CLP(FD) in Prolog?
body: <p>I could not find division (/) symbol on this page of CLP(FD): <a href="http://www.swi-prolog.org/man/clpfd.html" rel="nofollow noreferrer">http://www.swi-prolog.org/man/clpfd.html</a></p>
  
  <p>Also this simple code give error: </p>
  
  <pre><code>:-use_module(library(clpfd)). 
  afn(A,B,C):-
      C #= B / A.
  
  
  ?- afn(23, 56, C).
  ERROR: Domain error: `clpfd_expression' expected, found `56/23'
  </code></pre>
  
  <p>Where is the problem and how can this be solved? Thanks. </p>