Update Quintus Prolog compatibility notes