TY - BOOK AU - LLOYD,J.W TI - FOUNDATIONS OF LOGIC PROGRAMMING SN - NCST U1 - 901 PY - 1987/// CY - BERLIN PB - SV N1 - BR-298 ER -