Title: Hoare logic for GOLOG programs