Clocksin and C.S.Mellish. Programming in Prolog (1984)