diff options
| -rw-r--r-- | prolog/problems/lists/memb_2/common.py | 2 | ||||
| -rw-r--r-- | prolog/problems/lists/memb_2/sl.py | 6 |
2 files changed, 5 insertions, 3 deletions
diff --git a/prolog/problems/lists/memb_2/common.py b/prolog/problems/lists/memb_2/common.py index 86acbf7..4f2a251 100644 --- a/prolog/problems/lists/memb_2/common.py +++ b/prolog/problems/lists/memb_2/common.py @@ -73,7 +73,7 @@ def hint(code, aux_code): # target predicate seems to always be false - if not prolog.engine.ask_truthTO(engine_id, 'memb(_, _)'): + if not prolog.engine.ask_truth(engine_id, 'memb(_, _)'): return [{'id': 'predicate_always_false'}] # missing/failed base case diff --git a/prolog/problems/lists/memb_2/sl.py b/prolog/problems/lists/memb_2/sl.py index 2c4c345..5b44521 100644 --- a/prolog/problems/lists/memb_2/sl.py +++ b/prolog/problems/lists/memb_2/sl.py @@ -56,12 +56,14 @@ da je <code>X</code> hkrati starš in sestra od <code>Y</code> ali kaj podobnega ''', 'final_hint': '''\ -<p>Predikat <code>member/2</code> se da uporabljati še za marsikaj drugega kot samo za preverjanje, če je +<p>Predikat <code>memb/2</code> se da uporabljati še za marsikaj drugega kot samo za preverjanje, če je nek element v seznamu! Pravzaprav ga bomo večinoma uporabljali v "obratni" smeri kot "vrni mi nek element -<code>X</code>, ki je v seznamu <code>L</code>. V bistvu si spisal generator elementov iz seznama."</p> +<code>X</code>, ki je v seznamu <code>L</code>". V bistvu si spisal generator elementov iz seznama.</p> <p>Poskusi prolog vprašati tole:</p> <p><code>?- memb(Coin, [1,2,5,10,20,50,100,200]).</code></p> <p>ali pa tole:</p> <p><code>?- memb(Operator, [+, -, *, /]).</code></p> +<p>Znaš prolog vprašati s katerimi tremi kovanci dobim skupno vsoto 30 centov? Operator +<code>=:=</code> pomeni aritmetično primerjanje. Koliko rešitev je? ;)</p> ''', } |