Понимание этой прологовой реализации главы

Question

head([Y],Y):-!.

head([X|XS],X).

Я понимаю, что заголовок списка хранится в переменной X.

Что означает первое предложение?Это разрез?Почему?

Answer 1

Реализация head/2 это просто:

head([X | _], X).

Обратите внимание, что подчеркивание здесь означает "ноль или более элементов, которые нас не волнуют".

Нет необходимости выделять случай, когда в списке есть только один элемент (а затем использовать вырез).

Answer 2

Первое предложение означает, что если у вас есть только один элемент в списке, его истинное значение будет иметь (Y) заголовок. Так что да, это сокращение, потому что оно говорит прологу, чтобы он прекратил искать ответы, если он успешен до этого момента. Затем второе предложение расширяется наличием более одного элемента в списке.