@book{28417,
	author = {Clocksin.W.F.},
	title = {Programming in prolog.},
	publisher = { Springer - Verlag},
	year = {1984},
	address = { New york}
}