一种程序设计语言模块系统的研究与实现

Implementation of Module System of a programming language

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

GOdel is a new splendid logic programming language. It is one of the main results in the logic programming research area during the last three decades. This paper study and implements the module system of it. During implementing, we adopt the policies of saving and managing user modules and system modules separately, so that they can be well expended and managed. And we also design some commands about the GOdel module system for users to know the using status of the modules in time. So that it not only relieves the burden of GOdel consequence machine, but also is suited for users to manage the modules.