Помогите с решением задачи на Prolog

[DarkZiMAN]

Задача:

В известной русской народной сказке "Колобок" все было совсем не так. Бабка конечно по амбарам помела, по сусекам поскребла и колобок все-таки испекла. А вот последовательность тех от кого он ушел была другой. Часть истории утеряна, но известно, что:
- Дед был вторым или бабка - третьей;
- Медведь был вторым или бабка первой;
- Лиса была вторая, а может бабка его и съела.
В каком порядке надо расположить всех от кого колобок ушел в этой задаче, чтобы все условия были выполнены.


Только недавно начал изучать Пролог, и тут такую задачу нада решить, помогите пожалуйста...

[DarkZiMAN]

хех... вот ответ, может кому-то надо будет

Эта задача не имеет решения.

Вот, доказательство этого:

Обозначим участников данной сказки так:
Дед – D;
Бабка –B;
Медведь – M;
Лиса – L.

solve(S):-
    S = [medved/M, babushka/B,lisa/L, dedushka/D],
    p([1,2,3,4], [M, B, L, D]),
    (D = 2; B = 3),(M = 2; B = 1),(L = 2; B = 4).

insert(H, L, LH) :-
    append(L1, L2, L),
    append(L1, [H | L2], LH).

p([], []):-!.
p([H | T], P) :-p(T, Pt),
    insert(H, Pt, P).

append([H | T], L, [H | R]) :- append(T, L, R).
append([], L, L):-!.

?- solve(S),write(S),nl.

Ответ No.