compile('../init').

compile('../skolem').
compile('../cnf').
compile('../mini7').
compile('../match').

compile('../support').
compile('../sup2').

compile('../clause').
compile('../resolve').
compile('../demod').
compile('../unsk').
compile('../goa').
compile('../gob').
compile('../data2').

save_program('../s7_comp').

  go3(1,insert,supply).
  go3(1,insert,sale).
  go3(1,delete,supply).
  go3(1,change,sale).
  go3(2,insert,supply).
  go3(2,insert,class).
  go3(3,insert,supply).
  go3(3,delete,supply).
  go3(4,insert,supply).
  go3(4,insert,class).
  go3(5,insert,supply).
  go3(6,insert,sub).
  go3(6,delete,sub).
  go3(7,insert,supply).
  go3(7,delete,class).

% reset(log,10).

 go3(4,delete,class).
 go3(4,delete,supply).
 go3(7,delete,supply).

statistics.

halt.
