1:- use_module(library(pita)).    2
    3:- if(current_predicate(use_rendering/1)).    4:- use_rendering(c3).    5:- endif.    6
    7:- pita.    8
    9:- begin_lpad.   10
   11
   12card(_, Card): uniform(Card, [2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14]).
   13
   14pair :- card(deck1, C), card(deck2, C).
   15
   16:- end_lpad.