@book{9492,
	author = {W. F. Clocksin and C. S. Mellish},
	title = {Programming in Prolog Using the ISO Standard},
	publisher = {Springer},
	year = {2009},
	address = {New Delhi},
	edition = {5th}
}