TY - BOOK AU - Walker A Ed. TI - Knowledge systems and prolog U1 - D65,8(B)92E, M7 PY - 1987/// KW - Computer science ER -