TY - BOOK AU - "Bowen, A Kenneth" TI - Prolog and Expert Systems SN - 70067317 CY - A&A Publishers N1 - includes index and biblioraphy ER -