PROLOG系统的Pascal实现

本文介绍一种采用从顶向下、深度优先搜索策略的PROLOG系统。在文章中,将讨论设计考虑、系统组成以及用Pascal语言实现的方法。本PROLOG系统具有汉字处理功能。在本文最后,结合研制体会提出进一步提高效率的几点看法。