Objects with State in Contextual Logic Programming