summaryrefslogtreecommitdiff
path: root/prolog
diff options
context:
space:
mode:
authorAleksander Sadikov <aleksander.sadikov@fri.uni-lj.si>2016-03-09 01:00:44 +0100
committerAleksander Sadikov <aleksander.sadikov@fri.uni-lj.si>2016-03-09 01:00:44 +0100
commite22d05a916d50896ea6d8b52b3a3ac9596e8f12b (patch)
tree6919bc2d8594f06781fcc8a465e82cb240c358dd /prolog
parentca293b11475f62dc112441da1a7b909b691ad936 (diff)
Hints for memb/2 added.
Diffstat (limited to 'prolog')
-rw-r--r--prolog/problems/lists/memb_2/common.py2
-rw-r--r--prolog/problems/lists/memb_2/sl.py6
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>
''',
}