From 86bfc55d2ddc19b79127f2c788609635b702dbfd Mon Sep 17 00:00:00 2001 From: Aleksander Sadikov Date: Sat, 17 Oct 2015 20:04:54 +0200 Subject: Family relations section fully hint-ready (just a few minor things missing). --- .../family_relations/father_2/Prolog_father_01.svg | 310 ++++++++++++++++++ .../family_relations/father_2/Prolog_father_02.svg | 352 +++++++++++++++++++++ .../family_relations/father_2/Prolog_father_03.svg | 312 ++++++++++++++++++ .../family_relations/father_2/Prolog_father_04.svg | 325 +++++++++++++++++++ 4 files changed, 1299 insertions(+) create mode 100644 prolog/problems/family_relations/father_2/Prolog_father_01.svg create mode 100644 prolog/problems/family_relations/father_2/Prolog_father_02.svg create mode 100644 prolog/problems/family_relations/father_2/Prolog_father_03.svg create mode 100644 prolog/problems/family_relations/father_2/Prolog_father_04.svg (limited to 'prolog/problems/family_relations/father_2') diff --git a/prolog/problems/family_relations/father_2/Prolog_father_01.svg b/prolog/problems/family_relations/father_2/Prolog_father_01.svg new file mode 100644 index 0000000..f18322e --- /dev/null +++ b/prolog/problems/family_relations/father_2/Prolog_father_01.svg @@ -0,0 +1,310 @@ + + + + + + + + + + +]> + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/prolog/problems/family_relations/father_2/Prolog_father_02.svg b/prolog/problems/family_relations/father_2/Prolog_father_02.svg new file mode 100644 index 0000000..4ceeeae --- /dev/null +++ b/prolog/problems/family_relations/father_2/Prolog_father_02.svg @@ -0,0 +1,352 @@ + + + + + + + + + + +]> + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/prolog/problems/family_relations/father_2/Prolog_father_03.svg b/prolog/problems/family_relations/father_2/Prolog_father_03.svg new file mode 100644 index 0000000..fb3ffb1 --- /dev/null +++ b/prolog/problems/family_relations/father_2/Prolog_father_03.svg @@ -0,0 +1,312 @@ + + + + + + + + + + +]> + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/prolog/problems/family_relations/father_2/Prolog_father_04.svg b/prolog/problems/family_relations/father_2/Prolog_father_04.svg new file mode 100644 index 0000000..dacacce --- /dev/null +++ b/prolog/problems/family_relations/father_2/Prolog_father_04.svg @@ -0,0 +1,325 @@ + + + + + + + + + + +]> + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + -- cgit v1.2.1 From 50c9d4183d7ea0ce0331f0ca3810c23b28251fcd Mon Sep 17 00:00:00 2001 From: Aleksander Sadikov Date: Sat, 17 Oct 2015 20:56:52 +0200 Subject: Names of Prolog sections added. --- prolog/problems/family_relations/father_2/en.py | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'prolog/problems/family_relations/father_2') 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 = '''\ -

mother(M, C): M is the mother of C.

+

father(X, Y): X is the father of Y.

-  ?- mother(tina, william).
+  ?- father(thomas, william).
     true.
-  ?- mother(nevia, X).
+  ?- father(aleksander, X).
     X = luana ;
     X = daniela.
''' -- cgit v1.2.1 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(-) (limited to 'prolog/problems/family_relations/father_2') 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