Hello.
This program enumerates all patterns.
Please add restriction to this program.
ins(X, L, [X|L]).
ins(X, [L1|LT], [L1|RT]) :- ins(X, LT, RT).
perm([], []).
perm([L1|LT], R) :- perm(LT, W), ins(L1, W, R).
main(A, B, C, D, E, F, G) :-
perm([1, 2, 3, 4, 5, 6, 7], [A, B, C, D, E, F, G])...