论文部分内容阅读
GOdel语言是一种新型逻辑程序设计语言。通过对其模块系统进行研究与实现，在实现过程中采用了将用户模块和系统模块分开存放、独立管理的策略，以便使这两部分模块可以被很好地扩充和管理；同时还设计了系统命令．以便及时了解模块运行情况。这样在环境中实现的GOdel语言模块系统不但减轻了GOdel推理机的运行负担，也方便了用户对模块的管理。