Logic: new reference to Prolog section