@book{2139,
	author = {Le, T. Van},
	title = {Prolog programming},
	publisher = {John Wiley & Sons},
	year = {1993}
}