Estou fazendo um trabalho em Prolog e ao tentar fazer uma consulta ele diz que há "Singleton variables". Por exemplo, uma parte do código:
s([Policia_X, Policia_Y, Ladrao_X, Ladrao_Y]) :- pode_andar_horizontal([Policia_X, Policia_Y]).
Retorna o erro:
Warning: c:/users/leila/desktop/2018.2/ia/ia/trab1.pl:35: Singleton variables: [Ladrao_X,Ladrao_Y]
O que significa isso?