First,an algebraic specification language ASL based on abstract datatype is introdIiced,then a forn1aI transformation metliod of specification written in ASL intoPROLOG is introduced.

• 首先给出了一种基于抽象数据类型的代数规格说明语言ASL：然后介绍了由ASL描述的规格说明到PROLOG转换 的形式化方法；