@book{1580,
	author = {Bratko, Ivan},
	title = {PROLOG: programing for artificial intelligence},
	publisher = {Pearson},
	year = {2008},
	address = {New Delhi},
	edition = {3rd ed.}
}