How to use of upcase_atom/2 to get uppercase letters in an output

[joseph-vidal-rosset]

@j4n_bur53

/* next */
prove(G>[~A|D], lneg(G>[~A|D], P)) :- !,
        prove([A|G]>D,P).
prove(G>[A|D], lneg(G>[A|D], P)) :- !,
        prove([~A|G]>D,P).
prove(G>[], asq(G>[], asq)).

It would be nice of you to explain why is needed this double lneg rule at this place in the program, because it is indeed crucial.

[joseph-vidal-rosset]

about leanTAP and related topics, I just made this page . A better place than this thead, in my opinion.

[j4n_bur53]

(Nothing of relevance here)