论文部分内容阅读
本文讨论逻辑程序设计中元级程序设计当前的一些研究成果。首先提出用Prolog 进行元级程序设计的各种困难,说明产生这些问题的原因在于:Prolog 在元级层次上表示目标程序的不充分性,并指出解决这些问题的方法,提出元级程序设计中的一系列研究问题。本文最后就建立改进的逻辑程序设计语言的必要性提出了几点意见。