predicates
 nondeterm river(symbol)
 nondeterm lake(symbol)
 nondeterm sea(symbol)
 nondeterm ocean(symbol)
 
 nondeterm flow_into(symbol, symbol)
 nondeterm flow_from(symbol, symbol)
 nondeterm border(symbol, symbol)
 nondeterm include_into(symbol, symbol)
 nondeterm coupled(symbol, symbol)
 %nondeterm coupled(symbol, symbol, integer)
clauses

% X есть река
river("Мезень").
river("Пинега").
river("Печора").
river("Мизень").
river("Онега").
river("Северная Двина").
river("Ижма").
river("Беломорско-Балтийский канал").

% X есть озеро
lake("Кереть").
lake("Онежская губа").
lake("Кандалакшский залив").
lake("Топозеро").
lake("Имандра").
lake("Онежское озеро").
lake("Выгорево").
lake("Двинская губа").
lake("Мезенская губа").
lake("Кандалакшский залив").
lake("Печорская губа").

% X есть море
sea("Баренцево море").
sea("Белое море").
sea("Печорское море").

% X есть океан
ocean("Северный ледовитый океан").

% X впадает в Y
flow_into("Беломорско-Балтийский канал", "Онежская губа").
flow_into("Мезень", "Мезенская губа").
flow_into("Пинега", "Северная Двина").
flow_into("Ижма", "Печора").

% X вытекает из Y
flow_from("Беломорско-Балтийский канал", "Выгорево").

% X граничит с Y
border("Онежское озеро", "Выгорево").
border("Белое море", "Баренцево море").
border("Баренцево море", "Печорское море").

% X включает Y
include_into("Белое море", "Двинская губа").
include_into("Белое море", "Кандалакшский залив").
include_into("Белое море", "Онежская губа").
include_into("Белое море", "Мезенская губа").
include_into("Печорское море", "Печорская губа").
include_into("Северный ледовитый океан", "Баренцево море").
include_into("Северный ледовитый океан", "Печорское море").



% --------------------- Индивидуальные задания ------------------------

% опеределить, что из X можно попасть в У,  но не более чем через 2 водоема
coupled(X, Y):- include_into(X, Y).
coupled(X, Y):- flow_into(X, Y).
coupled(X, Y):- flow_from(X, Y).
coupled(X, Y):- border(X, Y).

coupled(X, Y):-coupled(X, Z), coupled(Z, Y).
%coupled(X, Y):- coupled(X, Y, 0).
%coupled(X, Y, I):-I > 0, I1 = I - 1, coupled(X, Y, I1), coupled(X, Y).
%coupled(X, Y, 3).

goal
coupled("Чешская губа", "Баренцево море").