diff options
Diffstat (limited to 'prolog')
| -rw-r--r-- | prolog/problems/lists/conc_3/common.py | 14 | ||||
| -rw-r--r-- | prolog/problems/lists/conc_3/sl.py | 10 | ||||
| -rw-r--r-- | prolog/problems/lists/memb_2/common.py | 8 | ||||
| -rw-r--r-- | prolog/problems/lists/memb_2/sl.py | 4 |
4 files changed, 32 insertions, 4 deletions
diff --git a/prolog/problems/lists/conc_3/common.py b/prolog/problems/lists/conc_3/common.py index ce81bbe..3ed35bc 100644 --- a/prolog/problems/lists/conc_3/common.py +++ b/prolog/problems/lists/conc_3/common.py @@ -25,6 +25,7 @@ hint_type = { 'base_case': Hint('base_case'), 'timeout': Hint('timeout'), 'final_hint': Hint('final_hint'), + 'second_list_iteration': Hint('second_list_iteration'), } test_cases = [ @@ -76,12 +77,21 @@ def hint(code, aux_code): # recursion is getting bigger and bigger +# # missing/failed base case +# if not prolog.engine.ask_truthTO(engine_id, 'conc([], [qa,qb,qc], [qa,qb,qc])'): +# return [{'id': 'base_case'}] + + # shortening the second list instead of first list + if prolog.engine.ask_truthTO(engine_id, + 'conc([a,b,c], [1,2,3,4], L), (L = [1,2,3,4,a,b,c] ; L = [4,3,2,1,a,b,c])'): + return [{'id': 'second_list_iteration'}] + # missing/failed base case - if not prolog.engine.ask_truthTO(engine_id, 'memb(qq, [qq,_,_,_])'): + if not prolog.engine.ask_one(engine_id, 'conc([], [qa,qb,qc], [qa,qb,qc])'): return [{'id': 'base_case'}] # target predicate seems to always be false - if not prolog.engine.ask_truth(engine_id, 'memb(_, [_,_,_,_,_,_])'): + if not prolog.engine.ask_truth(engine_id, 'conc([_,_,_,_,_,_], [_,_,_], _)'): return [{'id': 'predicate_always_false'}] except socket.timeout as ex: diff --git a/prolog/problems/lists/conc_3/sl.py b/prolog/problems/lists/conc_3/sl.py index 779b3ed..1fd0500 100644 --- a/prolog/problems/lists/conc_3/sl.py +++ b/prolog/problems/lists/conc_3/sl.py @@ -41,7 +41,8 @@ implicitno že kar v argumentih predikata (glavi stavka).</p> 'base_case': '''\ <p>Si pomislil na robni pogoj? Kaj je najbolj enostaven primer? -Kaj bi bil, recimo, rezultat, če je prvi seznam kar prazen?</p> +Kaj bi bil, recimo, rezultat, če je prvi seznam kar prazen? (Samo prvi seznam naj bo prazen, +v drugem seznamu je lahko karkoli.)</p> ''', 'predicate_always_false': '''\ @@ -58,6 +59,13 @@ da je <code>X</code> hkrati starš in sestra od <code>Y</code> ali kaj podobno z Morda npr. v rekurziji zmanjšuješ prvi seznam, ustaviš pa se pri praznem drugem seznamu (ali obratno)?</p> ''', + 'second_list_iteration': '''\ +<p>Kot kaže zmanjšuješ in "obdeluješ" drugi seznam. Mehanizem je pravi, ampak vrstni red na koncu pa ni. +Raje zmanjšuj prvi seznam in pusti drugega kot je.</p> +<p>Pa še drug razlog za ta vrstni red je: tako bomo vsi imeli enako, standardno, rešitev in bomo +<code>conc/3</code> uporabljali na enak način. To je zelo pomembno za kasneje.</p> +''', + 'final_hint': '''\ <p>Predikat <code>conc/3</code> bomo večinoma uporabljali za vse drugo kot samo za konkatenacijo dveh seznamov. Med drugim je uporaben "v obratni smeri" za delitev seznama na dva dela, poskusi naslednja vprašanja:</p> diff --git a/prolog/problems/lists/memb_2/common.py b/prolog/problems/lists/memb_2/common.py index c45168d..119363a 100644 --- a/prolog/problems/lists/memb_2/common.py +++ b/prolog/problems/lists/memb_2/common.py @@ -23,6 +23,7 @@ hint_type = { 'eq_instead_of_equ': Hint('eq_instead_of_equ'), 'predicate_always_false': Hint('predicate_always_false'), 'base_case': Hint('base_case'), + 'recursive_case': Hint('recursive_case'), 'timeout': Hint('timeout'), 'final_hint': Hint('final_hint'), } @@ -77,9 +78,14 @@ def hint(code, aux_code): return [{'id': 'base_case'}] # target predicate seems to always be false - if not prolog.engine.ask_truth(engine_id, 'memb(_, [_,_,_,_,_,_])'): + if not prolog.engine.ask_truthTO(engine_id, 'memb(_, [_,_,_,_,_,_])'): return [{'id': 'predicate_always_false'}] + # base case works, the recursive doesn't (but it doesn't timeout) + # this may be left as the last, most generic hint + if not prolog.engine.ask_truth(engine_id, 'memb(qQ, [qa,qb,qQ,qc])'): + return [{'id': 'recursive_case'}] + # TODO: Tim, can we include 'fail'-used as a general hint? except socket.timeout as ex: diff --git a/prolog/problems/lists/memb_2/sl.py b/prolog/problems/lists/memb_2/sl.py index c1b0a47..b133fdb 100644 --- a/prolog/problems/lists/memb_2/sl.py +++ b/prolog/problems/lists/memb_2/sl.py @@ -44,6 +44,10 @@ implicitno že kar v argumentih predikata (glavi stavka).</p> Do katerega elementa najlažje prideš?</p> ''', + 'recursive_case': '''\ +<p>Robni primer deluje. Kaj pa rekurzivni, splošni, primer?</p> +''', + 'predicate_always_false': '''\ <p>Vse kaže, da tvoj predikat vedno vrne "false". Si mu dal pravilno ime, si se morda pri imenu zatipkal?</p> <p>Če je ime pravilno, se morda splača preveriti tudi, če se nisi zatipkal kje drugje, |