TY - BOOK AU - Walker, A TI - Knowledge systems and prolog SN - 0-201-09044-9 U1 - 006.33 PY - 1987/// CY - New York PB - Addison Weeley KW - Computer EngineeringInformation Technology ER -