@BOOK{ Book!D - 90002203,
AUTHOR = " Dale Miller, Gopalan Nadathur.",
TITLE = "Programming with higher-order logic /",
LIBRARY= "مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی",
SUBJECT = "Logic programming.,Prolog (Computer program language)",
URL = "/book/90002203/Programming-with-higherorder-logic/"}