@book{2138,
	author = {Clocksin, William F.},
	title = {Programming in prolog},
	publisher = {Springer Verlag},
	year = {1987},
	edition = {3a ed.}
}