PakCat catalogue record Logic and prolog NULL By NULL Bibliographic details PublisherBlank Material typeBook Physical descriptionviii, 392p SubjectsNULL