Die Warnung besagt, dass eine Variable nur einmal in dieser Klausel der Prädikatliste (in diesem Fall die zweite Klausel) verwendet wird.
Warum warnt es Sie davor? Weil Sie den Variablennamen mehr als oft falsch geschrieben haben. Der resultierende Code, wenn Sie eine Variable falsch schreiben, ist auch ein gültiges Prolog-Programm, so dass das Debugging schmerzhaft wäre, wenn es Sie nicht warnt.
Wenn Sie diese Variable nicht verwenden (X), können Sie stattdessen eine anonyme Variable verwenden. Um eine anonyme Variable zu verwenden, müssen Sie _ anstelle eines Variablennamens verwenden.
In Ihrem Beispiel wäre es:
%Vor%Gusbro ist genau richtig. Wenn Sie eine Variable nur einmal verwenden, erhalten Sie eine Singleton-Variable. Ihr Programm ist immer noch syntaktisch korrekt, aber Prolog geht davon aus, dass Sie bei der Eingabe Ihres Codes einen Fehler gemacht haben. Die Unterstrichvariable wird immer als wahr vereinheitlicht, wenn sie eine Antwort erhält.