:- discontiguous task_info/0.

vessels([бутылка, стакан, кувшин, банка]).
liquids([молоко, лимонад, квас, вода]).

index_of([H|_], H, 1) :- !.
index_of([_|T], X, I) :- index_of(T, X, I1), I is I1 + 1.

adjacent(I, J) :- J is I + 1 ; I is J + 1.

between_pos(Mid, Left, Right) :-
	(Mid > Left, Mid < Right) ; (Mid < Left, Mid > Right).

solve_puzzle(Solution) :-
	vessels(VNames),
	liquids(Ls),
	% Перестановка судов и жидкостей по позициям 1..4
	permutation(VNames, [V1, V2, V3, V4]),
	permutation(Ls,     [L1, L2, L3, L4]),
	Solution = [(V1,L1),(V2,L2),(V3,L3),(V4,L4)],
	Vessels = [V1,V2,V3,V4],
	Liquids  = [L1,L2,L3,L4],
	
	% Условие 1: Вода и молоко не в бутылке
	(   V1 = бутылка -> (L1 \= вода, L1 \= молоко) ; true),
	(   V2 = бутылка -> (L2 \= вода, L2 \= молоко) ; true),
	(   V3 = бутылка -> (L3 \= вода, L3 \= молоко) ; true),
	(   V4 = бутылка -> (L4 \= вода, L4 \= молоко) ; true),
	
	% Условие 2: Сосуд с лимонадом находится между кувшином и сосудом с квасом
	index_of(Vessels, кувшин, JugPos),
	index_of(Liquids,  лимонад, LemonPos),
	(   (L1 = квас, KvassPos = 1)
	;   (L2 = квас, KvassPos = 2)
	;   (L3 = квас, KvassPos = 3)
	;   (L4 = квас, KvassPos = 4)
	),
	between_pos(LemonPos, JugPos, KvassPos),
	
	% Условие 3: В банке — не лимонад и не вода
	(   V1 = банка -> (L1 \= лимонад, L1 \= вода) ; true),
	(   V2 = банка -> (L2 \= лимонад, L2 \= вода) ; true),
	(   V3 = банка -> (L3 \= лимонад, L3 \= вода) ; true),
	(   V4 = банка -> (L4 \= лимонад, L4 \= вода) ; true),
	
	% Условие 4: Стакан находится около банки и сосуда с молоком
	index_of(Vessels, стакан, GlassPos),
	index_of(Vessels, банка,  JarPos),
	(   (L1 = молоко, MilkPos = 1)
	;   (L2 = молоко, MilkPos = 2)
	;   (L3 = молоко, MilkPos = 3)
	;   (L4 = молоко, MilkPos = 4)
	),
	adjacent(GlassPos, JarPos),
	adjacent(GlassPos, MilkPos).

pretty_print_solution(Solution) :-
	write('Решение (слева направо):'), nl,
	forall(member((V,L), Solution), (write('  '), write(V), write(' — '), write(L), nl)).

solve_and_print :-
	findall(S, solve_puzzle(S), Sols),
	forall(member(S, Sols), (pretty_print_solution(S), nl)).

task_info :-
	write('Логическая задача о четырех сосудах и четырех жидкостях.'), nl,
	write('Вызовите solve_and_print. Или solve_puzzle(Solution).'), nl.

show_examples :-
	write('Примеры запросов:'), nl,
	write('?- solve_puzzle(S), pretty_print_solution(S).'), nl,
	write('?- solve_and_print.'), nl.