Title: GOLOG as an agent-programming language