name = 'flows/2' slug = '' description = '''\
flows(X, Y)
: reka X
se izliva v morje Y
.
Predikat naj sledi toku skozi različne reke - Drina se npr. priključi Savi,
ki se priključi Donavi, ki teče v Črno morje, zato naj program odgovori tako:
?- flows('Drina', Y). Y = 'Black Sea'.
Podatki o rekah so predstavljeni s predikatom
river(Name, FlowsToRiver, FlowsToLake, FlowsToSea, Length, Area, SourceLat, SourceLon, SourceName, SourceElevation, MouthLat, MouthLon).
Za vsako reko je podan največ en izmed argumentov FlowsToRiver
,
FlowsToLake
in FlowsToSea
, ki pove, v katero reko,
jezero oziroma morje se izliva; ostala dva argumenta pa sta null
.
'''
plan = [
'''\
Reke, ki se izlivajo neposredno v morje, lahko dobimo s poizvedbo:
?- river(River, _, _, Sea, _, _, _, _, _, _, _, _), Sea \= null. River = 'Thjorsa', Sea = 'Atlantic Ocean' ; River = 'Thames', Sea = 'North Sea' ; …''', ] hint = {}