Blame | 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).
/* pair.pl -- pairs of digits with replacement */
pair(L) :- L=[X,Y],
digit(X),
digit(Y).
digit(0).
digit(1).
digit(2).