first attempt to answer i3a#163 ("How to wait for a domain to be finite?")
first attempt to answer i3a#163 ("How to wait for a domain to be finite?")

Example:

  ?- finite_domain(V) #<==> B, V in 0..5.
  %@ B = 1,
  %@ V in 0..5.

Possible usage: freeze/2 on B.

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