Prolog抽象机模拟系统——WAM-PLUS-SES |
| |
引用本文: | 张晨曦.Prolog抽象机模拟系统——WAM-PLUS-SES[J].小型微型计算机系统,1988(11). |
| |
作者姓名: | 张晨曦 |
| |
作者单位: | 国防科大计算机系 长沙 |
| |
摘 要: | warrern抽象机(简称WAM)是一个非常高效的Prolog执行模型。为了对基于WAM的编译系统和顺序推理机的研究和开发提供支持,我们设计并在VAx—11/780上实现了一个Prolog抽象机模拟系统WAM-PLUS-SES。本文论述了该系统的设计思想和构成,着重介绍了其交互式命令系统、存贮区划分、数据表示和数据结构等。
|
本文献已被 CNKI 等数据库收录! |
|