TD2 prolog