diff options
author | Martin <martin@leo.fri1.uni-lj.si> | 2015-09-23 10:21:51 +0200 |
---|---|---|
committer | Martin <martin@leo.fri1.uni-lj.si> | 2015-09-23 10:21:51 +0200 |
commit | bb366684ada98e140b1911c54d6c40fd911904cf (patch) | |
tree | e3b4f50ffd033d179c0c38d290ce33b7f99c800a /prolog/problems/family_relations/aunt_2/sl.py | |
parent | e0a5dd801c8382848b28503a81c141d0d15f5833 (diff) | |
parent | 76639241146ac5655ae04ea773ada420adb15295 (diff) |
Merge branch 'master' of 192.168.15.97:codeq-problems
Diffstat (limited to 'prolog/problems/family_relations/aunt_2/sl.py')
-rw-r--r-- | prolog/problems/family_relations/aunt_2/sl.py | 60 |
1 files changed, 60 insertions, 0 deletions
diff --git a/prolog/problems/family_relations/aunt_2/sl.py b/prolog/problems/family_relations/aunt_2/sl.py new file mode 100644 index 0000000..95fc6b2 --- /dev/null +++ b/prolog/problems/family_relations/aunt_2/sl.py @@ -0,0 +1,60 @@ +# coding=utf-8 + +id = 98 +name = 'aunt/2' +slug = 'X je teta od Y' + +description = '''\ +<p><code>aunt(X, Y)</code>: <code>X</code> je teta od <code>Y</code>.</p> +<pre> + ?- aunt(sally, X). + X = vanessa ; + X = patricia. +</pre>''' + +plan = ['''\ +<p>Morda lahko uporabiš rešitev kakšne prejšnje naloge?</p> +<p><img src="Aunt-5.png" /></p> +<p>Loni naj zbriše imena relacij (parent, sister) s te slike!</p> +''', '''\ +<p><img src="Aunt-5.png" /></p> +''', '''\ +<p>Če je <code>X</code> sestra od starša od <code>Y</code>, +potem je <code>X</code> teta od <code>Y</code>.</p> +'''] + +hint = { + 'x_and_y_mixed_up': '''\ +<p><code>X</code> mora biti teta od <code>Y</code>, ne obratno.</p> +''', + + 'precedence_fail': '''\ +<p>Si morda narobe upošteval prioriteto operatorjev IN ter ALI?</p> +<p>Operator IN veže močneje od ALI, če želiš spremeniti prioriteto, +lahko uporabiš oklepaje.</p> +''', + + 'x_must_be_female': '''\ +<p>Teta je navadno ženskega spola.</p> +''', # TODO: Loni should mark female gender on some aunt hints! + + 'aunt_vs_mother': '''\ +<p>Kako je teta lahko hkrati še mama od <code>Y</code>? +Si morda pozabil, da teta in starš od <code>Y</code> ne smeta biti ista oseba?</p> +<p><img src="Aunt-4.png" /></p> +''', + + 'x_need_not_be_parent': '''\ +<p><code>X</code> pravzaprav ne rabi imeti otrok, da je lahko teta od nekoga...</p> +''', + + 'y_need_not_be_parent': '''\ +<p>Nečak ali nečakinja <code>Y</code> pravzaprav ne rabi imeti otrok, da ima teto...</p> +''', + + 'interesting_tidbit': '''\ +<p>Zanimivost: nalogo bi lahko rešil tudi z uporabo rešitve za relacijo "sister". +Teta je namreč sestra od starša od <code>Y</code>.</p> +''', # TODO: only trigger if sister is not part of correct solution +} + |