Lewis Carolli raamatust "Alice mõistatustemaal" pärinev probleem on heaks konseptuaalse analüüsi harjutusülesandeks. Ühel päeval ei suutnud Alice kuidagi meenutada, milline nädalapäev on täna. Ta oleks saanud seda küsida oma sõpradelt lõvilt või ükssarvelt, kuid nende vastusele ei võinud kunagi kindel olla, sest igal esmaspäeval, teisipäeval ja kolmapäeval lõvi vale tas (teistel päevadel ta rääkis tõtt); ükssarv taas valetas igal neljapäeval, reedel ja laupäeval. Alice oli nutikas tüdruk ja esitas sõpradele küsimuse: "Mida sa tegid eile - valetasid või rääkisid tõtt?"
Mõlemad väitsid, et olid eile valetanud, ja see vastuse põhjal
suutis Alice otsustada, mis nädalapäev parajasti on.
Probleemi esitamisel Prologile tuleb kindlasti kirjeldada, kes millal valetas:
Lahenduse otsimiseks on oluline ka nädalapäevade järjekord (muidu ei ole mõistetav muutuja Eile).
Tundmatul nädalapäeval Täna võib keegi Olend (lõvi või ükssarv) väita, et ta eile valetas kahel juhul:
a) kui ta täna ei valeta, siis pidi ta eile tõesti valetama:
b) ta valetab täna ja rääkis eile tegelikult tõtt:
Eelnevas on oluline lausete järjekord. Eituse argumendis ei või (sellel hetkel, kui Prologi otsimismehhanism jõuab eitust sisaldava lauseni) kunagi esineda väärtustamata muutujaid. Muutujal ei ole tõeväärtust (mõne väärtuse korral võib muutuja osutuda tõeseks, mõne korral vääraks), muutujal tekib tõeväärtus alles siis, kui muutuja saab väärtuse, sellepärast peab lausele not(valetab(Olend, Täna)) eelnema lause eelmine(Täna,Eile), sest selle lausega saavad muutujad Täna, Eile konkreetsed väärtused. Tundmatu nädalapäeva Täna leidmiseks jääb üle vaid anda päring:
Milline tuleb muutuja Täna väärtus?
©2004
Jaak Henno