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