naming: K ==> Z. "pmod" now follows the naming convention of other propagators.
naming: K ==> Z. "pmod" now follows the naming convention of other propagators.

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