@book{22056,
	author = {LE TU VAN},
	title = {TECHNQUES OF PROLOG PROGRAMAING WITH IMPLMENTION OF LOGIC NEGATION AND QUANTIFED GOOLS / },
	publisher = {JOHN WILEY AND SONS. INC ، },
	year = {1993},
	address = {[S.N] : }
}