PROLOG运行机制的辅助理解工具

摘要

用表意图形的方法研究了人工智能语言ＰＲＯＬＯＧ的各种语法成份，找出一套有效的辅助理解工具，它能准确清晰地图解ＰＲＯＬＯＧ程序，如目标和子句，谓词ＦＡＩＬ和回溯，以及截断谓词等内容。文中特别用两个例子详述了在ＰＲＯＬＯＧ语言中最难理解的递归过程。最后，简述了矩形表示法，该工具的图册和配套的图形动画软件。