Symbol: prolog2