summaryrefslogtreecommitdiff
path: root/prolog/problems/family_relations/aunt_2/sl.py
diff options
context:
space:
mode:
Diffstat (limited to 'prolog/problems/family_relations/aunt_2/sl.py')
-rw-r--r--prolog/problems/family_relations/aunt_2/sl.py12
1 files changed, 8 insertions, 4 deletions
diff --git a/prolog/problems/family_relations/aunt_2/sl.py b/prolog/problems/family_relations/aunt_2/sl.py
index 71f774f..81014f4 100644
--- a/prolog/problems/family_relations/aunt_2/sl.py
+++ b/prolog/problems/family_relations/aunt_2/sl.py
@@ -6,10 +6,14 @@ 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>'''
+?- aunt(sally, Y).
+ Y = vanessa ;
+ Y = patricia.
+</pre>
+<p><a target="_blank" href="[%@resource famrel.svg%]">Družinska drevesa</a> so
+podana s predikati <code>parent/2</code>, <code>male/1</code> in
+<code>female/1</code>.</p>
+'''
plan = ['''\
<p>Morda lahko uporabiš rešitev kakšne prejšnje naloge?</p>