PakCat catalogue record Logic programming By Deville, Yves Bibliographic details PublisherAddison-Wesley Publishing Company Publication placeCalifornia