Add list of backend Prolog compilers supported by the new `ports` tool