@book{40407,
	author = {30},
	title = {Programming in Prolog /}
}