selected publications academic article Modelling prolog control. Journal of Logic and Computation. 3:579-603. 1993 Modelling prolog control. Journal of Logic and Computation. 3:579-603. 1993