Comments on PROLOG