Toggle navigation
?
users online
Logout
Open hangout
Open chat for current file
:- set_prolog_flag(double_quotes, string). /* факты - пары для четырёх стран */ euro_pair("France","Germany"). euro_pair("France","Spain"). euro_pair("France","Italy"). euro_pair("Germany","Spain"). euro_pair("Germany","Italy"). euro_pair("Spain","Italy"). /* пары стран с общей границы */ border("France","Germany"). border("France","Spain"). border("France","Italy"). /* правило - пара стран не имеет общей границы, если существует вообще такая пара и этой пары не в списке пар с общей границей */ find_non_border_pair :- euro_pair(X,Y), not(border(X,Y)), format("No border ~w with ~w~n", [X,Y]), fail ; true. /** <examples> ?- find_non_border_pair. */