From 8f0a1bdd9a2f2e0b951dd07c23d7f4db1189aee5 Mon Sep 17 00:00:00 2001 From: Aleksander Sadikov Date: Sat, 17 Oct 2015 21:05:43 +0200 Subject: Names of Prolog sections added. --- prolog/problems/family_relations/father_2/sl.py | 5 ++--- 1 file 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 = '''\

father(X, Y): X je oče od Y.

-  ?- mother(tina, william).
+  ?- father(thomas, william).
     true.
-  ?- mother(nevia, X).
+  ?- father(aleksander, X).
     X = luana ;
     X = daniela.
 
''' -- cgit v1.2.1