Details | Last modification | View Log | RSS feed
/* pair.pl -- pairs of digits with replacement */
pair(L) :- L=[X,Y],
digit(X),
digit(Y).
digit(0).
digit(1).
digit(2).