K-stores: A spatial and epistemic concurrent constraint programming tool