@book{4424,
	author = {Clocksin W.f Mellish },
	title = {programming in Prelog},
	publisher = {Narosa publishing Delhi},
	year = {2010}
}