Conlon, Tom Learning Micro-Prolog : a problem-solving approach / Conlon, Tom Dewey Class. No.: 005.133 C762L