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/lists_advanced/rev_2/en.py | 83 +++++++++++++++++++++++++++++- 1 file changed, 82 insertions(+), 1 deletion(-) (limited to 'prolog/problems/lists_advanced') 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