TY - BOOK AU - Naish Lee TI - Negation and control in prolog T2 - Lecture notes in computer science; 238 U1 - D65,8(B)92Pr, M6 PY - 1986/// CY - Berlin PB - Springer Verlag KW - Computer programming ER -