hljs.registerLanguage("datalog", hljsDatalog);
hljs.registerLanguage("dot", hljsDot);

hljs.highlightAll();