书名: Prolog高级程序设计
ISBN: 7-5605-0249-0
作 者: (美)斯特林(L.Sterling),(美)夏皮罗(E.Shapiro)著
出版社: 西安交通大学出版社
出版日期: 1990