If you do stuff with *print-case* as :downcase, symbols are read and their strings are upper-case, but symbols made with them land up being lower or mixed case.
paiprolog> (?- (bagof ?x (person ?x) ?res))
; Compilation unit finished
; The following functions were used but not defined:
; |show-prolog-vars/2|
; |bagof/3|
If you do stuff with
*print-case*
as:downcase
, symbols are read and their strings are upper-case, but symbols made with them land up being lower or mixed case.