TY - BOOK AU - Walker, Adrian TI - Knowledge systems and prolog. U1 - 006.33 K76 ER -