Update compatibility notes on the experimental support for Lean Prolog and Quintus Prolog