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): discrete(Card, [2:1/13, 3:1/13, 4:1/13, 5:1/13, 6:1/13, 7:1/13,
   13     8:1/13, 9:1/13, 10:1/13, 11:1/13, 12:1/13, 13:1/13, 14:1/13]):-
   14body.
   15
   16body.
   17
   18pair :- card(deck1, C), card(deck2, C).
   19
   20:- end_lpad.