| MLC—PROLOG的解释模型及其实现 |
| |
| 引用本文： | 李成付,陈世鸿.MLC—PROLOG的解释模型及其实现[J].五邑大学学报(社会科学版),1988(2). |
| |
| 作者姓名： | 李成付 陈世鸿 |
| |
| 作者单位： | 武汉大学
(李成付)，武汉大学(陈世鸿) |
| |
| 摘 要： | 本文给出了描述PROLOG解释器的一个模型。在这一模型里,PROLOG程序的执行和AND/OR树的探索相对应,由AND/OR进程组成。解释器用两类进程的相互作用来描述。根据这一模型,详细说明了作者在IBM—PC机中实现的一个MLC—PROLOC解释系统,本文介绍了它的语义、语法、实现机制及其应用价值。
|
| 关 键 词： | 模式匹配 进程 解释器 |
A Interpreter Model for MLG-PROLOG and Its Realization |
| |
| Li Chengfu Chen Shihuong.A Interpreter Model for MLG-PROLOG and Its Realization[J].Journal of Wuyi University(Social Sciences Edition),1988(2). |
| |
| Authors: | Li Chengfu Chen Shihuong |
| |
| Institution: | Li Chengfu Chen Shihuong |
| |
| Abstract: | This paper discusses a model that describes PROLOG interpreter. The execution of PROLOG program corresponds to the search into AND/OR trees in this model and is made up of the AND/OR procedure. The interpreter is presented by the interaction of two types of procedure. By this model the authors discuss in detail the MLC-PROLOG interpreter system which is realized in IBM-PC computer and introduce its semantics syntax and processing method. |
| |
| Keywords: | pattern Match Procedure Interpreter |
| 本文献已被 CNKI 等数据库收录！ |
