SWI prolog binary state file policy.plc was successfully decompiled into prolog source files. I also fixed jackbias problem and created new deb package for cssu-devel:
http://gitorious.org/community-ssu/policy-settings-rx51
http://maemo.merlin1991.at/cssu/comm...settings-rx51/

Scripts for decompiling binary SWI prolog state files are here:
https://gitorious.org/community-ssu/...plc-predicates
https://gitorious.org/community-ssu/.../plc-decompile

Note that for decompiling you need same SWI prolog version which was used for compiling file. You can find prolog version in first 10 lines in binary file. In binary plc file is line:

So this means that our policy.plc was compiled by SWI prolog version 5.6.50