Задания для выполнения на языке prolog (первое знакомство с языком)

В архиве лежат задания для выполнения на языке пролог, всего четыре файла на темы водоёмов, животных и родственников.

Задать следующие факты:

X есть река
river(X)

X есть озеро
lake(X)

X есть море
sea(X)

X есть океан
ocean(X)

X впадает в Y
flow_into(X, Y)

X вытекает из Y
flow_from(X, Y)

X граничит с Y
border(X, Y)

X включает Y
include_into(X, Y)


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

Задание 1
Опеределить, что X есть приток Y
tributary(X, Y)

Задание 2
Опеределить, что X и Y имеют общий сток
common_drain(X, Y)

Задание 3
Опеределить, что X и Y имеют общий исток
common_source(X, Y)

Задание 4
Опеределить, что из X можно попасть в У,  но не более чем через 2 водоема
coupled(X, Y)

Задание 5
Опеределить, что X принадлежит бассейну реки Y
river_basin(X, Y)

Задание 6
Опеределить, что X есть пресный водоем
sweet_reservoir(X)
% опеределить, что X есть соленый водоем
salt_reservoir(X)