diff options
| author | Aleksander Sadikov <aleksander.sadikov@fri.uni-lj.si> | 2015-10-17 20:56:52 +0200 |
|---|---|---|
| committer | Aleksander Sadikov <aleksander.sadikov@fri.uni-lj.si> | 2015-10-17 20:56:52 +0200 |
| commit | 50c9d4183d7ea0ce0331f0ca3810c23b28251fcd (patch) | |
| tree | 1af8ec90ab7d67860a9fedabdce286905fabe553 | |
| parent | 2cc85c960b5463adaa511cb717350c69dee275c1 (diff) | |
Names of Prolog sections added.
| -rw-r--r-- | prolog/problems/family_relations/father_2/en.py | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/prolog/problems/family_relations/father_2/en.py b/prolog/problems/family_relations/father_2/en.py index 722c016..bde9a2d 100644 --- a/prolog/problems/family_relations/father_2/en.py +++ b/prolog/problems/family_relations/father_2/en.py @@ -1,14 +1,14 @@ # coding=utf-8 -name = 'mother/2' -slug = 'the mother-child relation' +name = 'father/2' +slug = 'the father-child relation' description = '''\ -<p><code>mother(M, C)</code>: <code>M</code> is the mother of <code>C</code>.</p> +<p><code>father(X, Y)</code>: <code>X</code> is the father of <code>Y</code>.</p> <pre> - ?- mother(tina, william). + ?- father(thomas, william). true. - ?- mother(nevia, X). + ?- father(aleksander, X). X = luana ; X = daniela. </pre>''' |