TY - BOOK AU - Hehner, Eric C.R.. TI - The logic programming / SN - 0-87692-701-0 U1 - Bv PY - 1971/// CY - New Delhi : PB - Prentice Hall of India , KW - Computer ER -