Questo codice dovrebbe fare quello che vuoi tu. Purtroppo perņ non sono sicuro che non si possa scrivere meglio. :/
Codice:
o(1).
x(2).
printColored(N) :-
o(N), !,
ansi_format([bold,fg(blue)], N, [ ]).
printColored(N) :-
x(N),
ansi_format([bold,fg(red)], N, [ ]).