@book{38441,
	author = {Clocksin, W. F ;},
	title = {Programming in Prolog},
	publisher = { : Springer-Verlag, },
	year = {1984.},
	address = {Berlin ; New York},
	edition = {2nd ed.}
}