diff options
Diffstat (limited to 'prolog/problems/family_relations/father_2')
| -rw-r--r-- | prolog/problems/family_relations/father_2/sl.py | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/prolog/problems/family_relations/father_2/sl.py b/prolog/problems/family_relations/father_2/sl.py index adb6fd9..4f7f3de 100644 --- a/prolog/problems/family_relations/father_2/sl.py +++ b/prolog/problems/family_relations/father_2/sl.py @@ -8,10 +8,14 @@ description = '''\ <pre> ?- father(thomas, william). true. -?- father(aleksander, X). - X = luana ; - X = daniela. -</pre>''' +?- father(aleksander, Y). + Y = luana ; + Y = daniela. +</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 = [ '''\ |