summaryrefslogtreecommitdiff
path: root/prolog/problems/lists/conc_3/sl.py
diff options
context:
space:
mode:
Diffstat (limited to 'prolog/problems/lists/conc_3/sl.py')
-rw-r--r--prolog/problems/lists/conc_3/sl.py7
1 files changed, 7 insertions, 0 deletions
diff --git a/prolog/problems/lists/conc_3/sl.py b/prolog/problems/lists/conc_3/sl.py
index dcc0391..551daef 100644
--- a/prolog/problems/lists/conc_3/sl.py
+++ b/prolog/problems/lists/conc_3/sl.py
@@ -47,6 +47,13 @@ Kaj bi bil, recimo, rezultat, če je prvi seznam kar prazen? (Samo prvi seznam n
v drugem seznamu je lahko karkoli.)</p>
''',
+ 'base_case_arbitrary': '''\
+<p>Kako je lahko rezultat konkatenacije seznamov poljuben seznam oz. karkoli?</p>
+<p>Če je tvoj robni pogoj podoben <code>conc([], L, _)</code>,
+ga še enkrat premisli: kaj je rezultat konkatenacije, kaj vračaš? Robni pogoj je vedno dokončno specificirana
+rešitev, tu načeloma ni neznank (<code>_</code> ali spremenljivk brez prirejenih vrednosti) v tem kar se vrača.</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,