diff options
| author | Aleksander Sadikov <aleksander.sadikov@fri.uni-lj.si> | 2015-10-17 21:05:43 +0200 |
|---|---|---|
| committer | Aleksander Sadikov <aleksander.sadikov@fri.uni-lj.si> | 2015-10-17 21:05:43 +0200 |
| commit | 8f0a1bdd9a2f2e0b951dd07c23d7f4db1189aee5 (patch) | |
| tree | aefdcdf3d807863c7288415f776d28fa60d7db09 | |
| parent | 50c9d4183d7ea0ce0331f0ca3810c23b28251fcd (diff) | |
Names of Prolog sections added.
| -rw-r--r-- | prolog/problems/family_relations/father_2/sl.py | 5 |
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>''' |