The declarative imperative: experiences and conjectures in distributed logic