DiscoTOC ist eine Theme-Komponente, kein Plugin. Es wird gemäß Wie installiere ich ein Theme oder eine Theme-Komponente? installiert und steht Ihnen definitiv zur Verfügung. Probieren Sie es einfach aus.
Ah, verstehe.
Ich denke, Ihr bester Weg wäre es, eine funktionierende repl.it-Instanz für Prolog zu erhalten, auch wenn sie von SWI-Prolog, kompiliert zu WASM angetrieben wird. Versuchen Sie, den Gründer von repl.it, @Amjad_Masad, zu kontaktieren.