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]). 14 15pair :- card(deck1, C), card(deck2, C). 16 17:- end_lpad.