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.

But there are many alternative models of computation. A Prolog (logic programming) computer, in particular, does not seem to exhibit several of the differences singled out.