LE TU VAN TECHNQUES OF PROLOG PROGRAMAING WITH IMPLMENTION OF LOGIC NEGATION AND QUANTIFED GOOLS / LE TU VAN - [S.N] : JOHN WILEY AND SONS. INC ، 1993 - 601 Subjects--Topical Terms: COMPUTERCOMPUTER - PROGRAMMERS Dewey Class. No.: 005.133 / L T