><span class="xref std std-term">loader file</span></a>, the flags only apply to the loader file itself.</p>
</div>
</section>
<section id="modes-and-number-of-proofs">
<h2>Modes and number of proofs<a class="headerlink" href="#modes-and-number-of-proofs" title="Link to this heading"></a></h2>
<div class="highlight-logtalk notranslate"><div class="highlight"><pre><span></span><span class="k">logtalk_compile</span>(<span class="o">@</span>source_file_name, <span class="o">@</span>list(compiler_flag)) <spa