An explanation of the formal definition of Prolog - Mansfield, A. J. (1989)