summaryrefslogtreecommitdiff
path: root/prolog/problems
diff options
context:
space:
mode:
Diffstat (limited to 'prolog/problems')
-rw-r--r--prolog/problems/family_relations/cousin_2/sl.py8
1 files changed, 5 insertions, 3 deletions
diff --git a/prolog/problems/family_relations/cousin_2/sl.py b/prolog/problems/family_relations/cousin_2/sl.py
index 3719368..446cb3c 100644
--- a/prolog/problems/family_relations/cousin_2/sl.py
+++ b/prolog/problems/family_relations/cousin_2/sl.py
@@ -45,8 +45,9 @@ lahko uporabiš oklepaje.</p>
''',
'cousin_vs_sibling': '''\
-<p>Kako je lahko bratranec/sestrična hkrati tudi brat/sestra od <code>Y</code>?
-Si morda pozabil, da starša od <code>X</code> in <code>Y</code> ne smeta biti ista oseba?</p>
+<p>Kako je lahko bratranec/sestrična <code>X</code> hkrati tudi brat/sestra od <code>Y</code>?
+Si morda pozabil, da starša od <code>X</code> in <code>Y</code> ne smeta biti ista (pazi: če sta oba starša
+navedena v bazi, potem ju lahko prolog najde kot dva različna, logično je to čisto res)?</p>
<p><img src="[%@resource Prolog_cousin_04.svg%]" /></p>
''',
@@ -54,7 +55,7 @@ Si morda pozabil, da starša od <code>X</code> in <code>Y</code> ne smeta biti i
<p>Kako je lahko nekdo bratranec/sestrična samemu sebi?
Imata morda <code>X</code> in <code>Y</code> istega starša?</p>
<p><img src="[%@resource Prolog_cousin_04.svg%]" /></p>
-<p>Poskusi prolog vprašati tole: <code>?- cousin(X, X).</code>?</p>
+<p>Poskusi prolog vprašati tole: <code>?- cousin(X, X).</code></p>
''',
'cousin_need_not_be_parent': '''\
@@ -65,6 +66,7 @@ Imata morda <code>X</code> in <code>Y</code> istega starša?</p>
<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,
je morda kakšna pika namesto vejice ali obratno, morda kakšna spremenljivka z malo začetnico?</p>
+<p>Morda kakšnega pomožnega predikata nisi definiral ali si se zatipkal pri njegovem imenu?</p>
<p>Možno je seveda tudi, da so tvoji pogoji prestrogi ali celo nemogoči (kot bi bila npr. zahteva,
da je <code>X</code> hkrati starš in sestra od <code>Y</code>).</p>
''',