summaryrefslogtreecommitdiff
path: root/prolog/problems/family_relations/descendant_2
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-02-15 20:17:49 +0100
committerTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-02-15 20:17:49 +0100
commit138610b0709d6e251c16b391242023eec393d775 (patch)
treea3ad175f0b2530348cfb7162265b18534651a161 /prolog/problems/family_relations/descendant_2
parent1e8acd4046a4315822bfd65718553733c17fbb3e (diff)
Prolog: add a graph of family relations
Diffstat (limited to 'prolog/problems/family_relations/descendant_2')
-rw-r--r--prolog/problems/family_relations/descendant_2/sl.py17
1 files changed, 11 insertions, 6 deletions
diff --git a/prolog/problems/family_relations/descendant_2/sl.py b/prolog/problems/family_relations/descendant_2/sl.py
index 36231a1..8774ad6 100644
--- a/prolog/problems/family_relations/descendant_2/sl.py
+++ b/prolog/problems/family_relations/descendant_2/sl.py
@@ -4,13 +4,18 @@ name = 'descendant/2'
slug = 'the descendant relation'
description = '''\
-<p><code>descendant(?X, ?Y)</code>: <code>X</code> je potomec (otrok, vnuk, …) od <code>Y</code>.</p>
+<p><code>descendant(?X, ?Y)</code>: <code>X</code> je potomec (otrok, vnuk,
+pravnukinja, …) od <code>Y</code>.</p>
<pre>
-?- descendant(patricia, X).
- X = william ;
- X = tina ;
- X = thomas.
-</pre>'''
+?- descendant(patricia, Y).
+ Y = william ;
+ Y = tina ;
+ Y = thomas.
+</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>Brez rekurzije ne bo šlo... kako lahko problem prevedem na (en korak) manjši problem?</p>