1%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
    2%%                                                                           %%
    3%%      Version:  1.00   Date: 13/07/96   File: lemma:config.pl              %%
    4%% Last Version:                          File:                              %%
    5%% Changes:                                                                  %%
    6%% 13/07/96 Created                                                          %%
    7%%                                                                           %%
    8%% Purpose:                                                                  %%
    9%%                                                                           %%
   10%% Author:  Torsten Schaub                                                   %%
   11%%                                                                           %%
   12%% Usage:   prolog lemma:config.pl                                           %%
   13%%                                                                           %%
   14%%                                                                           %%
   15%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
   16
   17:- lemma_handling.                         % default is LEMMA HANDLING
   18
   19:- lemma_mode(dynamic).                    % default is to use DYNAMIC lemmas only
   20
   21:- lemma_type(delta).                      % default is to use DELTA lemmas only
   22
   23:- lemma_format(unit).                     % default is to use UNIT lemmas only
   24
   25add_lemmatization_p(Head :- Body) :-
   26	lemma_flag,
   27	!,
   28	(functor(Head,query,_) -> fail;
   29         functor(Head,alpha,_) -> fail;
   30	 functor(Head,gamma,_) -> lemma_type_parameter(delta);
   31	 true ->                  lemma_type_parameter(omega)).
   32
   33dynamic_lemma_test_p(P,N) :-
   34	dynamic_lemma_flag,
   35	!,
   36	(P == query -> fail;
   37         P == alpha -> fail;
   38	 P == gamma -> lemma_type_parameter(delta);
   39	 true       -> lemma_type_parameter(omega)).
   40
   41static_lemma_test_p(P,N) :-
   42	(static_lemma_flag;dystatic_lemma_flag),
   43	!,
   44	(P == query -> fail;
   45         P == alpha -> fail;
   46	 P == gamma -> lemma_type_parameter(delta);
   47	 true       -> lemma_type_parameter(omega))