@BOOK{ Book!D - 90059125,
AUTHOR = " James H. Andrews",
TITLE = "Logic programming :",
LIBRARY= "مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی",
SUBJECT = "Logic programming,Programming languages (Electronic computers)-- Semantics,Proof theory",
URL = "/book/90059125/Logic-programming/"}