TY - BOOK AU - Clocksin W F AU - Mellish C S TI - Programming in prolog U1 - D65,8(B)92Pr, M1 PY - 1981/// CY - Berlin PB - Springer-Verlag KW - Computer science ER -