16
17:- lemma_handling. 18
19:- lemma_mode(dynamic). 20
21:- lemma_type(delta). 22
23:- lemma_format(unit). 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))