From 3058111ccb4ee97f061a8407335c29fcaa386b18 Mon Sep 17 00:00:00 2001
From: Aleksander Sadikov ancestor(X, Y)
: X
je prednik (oče, mama, babica,
-pradedek, …) od Y
.
+pradedek, ...) od
Y
.
?- ancestor(patricia, Y). Y = john ; Y = michael ; @@ -79,7 +79,7 @@ npr. prababica ali prapradedek sta tudi prednika. ''', 'predicate_always_false': '''\ -Vse kaže, da tvoj predikat vedno vrne "false". Si mu dal pravilno ime, si se morda pri imenu zatipkal?
+Vse kaže, da tvoj predikat
vedno vrne "false". Si mu dal pravilno ime, si se morda pri imenu zatipkal?Č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, -- cgit v1.2.1