предупреждение в прологе

Question

Я написал этот предикат в прологе:

list([]).
list([X|L]) :- list(L).

это работает хорошо, но я получил это предупреждение:

    **Warning: /Users/hw6.pl:2:  
           Singleton variables: [X]** % 

что я могу сделать, чтобы избежать этого?

Answer 1

Предупреждение говорит о том, что у вас есть переменная, использованная только один раз в этом предложении списка предикатов (в данном случае второе предложение).

Почему он предупреждает вас об этом? Потому что чаще всего вы ошиблись именем переменной. Результирующий код, когда вы неправильно пишете переменную, также является допустимой программой пролога, поэтому отладка будет болезненной, если она не предупредит вас.

Если вы не собираетесь использовать эту переменную (X), вы можете использовать вместо нее анонимную переменную. Чтобы использовать анонимную переменную, вы должны использовать _ как термин вместо имени переменной.

В вашем примере это будет:

list([]).
list([_|L]) :- list(L).

Answer 2

Гусбро абсолютно прав.Когда вы используете переменную только один раз, вы получите одноэлементную переменную.Ваша программа по-прежнему синтаксически верна, но пролог предполагает, что вы допустили ошибку при вводе кода.Переменная подчеркивания всегда объединяется как true, если ей дан какой-либо ответ.