Pasted

rotate(1, 1).
rotate(6, 9).
rotate(8, 8).
rotate(9, 6).
rotate(0, 0).
 rotate_plate(X, Y):-
    X = [A, B, C, D, E],
    rotate(A, F),
    rotate(B, G),
    rotate(C, H),
    rotate(D, I),
    rotate(E, J),
    Y = [F, G, H, I, J].
 license(X):-
    length(X, 5),
    member(1, X);
    member(6, X);
    member(8, X);
    member(9, X);
    member(0, X),
    not(member(2, X)),
    not(member(3, X)),
    not(member(4, X)),
    not(member(5, X)),
    not(member(7, X)),
    rotate_plate(X, Y),
    X = Y.