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

摘要

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