GOLOG语言及其应用研究

摘要

该文介绍了一种新型逻辑程序设计语言－－ＧＯＬＯＧ语言。在已知对象初始状态及相关的规划动作的效果公理的条件下，ＧＯＬＯＧ语言解释器自动维持一个对模型化的动态对象的显式解释，从而使得程序能够推断出对象的后继状态。ＧＯＬＯＧ语言适用于运动机器人的高级控制、机械设施的控制、智能的软件ａｇｅｎｔ的编程、离散事件系统的模型和仿真等等。