diff options
author | Martin Možina <martin.mozina@fri.uni-lj.si> | 2016-10-25 11:44:37 +0200 |
---|---|---|
committer | Martin Možina <martin.mozina@fri.uni-lj.si> | 2016-10-25 11:44:37 +0200 |
commit | 656c66097e806b4c53646ea1fff3d8615426d304 (patch) | |
tree | 172d4cccd187380bfdc81df3f195f5304d9f4d34 /prolog/problems/world_data/flows_2/sl.py | |
parent | 0bfa95be7046b101a00f83f082260b5d0e007159 (diff) | |
parent | 9d662ae9b7a84b3826e91d2af17f251daaabcd79 (diff) |
Merge branch 'master' of 192.168.15.97:codeq-problems
Diffstat (limited to 'prolog/problems/world_data/flows_2/sl.py')
-rw-r--r-- | prolog/problems/world_data/flows_2/sl.py | 34 |
1 files changed, 34 insertions, 0 deletions
diff --git a/prolog/problems/world_data/flows_2/sl.py b/prolog/problems/world_data/flows_2/sl.py new file mode 100644 index 0000000..ef46f6b --- /dev/null +++ b/prolog/problems/world_data/flows_2/sl.py @@ -0,0 +1,34 @@ +name = 'flows/2' +slug = '' + +description = '''\ +<p><code>flows(X, Y)</code>: reka <code>X</code> se izliva v morje <code>Y</code>. +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:</p> +<pre> +?- flows('Drina', Y). + Y = 'Black Sea'. +</pre> +<p>Podatki o rekah so predstavljeni s predikatom</p> +<pre> +river(Name, FlowsToRiver, FlowsToLake, FlowsToSea, Length, Area, + SourceLat, SourceLon, SourceElevation, MouthLat, MouthLon). +</pre> +<p>Za vsako reko je podan največ en izmed argumentov <code>FlowsToRiver</code>, +<code>FlowsToLake</code> in <code>FlowsToSea</code>, ki pove, v katero reko, +jezero oziroma morje se izliva; ostala dva argumenta pa sta <code>null</code>. +''' + +plan = [ + '''\ +<p>Reke, ki se izlivajo neposredno v morje, lahko dobimo s poizvedbo:</p> +<pre> +?- river(River, _, _, Sea, _, _, _, _, _, _, _, _), Sea \= null. + River = 'Thjorsa', Sea = 'Atlantic Ocean' ; + River = 'Thames', Sea = 'North Sea' ; + … +</pre> +''', +] + +hint = {} |