EXAMPLE 1
...@...:~/Desktop/cog366/sets$ swipl
Welcome to SWI-Prolog (threaded, 64 bits, version 7.6.0-rc2)
SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software.
Please run ?- license. for legal details.
For online help and background, visit http://www.swi-prolog.org
For built-in help, use ?- help(Topic). or ?- apropos(Word).
?- consult('combosets.pro').
true.
?- permutation(a,b).
a b
b a
false.
?- permutation(a,b,c).
a b c
a c b
b a c
b c a
c a b
c b a
false.
?- permutation(a,b,c,d).
a b c d
a b d c
a c b d
a c d b
a d b c
a d c b
b a c d
b a d c
b c a d
b c d a
b d a c
b d c a
c a b d
c a d b
c b a d
c b d a
c d a b
c d b a
d a b c
d a c b
d b a c
d b c a
d c a b
d c b a
false.
?- permutation(a,b,c,d,e).
a b c d e
a b c e d
a b d c e
a b d e c
a b e c d
a b e d c
a c b d e
a c b e d
a c d b e
a c d e b
a c e b d
a c e d b
a d b c e
a d b e c
a d c b e
a d c e b
a d e b c
a d e c b
a e b c d
a e b d c
a e c b d
a e c d b
a e d b c
a e d c b
b a c d e
b a c e d
b a d c e
b a d e c
b a e c d
b a e d c
b c a d e
b c a e d
b c d a e
b c d e a
b c e a d
b c e d a
b d a c e
b d a e c
b d c a e
b d c e a
b d e a c
b d e c a
b e a c d
b e a d c
b e c a d
b e c d a
b e d a c
b e d c a
c b a d e
c b a e d
c b d a e
c b d e a
c b e a d
c b e d a
c a b d e
c a b e d
c a d b e
c a d e b
c a e b d
c a e d b
c d b a e
c d b e a
c d a b e
c d a e b
c d e b a
c d e a b
c e b a d
c e b d a
c e a b d
c e a d b
c e d b a
c e d a b
d b c a e
d b c e a
d b a c e
d b a e c
d b e c a
d b e a c
d c b a e
d c b e a
d c a b e
d c a e b
d c e b a
d c e a b
d a b c e
d a b e c
d a c b e
d a c e b
d a e b c
d a e c b
d e b c a
d e b a c
d e c b a
d e c a b
d e a b c
d e a c b
e b c d a
e b c a d
e b d c a
e b d a c
e b a c d
e b a d c
e c b d a
e c b a d
e c d b a
e c d a b
e c a b d
e c a d b
e d b c a
e d b a c
e d c b a
e d c a b
e d a b c
e d a c b
e a b c d
e a b d c
e a c b d
e a c d b
e a d b c
e a d c b
false.
?-
************************************************************************
EXAMPLE 2
...@...:~/Desktop/cog366/sets$ swipl
Welcome to SWI-Prolog (threaded, 64 bits, version 7.6.0-rc2)
SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software.
Please run ?- license. for legal details.
For online help and background, visit http://www.swi-prolog.org
For built-in help, use ?- help(Topic). or ?- apropos(Word).
?- consult('combosets.pro').
true.
?- permutation(rangers,islanders).
rangers islanders
islanders rangers
false.
?- permutation(rangers,islanders,devils).
rangers islanders devils
rangers devils islanders
islanders rangers devils
islanders devils rangers
devils rangers islanders
devils islanders rangers
false.
?- permutation(rangers,islanders,devils,sabres).
rangers islanders devils sabres
rangers islanders sabres devils
rangers devils islanders sabres
rangers devils sabres islanders
rangers sabres islanders devils
rangers sabres devils islanders
islanders rangers devils sabres
islanders rangers sabres devils
islanders devils rangers sabres
islanders devils sabres rangers
islanders sabres rangers devils
islanders sabres devils rangers
devils rangers islanders sabres
devils rangers sabres islanders
devils islanders rangers sabres
devils islanders sabres rangers
devils sabres rangers islanders
devils sabres islanders rangers
sabres rangers islanders devils
sabres rangers devils islanders
sabres islanders rangers devils
sabres islanders devils rangers
sabres devils rangers islanders
sabres devils islanders rangers
false.
?- permutation(rangers,islanders,devils,sabres,bruins).
rangers islanders devils sabres bruins
rangers islanders devils bruins sabres
rangers islanders sabres devils bruins
rangers islanders sabres bruins devils
rangers islanders bruins devils sabres
rangers islanders bruins sabres devils
rangers devils islanders sabres bruins
rangers devils islanders bruins sabres
rangers devils sabres islanders bruins
rangers devils sabres bruins islanders
rangers devils bruins islanders sabres
rangers devils bruins sabres islanders
rangers sabres islanders devils bruins
rangers sabres islanders bruins devils
rangers sabres devils islanders bruins
rangers sabres devils bruins islanders
rangers sabres bruins islanders devils
rangers sabres bruins devils islanders
rangers bruins islanders devils sabres
rangers bruins islanders sabres devils
rangers bruins devils islanders sabres
rangers bruins devils sabres islanders
rangers bruins sabres islanders devils
rangers bruins sabres devils islanders
islanders rangers devils sabres bruins
islanders rangers devils bruins sabres
islanders rangers sabres devils bruins
islanders rangers sabres bruins devils
islanders rangers bruins devils sabres
islanders rangers bruins sabres devils
islanders devils rangers sabres bruins
islanders devils rangers bruins sabres
islanders devils sabres rangers bruins
islanders devils sabres bruins rangers
islanders devils bruins rangers sabres
islanders devils bruins sabres rangers
islanders sabres rangers devils bruins
islanders sabres rangers bruins devils
islanders sabres devils rangers bruins
islanders sabres devils bruins rangers
islanders sabres bruins rangers devils
islanders sabres bruins devils rangers
islanders bruins rangers devils sabres
islanders bruins rangers sabres devils
islanders bruins devils rangers sabres
islanders bruins devils sabres rangers
islanders bruins sabres rangers devils
islanders bruins sabres devils rangers
devils islanders rangers sabres bruins
devils islanders rangers bruins sabres
devils islanders sabres rangers bruins
devils islanders sabres bruins rangers
devils islanders bruins rangers sabres
devils islanders bruins sabres rangers
devils rangers islanders sabres bruins
devils rangers islanders bruins sabres
devils rangers sabres islanders bruins
devils rangers sabres bruins islanders
devils rangers bruins islanders sabres
devils rangers bruins sabres islanders
devils sabres islanders rangers bruins
devils sabres islanders bruins rangers
devils sabres rangers islanders bruins
devils sabres rangers bruins islanders
devils sabres bruins islanders rangers
devils sabres bruins rangers islanders
devils bruins islanders rangers sabres
devils bruins islanders sabres rangers
devils bruins rangers islanders sabres
devils bruins rangers sabres islanders
devils bruins sabres islanders rangers
devils bruins sabres rangers islanders
sabres islanders devils rangers bruins
sabres islanders devils bruins rangers
sabres islanders rangers devils bruins
sabres islanders rangers bruins devils
sabres islanders bruins devils rangers
sabres islanders bruins rangers devils
sabres devils islanders rangers bruins
sabres devils islanders bruins rangers
sabres devils rangers islanders bruins
sabres devils rangers bruins islanders
sabres devils bruins islanders rangers
sabres devils bruins rangers islanders
sabres rangers islanders devils bruins
sabres rangers islanders bruins devils
sabres rangers devils islanders bruins
sabres rangers devils bruins islanders
sabres rangers bruins islanders devils
sabres rangers bruins devils islanders
sabres bruins islanders devils rangers
sabres bruins islanders rangers devils
sabres bruins devils islanders rangers
sabres bruins devils rangers islanders
sabres bruins rangers islanders devils
sabres bruins rangers devils islanders
bruins islanders devils sabres rangers
bruins islanders devils rangers sabres
bruins islanders sabres devils rangers
bruins islanders sabres rangers devils
bruins islanders rangers devils sabres
bruins islanders rangers sabres devils
bruins devils islanders sabres rangers
bruins devils islanders rangers sabres
bruins devils sabres islanders rangers
bruins devils sabres rangers islanders
bruins devils rangers islanders sabres
bruins devils rangers sabres islanders
bruins sabres islanders devils rangers
bruins sabres islanders rangers devils
bruins sabres devils islanders rangers
bruins sabres devils rangers islanders
bruins sabres rangers islanders devils
bruins sabres rangers devils islanders
bruins rangers islanders devils sabres
bruins rangers islanders sabres devils
bruins rangers devils islanders sabres
bruins rangers devils sabres islanders
bruins rangers sabres islanders devils
bruins rangers sabres devils islanders
false.
?-