
:- [init].

:- [skolem].
:- [cnf].
:- [mini7].
:- [match].

:- [support].
:- [sup2].

:- [clause].
:- [resolve].
:- [demod].
:- [unsk].
:- [goa].
:- [gob].
:- [data2].
