Symbol: doProlog