Added log file printing, corrected no antecedent evaluation