Update back-end Prolog compiler compatibility notes