tiveQueries = <span class="std">Seq</span>(),
  adHocDisjunctiveQueries = <span class="std">Seq</span>(<span class="std">Seq</span>(<span class="lit">"q"</span>, <span class="lit">"p"</span>)),
  printAdHocQueryResults = <span class="kw">true</span>,
  printAnswers = <span class="kw">true</span>)</pre><h4>API usage example 2: Sampling with probabilistic non-ground rules</h4><pre><span class="kw">val</span> domainAtoms = <span class="std">Seq</span>(<span class="lit">"p(a)"</span>, <span class="lit">"p(b)"</