Prolog语言程序设计及其应用超星号:10475924