Lock code

lock.pl

solution(POS_1, POS_2, POS_3) :-
  member(POS_1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9]),
  member(POS_2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9]),
  member(POS_3, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9]),

  /* 682 one correct and well placed */
  ( POS_1 = 6; POS_2 = 8; POS_3 = 2),

  /* 614 one correct not well placed */
  (
    POS_1 = 1, \+ member(POS_2, [6, 4]), \+ member(POS_3,[6, 4])
  ; POS_1 = 4, \+ member(POS_2, [6, 1]), \+ member(POS_3,[6, 1])
  ; POS_2 = 6, \+ member(POS_1, [1, 4]), \+ member(POS_3,[1, 4])
  ; POS_2 = 4, \+ member(POS_1, [6, 1]), \+ member(POS_3,[6, 1])
  ; POS_3 = 6, \+ member(POS_2, [1, 4]), \+ member(POS_1,[1, 4])
  ; POS_3 = 1, \+ member(POS_2, [6, 4]), \+ member(POS_1,[6, 4])
  ),

  /* 206 two correct both not well placed */
  (
    POS_1 = 0, POS_2 = 2, POS_3 \= 6
  ; POS_1 = 0, POS_2 = 6, POS_3 \= 2
  ; POS_1 = 6, POS_2 = 2, POS_3 \= 0
  ; POS_2 = 2, POS_3 = 0, POS_1 \= 6
  ; POS_2 = 6, POS_3 = 2, POS_1 \= 0
  ; POS_2 = 6, POS_3 = 0, POS_1 \= 2
  ; POS_3 = 2, POS_1 = 0, POS_2 \= 6
  ; POS_3 = 2, POS_1 = 6, POS_2 \= 0
  ; POS_3 = 0, POS_1 = 6, POS_2 \= 2
  ),

  /* 738 nothing is correct */
  \+ member(POS_1, [7, 3, 8]), \+ member(POS_2, [7, 3, 8]), \+ member(POS_3, [7, 3, 8]),

  /* 380 one number correct not well placed */
  (
    POS_1 = 8, \+ member(POS_2, [3, 0]), \+ member(POS_3, [3, 0])
  ; POS_1 = 0, \+ member(POS_2, [3, 8]), \+ member(POS_3, [3, 8])
  ; POS_2 = 3, \+ member(POS_1, [8, 0]), \+ member(POS_3, [8, 0])
  ; POS_2 = 0, \+ member(POS_1, [3, 8]), \+ member(POS_3, [3, 8])
  ; POS_3 = 3, \+ member(POS_2, [8, 0]), \+ member(POS_1, [8, 0])
  ; POS_3 = 8, \+ member(POS_2, [3, 0]), \+ member(POS_1, [3, 0])
  ).

main :-
  forall(
    solution(POS_1, POS_2, POS_3),
    (write(POS_1), write(POS_2), write(POS_3), nl)
  ).

swipl -l lock.pl -t main pour exécuter