From 138610b0709d6e251c16b391242023eec393d775 Mon Sep 17 00:00:00 2001 From: Timotej Lazar <timotej.lazar@fri.uni-lj.si> Date: Mon, 15 Feb 2016 20:17:49 +0100 Subject: Prolog: add a graph of family relations --- prolog/problems/family_relations/ancestor_2/sl.py | 18 +++++++++++------- 1 file changed, 11 insertions(+), 7 deletions(-) (limited to 'prolog/problems/family_relations/ancestor_2') diff --git a/prolog/problems/family_relations/ancestor_2/sl.py b/prolog/problems/family_relations/ancestor_2/sl.py index 0308cde..081732b 100644 --- a/prolog/problems/family_relations/ancestor_2/sl.py +++ b/prolog/problems/family_relations/ancestor_2/sl.py @@ -4,13 +4,17 @@ name = 'ancestor/2' slug = 'X je prednik od Y' description = '''\ -<p><code>ancestor(?X, ?Y)</code>: <code>X</code> je prednik (oče, mama, dedek, …) od <code>Y</code>.</p> -<pre> -?- ancestor(patricia, X). - X = john ; - X = michael ; - X = michelle. -</pre>''' +<p><code>ancestor(?X, ?Y)</code>: <code>X</code> je prednik (oče, mama, babica, +pradedek, …) od <code>Y</code>.</p> <pre> +?- ancestor(patricia, Y). + Y = john ; + Y = michael ; + Y = michelle. +</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>Sedaj pa bo potrebna rekurzija... kako lahko problem prevedem na (en korak) manjši problem?</p> -- cgit v1.2.1