TY - BOOK AU - Bramer,M.A. TI - Logic programming with Prolog SN - 1852339381 (pbk.) U1 - 005.133 BRA 22 PY - 2005/// CY - [London, New York] PB - Springer KW - Logic programming KW - Prolog (Computer program language) N1 - Includes index ER -