Пролог: итерация

Question

Добрый вечер, у меня простая проблема, и я предупреждаю вас, что я новичок в прологе.Предположим, у вас есть три списка одинакового размера, каждый из которых содержит только 1, 0 или -1.Я хочу проверить, что для всех i из i-го элемента трех списков один и только один ненулевой.

Этот код делает это для фиксированного i:

:- use_module(library(clpfd)).

compat1(V1,V2,V3,I) :-
    length(V1,G),
    nth1(I,V1,X),
    nth1(I,V2,Y),
    nth1(I,V3,Z),
    W is X*X+Y*Y+Z*Z,
    W is 1,
    I in 1..G.

как я могу сказать "для ВСЕГО, я compat1 (V1, V2, V3, I)"?Я попытался определить

compat2(V1,V2,V3,1) :- compat1(V1,V2,V3,1).
compat2(V1,V2,V3,K) :- compat2(V1,V2,V3,J), compat1(V1,V2,V3,K), K is J+1.

, чтобы я мог вызвать его с K = максимальным значением, которое меня интересует. Но compat2 не работает: дает true, затем, после ";"работает бесконечно.

Спасибо!

Answer 1

Некоторые замечания: Смешивание library(clpfd) и (is)/2 в большинстве случаев не очень хорошая идея.Вы можете написать X #= Y + 1 вместо X is Y + 1 с почти такой же эффективностью (в SWI), но с увеличенной общностью.

Интересующее вас отношение относится к i-тым элементам трех списков.То есть мы можем написать: maplist(r, Xs, Ys, Zs), где r/3 - интересующее вас отношение. Поэтому мы должны определить r(X,Y,Z).

А как насчет abs(X)+abs(Y)+abs(Z) #= 1?

Сlibrary(lambda) Вы можете поместить все это в одну строку:

maplist(\X^Y^Z^(abs(X)+abs(Y)+abs(Z) #= 1), Xs, Ys, Zs).

Answer 2

Вы можете сделать это с помощью простой рекурсии. Программа только проверяет ввод, его нельзя использовать для генерации решений. Если вам это нужно, вы должны сказать, какие значения допустимы в фактах, например, добавив onlyOne(0,0,1). onlyOne(0,0,-1). и т. д.

onlyOne(0,0,_).
onlyOne(0,_,0).
onlyOne(_,0,0).
onlyOne([],[],[]).
onlyOne([H1|T1],[H2|T2],[H3|T3]) :- onlyOne(H1,H2,H3), onlyOne(T1,T2,T3).

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

onlyOne(0,0,X) :- X \= 0.
onlyOne(0,X,0) :- X \= 0.
onlyOne(X,0,0) :- X \= 0.