@book{1971,
	author = {Sterling, Leon and Shapiro, E.},
	title = {The art of prolog},
	publisher = {Mit Press},
	year = {1994},
	address = {London},
	edition = {2nd ed.}
}