W. F. Clocksin Chris Mellish Programming in Prolog Springer 1981