summaryrefslogtreecommitdiff
path: root/prolog
diff options
context:
space:
mode:
authorAleksander Sadikov <aleksander.sadikov@fri.uni-lj.si>2015-10-17 21:05:43 +0200
committerAleksander Sadikov <aleksander.sadikov@fri.uni-lj.si>2015-10-17 21:05:43 +0200
commit8f0a1bdd9a2f2e0b951dd07c23d7f4db1189aee5 (patch)
treeaefdcdf3d807863c7288415f776d28fa60d7db09 /prolog
parent50c9d4183d7ea0ce0331f0ca3810c23b28251fcd (diff)
Names of Prolog sections added.
Diffstat (limited to 'prolog')
-rw-r--r--prolog/problems/family_relations/father_2/sl.py5
1 files changed, 2 insertions, 3 deletions
diff --git a/prolog/problems/family_relations/father_2/sl.py b/prolog/problems/family_relations/father_2/sl.py
index 178fbc6..7b37aba 100644
--- a/prolog/problems/family_relations/father_2/sl.py
+++ b/prolog/problems/family_relations/father_2/sl.py
@@ -3,13 +3,12 @@
name = 'father/2'
slug = 'X je oče od Y'
-# TODO fix example
description = '''\
<p><code>father(X, Y)</code>: <code>X</code> je oče od <code>Y</code>.</p>
<pre>
- ?- mother(tina, william).
+ ?- father(thomas, william).
true.
- ?- mother(nevia, X).
+ ?- father(aleksander, X).
X = luana ;
X = daniela.
</pre>'''