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

joseph-vidal-rosset January 23, 2022, 11:25am 147

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

Topic		Replies	Views
Read_term_from_atom and upper case functor Predicate	8	811	March 2, 2020
Tokenize_atom equivalent that forces everything to lowercase atoms? Help!	6	919	August 9, 2019
On type error of `arg(1, a, _)` General atom , arity	2	338	November 6, 2022
Atom to Rule Help!	2	381	November 10, 2019
Resolution Prover? Help!	0	1152	April 25, 2021