@book{1324,
	title = {Logic programming :},
	publisher = {The MIT Press ;},
	year = {1999.},
	address = {London :}
}