摘要： 抽象数据类型(abstract data type,以下简称ADT)和PROLOG都可作为数据类型的描述语言,本文旨在揭示二者间的关系。 本文给出ADT的形式定义及语义(执行策略),定义了一个证明系统用以表述执行策略,最后引入一个有效的从ADT到PROLOG的变换规则。
Abstract: Both abstract data type and PROLOG can be used as descriptive languages and the relationship between them. The formal definition of abstract data type is presented first, and then the execution strategies, and the valid transformation from abstract data type specified by algebraic axioms into PROLOG.
朱关铭,苗巍山. 抽象数据类型的PROLOG实现[J]. , 1988, 14(01): 16-.
Zhu Guanming. AUTOMATIC IMPLEMENTATION OF ABSTRACT DATA TYPE IN PROLOG[J]. , 1988, 14(01): 16-.