Symbol: prolog