diff options
author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-02-15 20:17:49 +0100 |
---|---|---|
committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-02-15 20:17:49 +0100 |
commit | 138610b0709d6e251c16b391242023eec393d775 (patch) | |
tree | a3ad175f0b2530348cfb7162265b18534651a161 /prolog/problems/family_relations/descendant_2 | |
parent | 1e8acd4046a4315822bfd65718553733c17fbb3e (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.py | 17 |
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> |