базовый регистр для возврата false на условие пролог

Question

Я работаю над базовым проектом в Prolog. Я хочу написать функцию, которая возвращает число, основанное на списке ввода. Я также хочу убедиться, что, когда список ввода пуст, результат будет ложным. Функция должна быть такой: parseList (List, N), где N - число. Я хотел бы знать способ, который возвращает False, когда мы попробуем

parseList([], N). 

где N - любое число.

Я попытался сделать это для базового случая

parseList([], False). 

Однако, это не похоже на работу.

Может ли кто-нибудь помочь мне в этом? Спасибо!

Answer 1

Как сказал Луркер в своем комментарии, в этом случае, оставляя пустое условие списка, и обработка списка одного элемента приведет к сбою пустого списка. Однако в более общем случае, если вы хотите объявить неверное правило, просто включите false, потому что это никогда не может быть правдой, или fail, который делает то же самое. Например:

parseList([],_) :- false. 

или (ныне устаревший)

parseList([],_) :- fail. 

(где _ используются для обозначения несущественных переменного, в противном случае одноплодного переменного предупреждение будет срабатывать).