:-library(record).

:-[-'inferengine.pl'].

:-[-'pwy.metarules.pl'].

:-[-'pwy.rules.pl'].

:-[-'pwy.antecedents.pl'].

:-[-'cev.metarules.pl'].

:-[-'cev.rules.pl'].

:-[-'cev.antecedents.pl'].

:-[-'exp.rules.pl'].

:-[-'exp.antecedents.pl'].

:-[-'pm2.rules.pl'].

:-[-'pm2.metarules.pl'].

:-[-'pm2.antecedents.pl'].

:-[-'tidy.pl'].
