DiscoTOC はプラグインではなく、テーマコンポーネントです。テーマまたはテーマコンポーネントのインストール方法に従ってインストールしてください。確かに利用可能ですので、お試しください。
なるほど、わかりました。
Prolog 用の動作する repl.it インスタンスを取得しようとするのが最善策かもしれません。それは SWI-Prolog を WASM にコンパイルしたものによって提供されている場合でも同様です。repl.it の創設者 @Amjad_Masad にお問い合わせいただくことをお勧めします。