From d259285459176fc281193adb12483a6e6d527cf5 Mon Sep 17 00:00:00 2001
From: Aleksander Sadikov Operator ==
je strožji od operatorja =
v smislu, da je za slednjega dovolj,
da elementa lahko naredi enaka (unifikacija). Morda z uporabo =
narediš predikat
-memb/2
delujoč tudi v kakšni drugi smeri.sum/2
delujoč tudi v kakšni drugi smeri.
Seveda pa lahko nalogo rešiš brez obeh omenjenih operatorjev, spomni se, da lahko unifikacijo narediš implicitno že kar v argumentih predikata (glavi stavka).
''', @@ -76,8 +76,8 @@ svoji levi strani. 'forcing_result_onto_recursion': '''Ne vsiljuj rekurziji kaj naj vrne, prepusti se ji. To je tisti del, ko narediš predpostavko, če je ta izpolnjena, potem bo tvoje pravilo delovalo za večji primer.
-Je tvoj rekurzivni klic oblike len(T, LenT + H)
? S tem vsiljuješ rekurziji
-da mora
Je tvoj rekurzivni klic oblike sum(Tail, SumTail + H)
? S tem vsiljuješ rekurziji
+da mora vrniti vsoto celega seznama in ne samo repa. To ni v redu, za vrednost glave moraš ti povečati
rezultat, ki ti ga rekurzija vrne. Skratka, prištevanje naredi izven rekurzivnega klica.