PROGRAMMING IN PROLOG USING THE ISO STAN - CLOCKSIN WILLIAM F (New York Springer, 2003)