These experiments are meant to be executed on machine where the Bash Unix shell is available (e.g. a Linux machine).

In order to run the experiments you need to install SWI-Prolog 7.6.4 as indicated in www.swi-prolog.org. This is necessary to run {log}.

To run the empirical evaluation described in section 7.3 issue the following bash script inside this directory:

for i in e*.pl
do
./run.sh $i int
done

Check the results in the e*.int files.

To discharge the proof obligations of the case study described in section 8.3 run the following commands inside this directory (do not forget the period at the end of the Prolog/{log} queries):

$ prolog

?- consult('setlog.pl').

?- setlog.

?- consult('lift.pl').

{log}=> check_inv.

To run the first simulation described in section 8.2 run the following {log} query (note that in the paper we presented a simplified form of the state variable Lift):

{log}=> Lift = [[flr,3],[nxtFlr,3],[door,closed],[cab,halted],[dir,up],[req,{2,5,8,1,0}]] & nextRequest(Lift,Lift_).

The other simulations can be run in a similar fashion.



If you want to run the experiments on a machine where Bash isn't 
available, then you first need to install Bash. These web 
pages might help you to do that:

-https://msdn.microsoft.com/en-us/commandline/wsl/install_guide

-http://win-bash.sourceforge.net/

-https://www.cygwin.com/


	
