@book{6601,
	author = {Bowen, Kenneth A.},
	title = {Prolog and Expert Systems vol. 4 },
	publisher = {McGraw-Hill,},
	year = {1991.}
}