
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').

go(1,insert,supply).
go(1,insert,sale).
go(1,delete,supply).
go(1,change,sale).
go(2,insert,supply).
go(2,insert,class).
go(3,insert,supply).
go(3,delete,supply).
go(4,insert,supply).
go(4,insert,class).
go(5,insert,supply).
go2(6,insert,sub).
go(61,delete,sub2).
go(7,insert,supply).

unset(first_lit).
go(71,delete,class).
set(first_lit).

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

statistics.

halt.
