|
|||||
|
|
| 抽象数据类型的PROLOG实现 | |
| 引用本文： | 朱关铭,苗巍山.抽象数据类型的PROLOG实现[J].计算机工程,1988(1). |
| 作者姓名： | 朱关铭 苗巍山 |
| 作者单位： | 上海科技大学 (朱关铭)，上海科技大学(苗巍山) |
| 摘 要： | 抽象数据类型(abstract data type,以下简称ADT)和PROLOG都可作为数据类型的描述语言,本文旨在揭示二者间的关系。 本文给出ADT的形式定义及语义(执行策略),定义了一个证明系统用以表述执行策略,最后引入一个有效的从ADT到PROLOG的变换规则。 |
| 本文献已被 CNKI 等数据库收录！ | |