DiscoTOC — это компонент темы, а не плагин. Он устанавливается в соответствии с инструкциями в статье Как установить тему или компонент темы?, и он определенно доступен для вас, попробуйте.
А, я понял.
Думаю, ваша лучшая надежда — попытаться запустить работающий экземпляр repl.it для Prolog, даже если он работает на основе SWI-Prolog, скомпилированного в WASM. Попробуйте связаться с основателем repl.it @Amjad_Masad.