A Study on Assisting in Prolog Comprehension by Using Stepwise Execution and Stepwise Comparison. - Yoshiyuki Deguchi; Manabu Nakamura; Setsuko Otsuki (ICCE, 2002)