%% %% This is the configuration file for the tom filter of Procom. %% %% Created 1 February 1995 by Zoltan Rigo %% %-------------------------------------------------------------- %-------------------------------------------------------------- % The type of translation. % If you want constraint handling, then insert 'constraints' % as the value. If you want to generate inference rules, then % insert 'inference'. % define_tom_translation_type(inference). %define_tom_translation_type(constraints). %-------------------------------------------------------------- % The file for doing the merging of lists of formulae. % Standard is, to use the usual distributive laws (merge.pl). % define_tom_merging_file(merge). %-------------------------------------------------------------- % The file to produce the normal form of a formula. % The default is a negation normal form. % define_tom_normalform_file(nnf). %-------------------------------------------------------------- % Which is the file containing the code of the A1-unification % and where is it located? % define_tom_unificator_file("~rigo/Procom/upp_unify.pl").