Update internal documentation of adapter files for supported backend Prolog compilers