<code>#include &lt;functional&gt;</code><br />

<code>#include &lt;cassert&gt;</code><br />

<code>#include &lt;iostream&gt;</code><br />

<code>#include &quot;<a class="el" href="tuple__hash_8h_source.html">tuple_hash.h</a>&quot;</code><br />

<code>#include &quot;<a class="el" href="_variable_8h_source.html">Variable.h</a>&quot;</code><br />

</div><div class="textblock"><div class="dynheader">

Include dependency graph for Datalog.h:</div>

<div class="dyncontent">

<div class="center"><img src="_datalog_8h__incl.png" border="0" usemap="#src_2_datalog_8h" alt=""/></div>

<map name="src_2_datalog_8h" id="src_2_datalog_8h">

<area shape="rect" title=" " alt="" coords="5,80,45,107"/>

<area shape="rect" title=" " alt="" coords="69,80,173,107"/>

<area shape="rect" title=" " alt="" coords="198,80,266,107"/>

</table><table class="memberdecls">

<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="func-members"></a>

Functions</h2></td></tr>

<tr class="memitem:a8c6b6f573ffdb6d818a9f9e7c2771f3c"><td class="memTemplParams" colspan="2">template&lt;typename GROUND_TYPE , typename ... Ts, size_t... Is&gt; </td></tr>

<tr class="memitem:a8c6b6f573ffdb6d818a9f9e7c2771f3c"><td class="memTemplItemLeft" align="right" valign="top">bool&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="namespacedatalog.html#a8c6b6f573ffdb6d818a9f9e7c2771f3c">datalog::bind</a> (const GROUND_TYPE &amp;fact, const tuple&lt; Ts... &gt; &amp;atom, index_sequence&lt; Is... &gt;)</td></tr>

<tr class="separator:a8c6b6f573ffdb6d818a9f9e7c2771f3c"><td class="memSeparator" colspan="2">&#160;</td></tr>

<map id="src/Datalog.h" name="src/Datalog.h">

<area shape="rect" id="node2" title=" " alt="" coords="5,80,45,107"/>

<area shape="rect" id="node3" title=" " alt="" coords="69,80,173,107"/>

<area shape="rect" id="node4" title=" " alt="" coords="198,80,266,107"/>

</map>