DiscoTOC è un componente del tema, non un plugin. Viene installato seguendo la guida Come installare un tema o un componente del tema? ed è sicuramente disponibile per te, provaci.
Ah, capisco.
Credo che il tuo miglior tentativo sia cercare di ottenere un’istanza funzionante di repl.it per Prolog, anche se alimentata da SWI-Prolog compilato in WASM. Prova a contattare il fondatore di repl.it @Amjad_Masad.