EFFICIENT EVALUATION OF CANDIDATE HYPOTHESES IN AL-LOG