Similar repositories to logicmoo/instant_prolog_docs: