@book{11617,
	author = {Hogger, Christopher John},
	title = {Essentials of Logic programming },
	publisher = {Claredon Press},
	year = {1990},
	address = {Nairobi}
}