Update SWI-Prolog compatibility notes