Symbol: prolog0