实践中的PROLOG

近来,作为解题系统大有作为的工具,PROLOG正越来越风行。PROLOG也可以看作是对某些类型的应用问题的实际可用的程序设计语言。为此,需要其工作实现,以满足程序执行的效率,语言功能的可扩充性,规范程序设计(如模块化设计)工具的引进,程序开发环境的有效利用等方面的要求,文中介绍的MPROLOG系统即可看成是实现大多数这些要求的一个尝试。