@book{827,
	author = {Clocksin, W. F. and Mellish, C. S.},
	title = {Programming in Prolog /},
	publisher = {Springer-Verlag,},
	year = {c1987.},
	address = {Berlin ;},
	edition = {3rd, rev., and extended ed.}
}