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

- - - - - - - -