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

AIDED UNDERSTANDABLE TOOL ON PROLOG PROCEDURE

作　　者：刘育刚 吕光楣 

机构地区：[1]哈尔滨船舶工程学院,150001

出　　处：《小型微型计算机系统》1993年第10期49-53,共5页Journal of Chinese Computer Systems

摘　　要：用表意图形的方法研究了人工智能语言PROLOG的各种语法成份,找出一套有效的辅助理解工具,它能准确清晰地图解PROLOG程序,如目标和子句,谓词FAIL和回溯,以及截断谓词等内容。文中特别用两个例子详述了在PROLOG语言中最难理解的递归过程。最后,简述了矩形表示法,该工具的图册和配套的图形动画软件。Using a diagram method,after researching all elements of AI language PROLOG find a set of effective aided understandable tools. With these tools, PROLOG programs can be understood easily. This tools include Goals and Sub-clauses, Predicate FAIL, Backtracking, Predicate CUT and so on. In the paper, using two program examples describe PROLOG language recursive procedure in detail. Finally, introduce this tool's rectangle expression,a set of this tool's diagrams and computer show software on aided understandable tool.

关 键 词：PROLOG语言 辅助理解工具 

分 类 号：TP312[自动化与计算机技术—计算机软件与理论]