Сравнение значений возвращаемого значения Prolog

Question

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

К тому времени я создал функцию, которая Concat элементы списка списков:

concat([[]|L],L3):- concat(L,L3). 
concat([[Head|L1]|L2],[Head|L3]):- concat([L1|L2],L3),!. 

Теперь, что мне нужно знать, как сделать возвращаемое значение этой функции и сравнить его с list (второй аргумент функции).

Answer 1

Это один подход, который позволит до одного элементы в подсписке, но не пустой подсписок:

concat([[L]], [L]). 
concat([[H],L|T], [H|R]) :- concat([L|T], R). 
concat([[H1,H2|T]|LT], [H1|RT]) :- concat([[H2|T]|LT], RT). 

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

Если у вас есть переменная, Y, уже инстанцированный, и вы хотите знать, если это является результатом конкатенации список списков, LL, вы просто запрос:

concat(LL, Y). 

Это будет true если Y является объединением списка LL и false если нет. Вам не нужно «возвращать и сравнивать» (как, например, в C, можно сказать, concat(LL) == Y, или concat(LL, X); if (X == Y)...). Это связано с тем, что concat - отношение , определенное между двумя аргументами, и определяет, можно ли сделать запрос true, следуя указанным правилам (предложения предиката).

Если вы уже получили результат и хотите, чтобы определить, является ли это unifiable другой переменной, Z, то вы можете сказать:

concat(X, Y), Y = Z. 

Обратите внимание, что в Прологе concat(X, Y) == Z не является правильным, чтобы определить, является ли результат предиката равна Z, потому что это не функция, которая возвращает значение.

Answer 2

Пролог не имеет функций или возвращает значения в смысле процедурного языка программирования. Он имеет предикаты, которые утверждают, что отношения. Он имеет условия, которые включают в себя переменные который поставляется с некоторыми стриктур:

• Все переменные являются локальными и
• переменной, когда присваивается значение, перестает быть переменной. Вот почему это называется унификация.

Так ....

Если вы хотите, предикат, который будет принимать два списка и производить их конкатенацию, вам необходимо пройти его третьей переменной. Вы можете вызвать его так:

concat([a,b],[c,d],X). 

, который утверждает, что X является конкатенация [a,b] и [c,d]. Механизм вывода Prolog затем оценит правду или фальшь утверждения.

В большинстве рекурсивных проблем есть несколько особых случаев и более общий случай. Реализация такого предиката concat/3 может выглядеть примерно так (аннотированный, чтобы объяснить, что он делает).

• Во-первых, у нас есть один специальный (и заканчивающуюся) случай: Если список левый пуст, конкатенация просто список правой.

  concat ([], Bs, Bs).

• Далее, у нас есть один общий случай: если список левосторонний не пусто, мы должны предварять его к concatentation, что мы строим

  CONCAT (а затем рекурсия вниз.) ([A | As], Bs, [A | Cs]): - concat (As, Bs, Cs).

Это все, что есть два. Вы также заметите, что это двунаправлено: он также счастлив разделить списки отдельно.Призывая это так:

concat(Prefix , Suffix, [a,b,c,d]). 

будет, по возвратам, производить все возможные способы, которые [a,b,c,d] можно разделить на приставку и суффикс:

Prefix Suffix 
--------- --------- 
[]  [a,b,c,d] 
[a]  [b,c,d] 
[a,b]  [c,d] 
[a,b,c] [d] 
[a,b,c,d] [] 

Answer 3

Вам просто нужно базовый случай

concat([],[]). 
concat([[]|L],L3):- concat(L,L3). 
concat([[Head|L1]|L2],[Head|L3]):- concat([L1|L2],L3). 

Он также работает для пустых (суб) списков. Я удалил бесполезный разрез.