protologic