Before revision: GOLOG is a high-level logic programming language , developed at the University of Toronto, for the speciﬁcation and execution of complex actions in dynamical domains.
After revision: GOLOG is a high-level logic programming language for the speciﬁcation and execution of complex actions in dynamical domains.