library-infer.datalog" class="anchor"></a>Library infer.Datalog</h2><p>The entry point of this library is the module: <a href="Datalog/index.html"><code>Datalog</code></a>.</p><h2 id="library-infer.erlangfrontend"><a href="#library-infer.erlangfrontend" class="anchor"></a>Library infer.ErlangFrontend</h2><p>The entry point of this library is the module: <a href="ErlangFrontend/index.html"><code>ErlangFrontend</code></a>.</p><h2 id="library-infer.ibase"><a href="#library-infer.ibase" class="anchor"></a>Libra