From c50452d81b08d54b734f1da73b736bfbc2997215 Mon Sep 17 00:00:00 2001 From: Aleksander Sadikov Date: Tue, 22 Sep 2015 17:57:04 +0200 Subject: New problems with hints for famrel section added. This practically completes famrel section without some details. --- prolog/problems/family_relations/aunt_2/sl.py | 60 +++++++++++++++++++++++++++ 1 file changed, 60 insertions(+) create mode 100644 prolog/problems/family_relations/aunt_2/sl.py (limited to 'prolog/problems/family_relations/aunt_2/sl.py') 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 = '''\ +

aunt(X, Y): X je teta od Y.

+
+  ?- aunt(sally, X).
+    X = vanessa ;
+    X = patricia.
+
''' + +plan = ['''\ +

Morda lahko uporabiš rešitev kakšne prejšnje naloge?

+

+

Loni naj zbriše imena relacij (parent, sister) s te slike!

+''', '''\ +

+''', '''\ +

Če je X sestra od starša od Y, +potem je X teta od Y.

+'''] + +hint = { + 'x_and_y_mixed_up': '''\ +

X mora biti teta od Y, ne obratno.

+''', + + 'precedence_fail': '''\ +

Si morda narobe upošteval prioriteto operatorjev IN ter ALI?

+

Operator IN veže močneje od ALI, če želiš spremeniti prioriteto, +lahko uporabiš oklepaje.

+''', + + 'x_must_be_female': '''\ +

Teta je navadno ženskega spola.

+''', # TODO: Loni should mark female gender on some aunt hints! + + 'aunt_vs_mother': '''\ +

Kako je teta lahko hkrati še mama od Y? +Si morda pozabil, da teta in starš od Y ne smeta biti ista oseba?

+

+''', + + 'x_need_not_be_parent': '''\ +

X pravzaprav ne rabi imeti otrok, da je lahko teta od nekoga...

+''', + + 'y_need_not_be_parent': '''\ +

Nečak ali nečakinja Y pravzaprav ne rabi imeti otrok, da ima teto...

+''', + + 'interesting_tidbit': '''\ +

Zanimivost: nalogo bi lahko rešil tudi z uporabo rešitve za relacijo "sister". +Teta je namreč sestra od starša od Y.

+''', # TODO: only trigger if sister is not part of correct solution +} + -- cgit v1.2.1