W. F. Clocksin

• Programming in Prolog