English GOLOG Cited by user ManuelRodriguez on 12 Jul 2020 GOLOG is a high-level logic programming language, developed at the University of Toronto, for the specification and execution of complex actions in dynamical domains.