sudo apt-get install swi-prolog
sudo apt-get install python2.7
Put the apk under test into folder apk\example. If you put apks in other location, modify the variables apk_dir and folder in run.sh
sh run.sh
The result files can be found in the folder result