# How to use of upcase\_atom/2 to get uppercase letters in an output

**URL:** <https://swi-prolog.discourse.group/t/how-to-use-of-upcase-atom-2-to-get-uppercase-letters-in-an-output/4693>\
**Category:** Data Structure\
**Tags:** how-to\
**Created:** [November 30, 2021, 12:46pm UTC](https://swi-prolog.discourse.group/t/how-to-use-of-upcase-atom-2-to-get-uppercase-letters-in-an-output/4693 "2021-11-30T12:46:05Z")\
**Posts on this page:** 1\
**Showing post:** 63

<div class="post-metadata">

**Author:** ![joseph-vidal-rosset](https://yyz2.discourse-cdn.com/free1/user_avatar/swi-prolog.discourse.group/joseph-vidal-rosset/32/2594_2.png) [@joseph-vidal-rosset](https://swi-prolog.discourse.group/u/joseph-vidal-rosset)\
**Post date:** [January 2, 2022, 1:55pm UTC](https://swi-prolog.discourse.group/t/how-to-use-of-upcase-atom-2-to-get-uppercase-letters-in-an-output/4693/63 "2022-01-02T13:55:01Z")

</div>

I just tested the proof of Pelletier problem 17 with swipl simple\_server.pl and it works, Firefox provides the proof and one can read on the terminal:

```prolog
% 54,890,488 inferences, 4.423 CPU in 4.424 seconds (100% CPU, 12409457 Lips)

```

Security worries apart, that would be a good solution for Prolog provers online.

---

_[View the full topic](https://swi-prolog.discourse.group/t/how-to-use-of-upcase-atom-2-to-get-uppercase-letters-in-an-output/4693)._