O DiscoTOC é um componente de tema, não um plugin. Ele é instalado seguindo Como instalar um Tema ou Componente de Tema? e está definitivamente disponível para você, tente.
Ah, entendo.
Acho que tentar obter uma instância funcional do repl.it para Prolog, mesmo que alimentada por SWI-Prolog compilado para WASM, pode ser sua melhor opção. Tente entrar em contato com o fundador do repl.it @Amjad_Masad.