逻辑程序设计语言范型Prolog语言控制抽象

- - - 逻辑程序设计语言范型Prolog语言控制抽象 - - -