The Mer Wiki now uses your Mer user account and password (create account on https://bugs.merproject.org/)


User:Jhamalai

From Mer Wiki
Revision as of 14:11, 15 August 2012 by Jhamalai (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

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.
Personal tools