Prolog добавить переменную в список

Question

Я хочу добавить в список переменную N, связанную с числом.

N = 1. 

append([N], [2,3,4], Z). 

Z = [N,2,3,4]. //Wrong output! 

Я хочу, чтобы получить Z = [1,2,3,4]

Как добавить номер части переменной, а не сама фактическая переменная?

Answer 1

Боюсь, что у Prolog нет назначений переменных, как вы привыкли, просто привязка переменных. Так что "заявление"

N = 1. 
append([N], [2,3,4], Z). 

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

N = 1, append([N], [2,3,4], Z). 

Если вы действительно нуждаетесь в глобальную переменную, вы всегда можете использовать факт или asserta/1 определить один динамически.

Также обратите внимание: в будущем вы, вероятно, захотите убедиться, что используете is вместо = при работе с цифрами.

Answer 2

Какой Пролог вы используете? Все прологи, о которых я знаю, сначала дадут ответ для N = 1. Это должно дать понять, что Prolog сначала ответил на запрос N = 1N = 1, который сначала может показаться немного странным. Например, здесь находится GNU:

| ?- N = 1. 

N = 1 

yes 
| ?- 
append([N], [2,3,4], Z). 

Z = [N,2,3,4] 

yes