From 4a01e895b521c75406270abd581cd3fbb09f2c08 Mon Sep 17 00:00:00 2001
From: Aleksander Sadikov Kot vedno, poskusi prevesti na manjši problem. Recimo, da že imaš največji element v repu seznama... Kot vedno, poskusi prevesti na manjši problem. Recimo, da že imaš največji element v
+repu seznama... Največji element v repu (seznamu brez glave Operator H
) primerjaj z vrednostjo glave H
, tisti,
ki je večji zmaga in ga vrneš!==
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.max/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).
''', -- cgit v1.2.1