Update notes on some of the currently unsupported backend Prolog compilers