@BOOK{ Book!D - 91703122,
AUTHOR = "Van Le, T.",
TITLE = "Techniques of Prolog programming : with implementation of logical negation and quantified goals",
LIBRARY= "کتابخانه مرکزی دانشگاه صنعتی امیرکبیر",
SUBJECT = " Prolog )Computer program language(  , Negation )Logic(  ",
URL = "/book/91703122/Techniques-of-Prolog-programming-with-implementa/"}