Une approche déclarative et non déterministe de la programmation logique par objets mutables