GOLOG是一种高级逻辑编程语言，旨在对动态领域中的复杂动作进行规范和执行。它基于情境演算，这是一种用于推理动作和变化的一阶逻辑形式体系。GOLOG由多伦多大学开发，其解释器能够直接维护对建模世界的表征，使应用程序能够在承诺特定行动方案之前，推理前提条件、效果以及潜在的动作序列。
与诸如C等传统过程式语言不同（它们按预定的线性顺序执行语句），GOLOG基于抽象模型运行。源代码定义了问题，而解释器生成动作序列，因此它是一种第五代编程语言。这种方法特别适合机器人等复杂领域，其中求解器必须根据当前状态动态确定下一个动作。
历史背景
情境演算是GOLOG的基础形式体系，最早由人工智能先驱John McCarthy于1963年提出。这一逻辑框架提供了一种表示动态世界、动作及其效果的方式，为后来能够推理动作和变化的编程语言奠定了基础。GOLOG由此传统发展而来，将情境演算整合到实用的编程范式中。
语言描述
GOLOG解释器根据用户提供的前提条件、动作效果和初始状态的公理，自动维护对所建模动态世界的直接表征。这使应用程序能够推理世界状态，并在专注于特定动作之前考虑不同潜在动作的影响。该语言定义了代理允许操作的状态空间，并通过状态空间搜索找到路径。为加速此过程，GOLOG程序通常实现为分层任务网络。
GOLOG是一种逻辑编程语言，区别于传统编程语言。在像C这样的过程式语言中，程序员创建包含语句的子程序，计算机按线性方式执行。相比之下，GOLOG基于抽象模型工作，解释器生成动作序列。源代码定义了问题，而求解器负责找到下一个动作，从而便于管理来自机器人及其他领域的复杂问题。
扩展与方言
在原始GOLOG之外，已开发出多种扩展。ConGOLOG提供了并发和中断机制，支持更复杂的代理行为。其他方言如IndiGOLOG和Readylog专为实时应用而创建，其中传感器读数会动态更新。这些扩展扩大了GOLOG在动态、交互式环境中的适用范围。
应用
GOLOG已被用于建模自主代理的行为，结合基于逻辑的动作形式体系来描述环境，以及使用典型编程语言特性构建复杂动作的结构。它应用于机器人和工业过程的高层控制、虚拟代理和离散事件仿真。此外，GOLOG还可用于开发信念-愿望-意图（BDI）风格的代理系统，这类系统在多代理系统和认知机器人领域很常见。
规划与脚本
与规划领域定义语言（PDDL）相比，GOLOG支持规划和脚本两种方式。规划涉及在世界模型中定义目标状态，求解器将逻辑系统带入该状态。行为脚本则实现响应式程序，这些程序作为计算机程序运行。例如，在故事创作中，用户定义情节结尾应满足的条件。求解器将可能动作应用于当前情境，直到达到目标状态，其中目标状态的规范和可能动作在逻辑世界模型中实现。或者，硬连线响应式行为无需求解器；动作序列以脚本语言提供，而用Prolog编写的GOLOG解释器执行脚本，以将故事带入目标状态。