in reification, delay until defined. witness: ?- #\ 1 #\= 1 mod X mod 1.
in reification, delay until defined. witness: ?- #\ 1 #\= 1 mod X mod 1.

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