<div dir="ltr"><div>Hi folks,</div><div><br></div><div>I'm just getting started with Mercury with c# as my target language. Are there any examples of integrating Mercury-based c# with traditional c# code (e.g. UI)?<br></div><div><br></div><div>For example, given:</div><div>
<pre class="gmail-src gmail-src-mercury">mortal(X) :- man(X).<br>
</pre>

</div><div></div><div>How would I dynamically (from c#) declare "<span style="font-family:monospace">man(Socrates).</span>" and then query if "<span style="font-family:monospace">human(Socrates)</span>"? Does this require <span style="font-family:monospace">pragma foreign_export</span>?</div><div><br></div><div>thank you,</div><div>-david<br></div><div><br></div></div>