DiscoTOC est un composant de thème, pas un plugin. Il s’installe en suivant Comment installer un thème ou un composant de thème ? et il est définitivement disponible pour vous, essayez-le.
Ah, je vois.
Je pense que votre meilleure option serait de tenter de faire fonctionner une instance repl.it pour Prolog, même si elle est alimentée par SWI-Prolog compilé en WASM. Essayez de contacter le fondateur de repl.it @Amjad_Masad.