[m-users.] decompilation ...

[Richard O'Keefe]

"Decompilation" in Prolog is a consequence of supporting the dynamic
database.
In Quintus Prolog, you could not run "listing" on normally compiled
predicates.
Mercury uses strong modes and types both to detect errors at compile time
and
to allow the compiler to generate much more efficient code by transforming
it
ways that would be difficult to decompile.

It would be possible to implement Mercury in such a way that decompilation
could be done, but it would then be a rather less practical tool.

On Wed, 3 Jul 2019 at 08:28, Zoltan Somogyi <zoltan.somogyi at runbox.com>
wrote:

>
>
> On Tue, 2 Jul 2019 16:25:52 +0300, Daniel Gross <grossd18 at gmail.com>
> wrote:
> > Prolog programs can in principle be "decompiled" to obtain the source
> code.
>
> In some Prolog systems, yes. In others, no.
>
> > I am wondering whether in Mercury that is also possible -- or whether
> once
> > a Mercury program is compiled it can not be decompiled anymore.
>
> No, compiled Mercury programs cannot be decompiled.
>
> Zoltan.
> _______________________________________________
> users mailing list
> users at lists.mercurylang.org
> https://lists.mercurylang.org/listinfo/users
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mercurylang.org/archives/users/attachments/20190703/5f591c5d/attachment.html>