Nav nekas labāk par piemeriem. Šajā nodaļā būs doti katra apakš-uzdevuma izpildes piemēri. Atkaribā no situācijas uzdevumi būs ilustrēti ar vienu vai ar vairākiem piemēriem.
Lai izpildītu vienu no apakšuzdevumiem, sekcijā goal ir jā raksta atbilstošais jautājums.
2.1. Pirmais laboratorijas darbs.
2.1.1. Predikāts mate.
Goal: mate( X, janis)
No Solution
Goal: mate( X, nikolajs)
X=ieva
1 Solution
Goal: mate( ieva, X)
X=nikolajs
X=sergejs
X=olga
3 Solutions
Kā var secināt, ar predikātu tevs tipa var noteikt netikai tēvu, bet arī tēva bērnus. Vai vispar noteik: vai virietim ir bērni. Tāda pati neadekvāta situācija būs arī vairākiem citiem predikātiem.
…