ENHANCED: CLP(FD): Stronger exponentiation. Roberto Bagnara.
ENHANCED: CLP(FD): Stronger exponentiation. Roberto Bagnara.

   Example:

      %?- Y in 1..3, Z #= 2^Y.
      %@ Y in 1..3,
      %@ 2^Y#=Z,
      %@ Z in 2..8.

edechter/swipl-devel,koryonik/swipl-devel,mndrix/swipl-devel,koryonik/swipl-devel,edechter/swipl-devel,koryonik/swipl-devel,jn7163/swipl-devel,mndrix/swipl-devel,edechter/swipl-devel,jn7163/swipl-devel,jn7163/swipl-devel,edechter/swipl-devel,jn7163/swipl-devel,mndrix/swipl-devel,koryonik/swipl-devel,mndrix/swipl-devel,jn7163/swipl-devel,edechter/swipl-devel,koryonik/swipl-devel,mndrix/swipl-devel