User:Jhamalai

Misc

Decompiling swi-prolog plc

Sometimes it may be useful to decompile compiled prolog plc file. Short steps how that can be done, for example.

1. Find a environment suitable for your compiled plc file, you are going to do the work there.
2. In your environment check your swipl version and download matching source package from swi-prolog page
3. Unpack the package and copy content from library directory to your environment. listing.pl is the important one. Listing
4. Run swi-prolog and load your plc, prolog is a good candidate for initialization goal. $ swipl -x compiled.plc -g prolog
5. Load listing module. 1 ?- [listing].
6. listing. lists user module, and you can use module:listing. to list from different modules.