Some fixes for Prolog unification notes.