@book{151418,
	author = {Nilson, Ulf},
	title = {Logic programming and prolog..},
	publisher = {John Wiley & Sons},
	year = {1990.0},
	address = {Chichester}
}