TIM RAJAN, An evaluation of APT: an Animated Program Tracer for novice Prolog programmers, Instructional Science, Vol. 20, No. 2/3, Special Issue: Teaching, Learning and Using Prolog (1991), pp.