TY - BOOK AU - Clocksin, W F AU - Mellish, C S TI - Programming in prolog U1 - 005.13 PY - 2004/// CY - New Delhi PB - Springer KW - Computer Science ER -