[Cfp] [forwarded] [SICStus] Change in Knowledge Bases - Special Issue of Theory and Practice of Logic Programming journal on