From 11efbb77f76902d25a0a4a5ece9145a55205da16 Mon Sep 17 00:00:00 2001 From: Aleksander Sadikov Date: Tue, 9 Aug 2016 19:21:49 +0200 Subject: English translation for ancestor/2 and descendant/2 updated. --- prolog/problems/family_relations/ancestor_2/en.py | 14 ++-- .../problems/family_relations/descendant_2/en.py | 3 +- prolog/problems/lists_advanced/rev_2/en.py | 83 +++++++++++++++++++++- 3 files changed, 93 insertions(+), 7 deletions(-) (limited to 'prolog') diff --git a/prolog/problems/family_relations/ancestor_2/en.py b/prolog/problems/family_relations/ancestor_2/en.py index 322ab92..8e253bd 100644 --- a/prolog/problems/family_relations/ancestor_2/en.py +++ b/prolog/problems/family_relations/ancestor_2/en.py @@ -2,7 +2,8 @@ name = 'ancestor/2' slug = 'the ancestor relation' description = '''\ -

ancestor(X, Y): X is an ancestor (parent, grandparent, grandgrandparent, ...) of Y.

+

ancestor(X, Y): X is an ancestor (parent, grandparent, great-grandparent, ...) +of Y.

 ?- ancestor(patricia, X).
   X = john ;
@@ -15,13 +16,16 @@ described with predicates parent/2, male/1, and
 '''
 
 plan = ['''\
-
It's time to use recursion for the first time... how can we transpose the problem to a smaller one (a single step smaller that is)?

-
A parent of someone, who is a parent of Y, is also an ancestor of Y.

+
It's time to use recursion for the first time... how can we transpose the problem to a smaller one
+(a single step smaller that is)?

+
A parent of someone, who is a parent of Y,
+is also an ancestor of Y.

 ''', '''\
 
If X is a parent of some Z and that Z is an ancestor of Y,
 then X is also an ancestor of Y.

 ''', '''\
-
If X is a parent of Z, and Z is an ancestor of Y, then X is also an ancestor of Y.

+
If X is a parent of Z, and Z is an ancestor of Y,
+then X is also an ancestor of Y.

 ''']
 
 hint = {
@@ -63,7 +67,7 @@ one another -- assigned values to variables in one branch do not transfer to the
 
     'only_two_levels_deep': '''\
 
Your solution is not general enough. An ancestor can also be someone "more steps away" than grandparents,
-e.g. grandgrandparents or grandgrandgrandparents are also ancestors.

+e.g. great-grandparents or great-great-grandparents are also ancestors.

 ''',
 
     'descendant_need_not_be_parent': '''\
diff --git a/prolog/problems/family_relations/descendant_2/en.py b/prolog/problems/family_relations/descendant_2/en.py
index c50ac17..1217e2a 100644
--- a/prolog/problems/family_relations/descendant_2/en.py
+++ b/prolog/problems/family_relations/descendant_2/en.py
@@ -2,7 +2,8 @@ name = 'descendant/2'
 slug = 'the descendant relation'
 
 description = '''\
-
descendant(X, Y): X is a descendant (child, grandchild, ...) of Y.

+
descendant(X, Y): X is a descendant (child, grandchild, great-grandchild, ...) 
+of Y.

 
 ?- descendant(patricia, X).
   X = william ;
diff --git a/prolog/problems/lists_advanced/rev_2/en.py b/prolog/problems/lists_advanced/rev_2/en.py
index a8161a6..01ed83e 100644
--- a/prolog/problems/lists_advanced/rev_2/en.py
+++ b/prolog/problems/lists_advanced/rev_2/en.py
@@ -10,4 +10,85 @@ description = '''\
   X = [].
 
'''
 
-hint = {}
+plan = ['''\
+
To je ena najlepših in najbolj poučnih nalog. Klasična rekurzija! Problem poskusi zmanjšati. Seveda, prevedi na
+krajši seznam.

+''', '''\
+
Seznamu odvzamem glavo, rekurzija mi obrne rep in vse, kar moram na koncu narediti jaz je, da glavo vstavim nazaj
+v obrnjen rep na pravo mesto.

+''', '''\
+
Če je podani seznam L sestavljen iz glave H in repa T
+in če predpostavim, da rekurzija obrne T v obrnjen rep RT in če RT na konec
+dodam H, potem je rezultat obrnjen seznam L.

+''']
+
+hint = {
+    'eq_instead_of_equ': '''\
+
Operator == je strožji od operatorja = v smislu, da je za slednjega dovolj,
+da elementa lahko naredi enaka (unifikacija). Morda z uporabo = narediš predikat
+memb/2 delujoč tudi v kakšni drugi smeri.

+
Seveda pa lahko nalogo rešiš brez obeh omenjenih operatorjev, spomni se, da lahko unifikacijo narediš
+implicitno že kar v argumentih predikata (glavi stavka).

+''',
+
+    'eq_instead_of_equ_markup': '''\
+
Morda bi bil bolj primeren operator za unifikacijo (=)?

+''',
+
+    'base_case': '''\
+
Si pomislil na robni pogoj? Kateri seznam je trivialno obrniti?

+''',
+
+    'recursive_case': '''\
+
Robni primer deluje. Kaj pa rekurzivni, splošni, primer?

+''',
+
+    'predicate_always_false': '''\
+
Vse kaže, da tvoj predikat vedno vrne "false". Si mu dal pravilno ime, si se morda pri imenu zatipkal?

+
Če je ime pravilno, se morda splača preveriti tudi, če se nisi zatipkal kje drugje,
+je morda kakšna pika namesto vejice ali obratno, morda kakšna spremenljivka z malo začetnico?

+
Možno je seveda tudi, da so tvoji pogoji prestrogi ali celo nemogoči (kot bi bila npr. zahteva,
+da je N enako kot N + 1 ali kaj podobno logično zlobnega).

+''',
+
+    'timeout': '''\
+
Je morda na delu potencialno neskončna rekurzija? Kako se bo ustavila?

+
Morda pa je kriv tudi manjkajoč, neustrezen ali preprosto nekompatibilen (s splošnim primerom) robni pogoj?

+''',
+
+    'base_case_at_len1': '''\
+
Ta robni pogoj je seveda povsem smiseln, a ga vseeno popravi tako, da bo deloval tudi za prazen seznam.
+Vendar ne imej dveh robnih pogojev, ker bo to podvajalo rešitve./p>
+''',
+
+    'arbitrary_base_case': '''\
+
Kaj je rezultat obračanja praznega seznama? Gotovo ne karkoli (spremenljivka brez določene vrednosti)!

+''',
+
+    'forcing_result_onto_recursion': '''
+
Ne vsiljuj rekurziji kaj naj vrne, prepusti se ji. To je tisti del, ko narediš predpostavko,
+če je ta izpolnjena, potem bo tvoje pravilo delovalo za večji primer.

+
Je tvoj rekurzivni klic oblike rev(T, [RevTail|H])? S tem vsiljuješ rekurziji
+da mora vrniti na zadnjem mestu tudi glavo, ki je sploh ne pozna, ker si jo ravnokar vzel stran! To moraš
+narediti ti z rezultatom, ki ti ga rekurzija vrne. Skratka, element H vstavi izven rekurzivnega klica.

+''',
+
+    'using_other_solutions': '''\
+
Od predikatov last/2, shiftleft/2 ali shiftright/2 tukaj ne bo veliko
+pomoči. Poskusi raje brez, bo lažje.

+''',
+
+    'insertion_at_beginning': '''\
+
Vstavljaš morda glavo nazaj na začetek obrnjenega repa? To ni pravo mesto, ker s tem samo sestaviš nazaj
+enak seznam kot na začetku.

+''',
+
+    'invalid_insert_at_end': '''\
+
Spomni se, rep seznama je vedno seznam! Kako vstaviš element na zadnje mesto?

+''',
+
+    'conc_arg_not_list': '''\
+
Vsi trije argumenti predikata conc/3 morajo biti seznami. Si prepričan,
+da si ga tako uporabil?

+''',
+}
-- 
cgit v1.2.1