From c8d114f863d0d22e802c2296f549565965a43934 Mon Sep 17 00:00:00 2001
From: Aleksander Sadikov V seznamu vzamem prvi element (recimu mu Seznam dolžine ena je videti kot vzorec Če je podani seznam Operator Č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? Možno je seveda tudi, da so tvoji pogoji prestrogi ali celo nemogoči (kot bi bila npr. zahteva,
-da je H
) in ga dodam preostanku (recimu mu T
)
+na konec. Preprosto! Saj se še spomniš od prejšnjič kako vzameš zadnji element seznamu? Dodajanje je ista
+operacija, samo v drugo smer ;)[X]
. To bi znalo priti prav, kakor tudi predikat
+conc/3
.L
sestavljen iz glave H
in repa T
in če H
+dodamo na konec T
, potem je rezultat seznam L
premaknjen v levo.==
je strožji od operatorja =
v smislu, da je za slednjega dovolj,
@@ -26,7 +40,7 @@ implicitno že kar v argumentih predikata (glavi stavka).X
hkrati starš in sestra od Y
ali kaj podobno zlobnega).N
enako kot N + 1
ali kaj podobno logično zlobnega).
X
hkrati starš in sestra od Y
ali kaj podobno z
''',
'conc_arg_not_list': '''\
-conc_arg_not_list
+Vsi trije argumenti predikata conc/3
morajo biti seznami. Si prepričan,
+da si ga tako uporabil?
arbitrary_result
+Si pravilno povezal vse spremenljivke? Zgleda namreč, da vračaš kar poljuben rezultat (spremenljivko brez +določene vrednosti). Opozorila "singleton variables" večinoma ni pametno ignorirati.
''', 'tail_must_be_list': '''\ -tail_must_be_list
+Rep seznama mora vedno biti seznam in ne element!
''', } -- cgit v1.2.1