PROGRAMMING IN PROLOG - CLOCKSIN WF AND MELLISH CS (NAROSA, 2001)