@book{643,
	author = {Clocksin, William F. and Mellish, C.S.},
	title = {Programming in prolog},
	publisher = {Springer},
	year = {2004},
	address = {New York},
	edition = {4th ed.}
}