From 0af0ca48ded7a72c1ba9d5c58f111877fffb9992 Mon Sep 17 00:00:00 2001 From: Aleksander Sadikov <aleksander.sadikov@fri.uni-lj.si> Date: Mon, 29 Feb 2016 14:06:44 +0100 Subject: Hints for aunt/2 improved. --- prolog/problems/family_relations/aunt_2/sl.py | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) (limited to 'prolog/problems') diff --git a/prolog/problems/family_relations/aunt_2/sl.py b/prolog/problems/family_relations/aunt_2/sl.py index 15b6aec..94d0be4 100644 --- a/prolog/problems/family_relations/aunt_2/sl.py +++ b/prolog/problems/family_relations/aunt_2/sl.py @@ -65,12 +65,6 @@ Si morda pozabil, da teta in starš od <code>Y</code> ne smeta biti ista oseba?< <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> -<p><img src="[%@resource Prolog_aunt_07.svg%]" /></p> -''', # TODO: only trigger if sister is not part of correct solution - 'predicate_always_false': '''\ <p>Vse kaže, da tvoj predikat vedno vrne "false". Si mu dal pravilno ime, si se morda pri imenu zatipkal?</p> <p>Če je ime pravilno, se morda splača preveriti tudi, če se nisi zatipkal kje drugje, @@ -78,5 +72,11 @@ je morda kakšna pika namesto vejice ali obratno, morda kakšna spremenljivka z <p>Možno je seveda tudi, da so tvoji pogoji prestrogi ali celo nemogoči (kot bi bila npr. zahteva, da je <code>X</code> hkrati starš in sestra od <code>Y</code>).</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> +<p><img src="[%@resource Prolog_aunt_07.svg%]" /></p> +''', # TODO: only trigger if sister is not part of correct solution } -- cgit v1.2.1