Modelling Prolog control (1991)