:- ['predicates.pl'].

demo :-
	write('=== ДЕМОНСТРАЦИЯ LAB9 TASK4: ЛОГИЧЕСКАЯ ЗАДАЧА ==='), nl, nl,
	write('Условия:'), nl,
	write('- Вода и молоко не в бутылке'), nl,
	write('- Сосуд с лимонадом находится между кувшином и сосудом с квасом'), nl,
	write('- В банке — не лимонад и не вода'), nl,
	write('- Стакан находится около банки и сосуда с молоком'), nl, nl,
	
	write('Решение:'), nl,
	solve_puzzle(S),
	pretty_print_solution(S), nl,
	write('=== ДЕМОНСТРАЦИЯ ЗАВЕРШЕНА ==='), nl.