PakCat catalogue record Programming in prolog using the ISO standard By Clocksin, William F. Bibliographic details ISBN8181282507 PublisherSpringer Publication placeNew York Publication year2003 Edition5th ed. Material typeBook Physical descriptionxiii, 299p. Additional authorsChristopher S. Mellish. SubjectsProgramming.