Prolog Si Then Else échoue avec membre prédicats

Question

Bonjour les gars, je travaille sur un jeu de Prolog et je dois écrire un morceau de code qui:

1. Prenez un numéro (ArmyNo) de l'utilisateur.
2. Prendre une coordonnée X
3. Prendre une coordonnée Y.

J'ai une liste qui est nommé TempBoard et il ressemble à ceci:

([ 
    (1,1,-,-),(1,2,-,-),(1,3,-,-),(1,4,-,-), 
    (2,1,-,-),(2,2,-,-),(2,3,-,-),(2,4,-,-), 
    (3,1,-,-),(3,2,-,-),(3,3,-,-),(3,4,-,-), 
    (4,1,-,-),(4,2,-,-),(4,3,-,-),(4,4,-,-) 
]). 

avant d'ajouter ceci (X, Y, w, ArmyNO) à la liste Je veux d'abord le vérifier si c'est déjà là.

J'ai essayé de le faire en utilisant ce code mais il ne semble pas fonctionner correctement:

%#######Got the number#### 
     repeat, 
    %Get Cordinates X & Y. 
    writelist([TempBoard,'select coordinates for the horizontal axis 1 to 4 to place   your soldier Mr. Human',nl]), 
    read(X), 
    writelist(['select coordinates for the vertical axis 1 to 4 to place your soldier Mr. Human',nl]), 
    read(Y), 
    %Check if they are in the list. 
      (
       member((X,Y,w,ArmyNo),TempBoard) -> 
         ( replace((X,Y,w,ArmyNo),TempBoard,NewBoard)) ; 
       (
      writelist(['selected positions are not available in the table Mr.Human',nl]) , fail 
      ) 
     ). 

      %% 

Answer 1

(X, Y, w, ArmyNo) 

ne peut être unifiée avec un membre de votre liste d'exemples parce que w n'unifient pas - . Vous pouvez avoir signifié W.