Symbol: prolog1