<div dir="ltr"><div class="gmail_default" style="font-family:monospace,monospace">"Decompilation" in Prolog is a consequence of supporting the dynamic database.</div><div class="gmail_default" style="font-family:monospace,monospace">In Quintus Prolog, you could not run "listing" on normally compiled predicates.</div><div class="gmail_default" style="font-family:monospace,monospace">Mercury uses strong modes and types both to detect errors at compile time and</div><div class="gmail_default" style="font-family:monospace,monospace">to allow the compiler to generate much more efficient code by transforming it</div><div class="gmail_default" style="font-family:monospace,monospace">ways that would be difficult to decompile.</div><div class="gmail_default" style="font-family:monospace,monospace"><br></div><div class="gmail_default" style="font-family:monospace,monospace">It would be possible to implement Mercury in such a way that decompilation</div><div class="gmail_default" style="font-family:monospace,monospace">could be done, but it would then be a rather less practical tool.</div><div class="gmail_default" style="font-family:monospace,monospace"></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, 3 Jul 2019 at 08:28, Zoltan Somogyi <<a href="mailto:zoltan.somogyi@runbox.com">zoltan.somogyi@runbox.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><br>
<br>
On Tue, 2 Jul 2019 16:25:52 +0300, Daniel Gross <<a href="mailto:grossd18@gmail.com" target="_blank">grossd18@gmail.com</a>> wrote:<br>
> Prolog programs can in principle be "decompiled" to obtain the source code.<br>
<br>
In some Prolog systems, yes. In others, no.<br>
<br>
> I am wondering whether in Mercury that is also possible -- or whether once<br>
> a Mercury program is compiled it can not be decompiled anymore.<br>
<br>
No, compiled Mercury programs cannot be decompiled.<br>
<br>
Zoltan.<br>
_______________________________________________<br>
users mailing list<br>
<a href="mailto:users@lists.mercurylang.org" target="_blank">users@lists.mercurylang.org</a><br>
<a href="https://lists.mercurylang.org/listinfo/users" rel="noreferrer" target="_blank">https://lists.mercurylang.org/listinfo/users</a><br>
</blockquote></div>