CLARK,KEITH L, MCCABE,FRANK G MICRO PROLOG: PROGRAMMING IN LOGIC - 1 - ENGLEWOOD CLIFFS PH 1984 - 401 ISBN: NCST 22.8 Dewey Class. No.: 586